Title :
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
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;
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
DOI :
10.1109/CMPASS.1996.507883
