Academic
Publications
Requirements Specification for Process-Control Systems

Requirements Specification for Process-Control Systems,Nancy G. Leveson

Requirements Specification for Process-Control Systems   (Citations: 197)
BibTex | RIS | RefWorks Download
This paper describes an approach to writing requirements specifications for processcontrolsystems, a specification language that supports this approach, and an exampleapplication of the approach and the language on an industrial aircraft collision avoidancesystem (TCAS II). The example specification demonstrates (1) the practicalityof writing a formal requirements specification for a complex, process-control systemand (2) the feasibility of building a formal model of a system using a...
Published in 1984.
Cumulative Annual
Sort by: