IEEE - Institute of Electrical and Electronics Engineers, Inc. - Safety analysis tools for requirements specifications

Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96

Author(s): Ratan, V. ; Partridge, K. ; Reese, J. ; Leveson, N.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Gaithersburg, MD, USA, USA
Conference Date: 17 June 1996
Page(s): 149 - 160
ISBN (Paper): 0-7803-3390-X
DOI: 10.1109/CMPASS.1996.507883
Regular:

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... View More

Advertisement