The Center for Education and Research in Information Assurance and Security (CERIAS)

The Center for Education and Research in
Information Assurance and Security (CERIAS)
Center for Education and Research in Information Assurance and Security

Safety Analysis Tools for Requirements Specifications

Author

V. Ratan,K. Partridge,J. Reese,N. Leveson

Entry type

techreport

Abstract

This paper describes safety analysis tools that have been developed for state-based requirements specification language called Reuirements State Machine Language (RSML). These tools include a simultor that allows for forward and backward execution os 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.

URL

http://www.spectrm.com/system ... blications/SafAnTooReq.ps

Key alpha

Ratan

Publication Date

2001-01-01

Keywords

Software egnineering,software safety,hazard analysis,fault tree

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.