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