A process for software requirements safety analysis

Author

Mojdehbakhsh, Ramin ; Subramanian, Satish ; Vishnuvajjala, Ramakrishna ; Tsai, Wei-Tek ; Elliott, Lynn

Author_Institution

Cardiac Pacemakers, Inc., USA

fYear

1994

fDate

6-9 Nov 1994

Firstpage

45

Lastpage

54

Abstract

We introduce a detailed process for software requirements safety analysis. The approach for identification of safety faults in this process is based on fault tree analysis. This process consists of four main steps: software requirements fault tree generation; software requirements fault tree verification and validation; software safety requirements generation and safety fault mitigation; and software requirements safety verification and validation. We have defined a set of rules that can automatically generate the software requirements fault tree given the software requirements specified in Statemate, and the software fault tree top events identified in the system safety analysis. Statemate CASE tool is used in this process for specification of software requirements, and execution and analysis of the software requirements to verify and validate safety. Essential tree analysis is introduced as a method for dependency analysis of the software fault tree top event. The outcome of essential tree analysis is captured in an essential tree which we introduce as a graphical representation of the dependencies and their interrelations

Keywords

formal verification; safety-critical software; software fault tolerance; software tools; CASE tool; Statemate; dependency analysis; fault tree analysis; fault tree validation; fault tree verification; graphical representation; safety fault mitigation; safety faults; software requirements; software requirements fault tree generation; software requirements safety analysis; software safety requirements; system safety analysis; Computer aided software engineering; Costs; Fault diagnosis; Fault trees; Pacemakers; Performance analysis; Programming; Software safety; Software tools; Tree graphs;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Reliability Engineering, 1994. Proceedings., 5th International Symposium on

Conference_Location

Monterey, CA

Print_ISBN

0-8186-6665-X

Type

conf

DOI

10.1109/ISSRE.1994.341347

Filename

341347