DocumentCode :
2068838
Title :
System safety aspects
Author :
Lavi, S.T.
fYear :
1991
fDate :
28-29 May 1991
Firstpage :
77
Lastpage :
86
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Systems and Software Engineering, 1991. Proceedings., Fifth Israel Conference on
Conference_Location :
Herzlia
Print_ISBN :
0-8186-2065-X
Type :
conf
DOI :
10.1109/ICCSSE.1991.151178
Filename :
151178
Link To Document :
بازگشت