Title :
System safety aspects
Abstract :
The following definition is presented: a safe system is n-resilient at m% to faults if: there exist at least n+1 distinct configurations of its subsystems; any n faults in n of the n+1 configuration maintains a safe system; and the highest probability of any set of n faults of the n +1 configurations does not exceed m%. It is shown how this type of resilient configuration can be achieved, either in time (repetitions) or physically (alternatives). A fault-model based on a graph-based model of the system has been built. Both the components and their interrelation characteristics which constitute safe behavior were defined. Monitoring relations between isolated components for runtime safety verification as well as for resiliency compensation are introduced. A detailed design example demonstrates how a safe system is constructed and how common-mode faults are dealt with
Keywords :
configuration management; safety; software reliability; systems analysis; common-mode faults; computer system safety; fault-model; graph-based model; resiliency compensation; resilient configuration; runtime safety verification; safe behavior; safe system; Actuators; Aerospace industry; Aircraft; Bridges; Erbium; Hardware; Physics computing; Resource management; Safety; Sensor systems;
Conference_Titel :
Computer Systems and Software Engineering, 1991. Proceedings., Fifth Israel Conference on
Conference_Location :
Herzlia
Print_ISBN :
0-8186-2065-X
DOI :
10.1109/ICCSSE.1991.151178