Towards system safety: proceedings of the seventh Safety-Critical Systems Symposium, Huntingdon, 1999
Towards System Safety contains the invited papers presented at the seventh annual Safety-critical Systems Symposium, held in Huntingdon, February 1999.
The papers bring together practitioners and researchers in a quest to inculcate a higher degree of safety engineering into the development and operation of critical software-based systems. In particular, this volume explores recent work and experience which leads us further 'towards system safety'.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Design for Safety
Experiences with Safety Case Documentation According
Retrospective Collection of Safety Case Evidence
10 other sections not shown
Other editions - View all
abstraction activities aircraft ALARP application approach architecture assumptions behaviour CENELEC certification clock competence complex components considered critical systems Def Stan defined described documentation Embedded Systems engineering environment equipment error example failure rate fault tolerance Figure formal verification functionality Gardermobanen hardware hazard analysis hazard and risk high integrity system ICCS software identified implementation independent verifier industry input integrity levels interface lifecycle methods microprocessor minsep model checking modules operating system organisation output overall partitioning performed possible problem processor properties redundancy release relevant reliability s-task Safety Analysis safety critical safety engineering Safety Integrity Levels safety related safety requirements safety targets safety-critical systems safety-related systems scheduling scheme signalling SILs specification standards Statemate structure subsystem supplier system safety system thinking systematic faults task technical techniques testing UKADGE validation variables verification