Title :
AeSOP: an interactive failure mode analysis tool
Author_Institution :
Trusted Comput. Syst. Dept., Aerosp. Corp., El Segundo, CA, USA
fDate :
27 Jun-1 Jul 1994
Abstract :
AeSOP (Aerospace Safety Oriented Petri Net) is an interactive failure mode analysis tool developed at The Aerospace Corporation. It automates a Petri net-based safety analysis technique developed by Leveson and Stolzy (1987) in which a reachability graph is analyzed backwards to identify potential failure modes of the system. AeSOP provides a flexible analytical environment where a user can arbitrarily assume the occurrence of “unpredictable” events and analyze their impacts to system behavior. It also implements several features designed to assist safety analysis on complex systems. This paper describes the use of AeSOP in performing failure-mode analysis using a simplified shuttle orbiter model where the impacts of a potential engine failure and the astronauts´ selection of a recovery mechanism are analyzed. Finally, it describes enhancement plans to AeSOP
Keywords :
Petri nets; aerospace computing; failure analysis; interactive systems; AeSOP; Aerospace Safety Oriented Petri Net; Petri net-based safety analysis; The Aerospace Corporation; complex systems; engine failure; interactive failure mode analysis tool; reachability graph; safety analysis; shuttle orbiter model; system behavior; Aerospace control; Aerospace safety; Air traffic control; Aircraft propulsion; Command and control systems; Control systems; Failure analysis; Hazards; Performance analysis; Software safety;
Conference_Titel :
Computer Assurance, 1994. COMPASS '94 Safety, Reliability, Fault Tolerance, Concurrency and Real Time, Security. Proceedings of the Ninth Annual Conference on
Conference_Location :
Gaithersburg, MD
Print_ISBN :
0-7803-1855-2
DOI :
10.1109/CMPASS.1994.318471
