Safety analysis tools for requirements specifications

Author

Ratan, Vivek ; Partridge, Kurt ; Reese, Jon ; Leveson, Nancy

Author_Institution

Dept. of Comput. Sci. & Eng., Washington Univ., Seattle, WA, USA

fYear

1996

fDate

17-21 Jun 1996

Firstpage

149

Lastpage

160

Abstract

The paper describes safety analysis tools that have been developed for a state based requirements specification language called Requirements State Machine Language (RSML). These tools include a simulator that allows for forward and backward execution of RSML specifications, a fault tree generator that is based on backward simulation, tools to check for consistency and completeness of specifications, and additional safety analysis techniques. An example requirements specification for an Automated Highway System (AHS) is used for describing the functionality of the tools

Keywords

automated highways; digital simulation; formal specification; safety-critical software; specification languages; AHS; Automated Highway System; RSML; RSML specifications; Requirements State Machine Language; backward execution; backward simulation; completeness; consistency; fault tree generator; requirements specifications; safety analysis techniques; safety analysis tools; simulator; state based requirements specification language; Analytical models; Automated highways; Buildings; Design engineering; Fault trees; Hazards; Information analysis; Road transportation; Software safety; Software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Assurance, 1996. COMPASS '96, Systems Integrity. Software Safety. Process Security. Proceedings of the Eleventh Annual Conference on

Conference_Location

Gaithersburg, MD

Print_ISBN

0-7803-3390-X

Type

conf

DOI

10.1109/CMPASS.1996.507883

Filename

507883