archives

Safety Checklist for Four-Variable Requirements Methods


Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Helmer, Guy (1998) Safety Checklist for Four-Variable Requirements Methods. Technical Report TR98-01, Department of Computer Science, Iowa State University.

Full text available as:Postscript
Adobe PDF

Abstract

This paper organizes safety criteria, as given by Leveson, Jaffe,
Heimdahl, Melhart, and Lutz, as a safety checklist for use on
four-variable requirements models for real-time process-control
systems.  Special attention is given to the Software Productivity
Consortium CoRE and Naval Research Laboratory SCR requirements
specifications built on the four-variable model.  The criteria are
presented in English text and may be applied during the requirements
engineering phase of software development to reduce safety-related
software errors.

Subjects:All uncategorized technical reports
ID code:00000163
Deposited by:Staff Account on 22 January 1998



Contact site administrator at: ssg@cs.iastate.edu