AeSOP: an interactive failure mode analysis tool

Author

Cha, Stephen S.

Author_Institution

Trusted Comput. Syst. Dept., Aerosp. Corp., El Segundo, CA, USA

fYear

1994

fDate

27 Jun-1 Jul 1994

Firstpage

9

Lastpage

16

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CMPASS.1994.318471

Filename

318471