Requirements specification for process-control systems
- 1 January 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 20 (9) , 684-707
- https://doi.org/10.1109/32.317428
Abstract
The paper describes an approach to writing requirements specifications for process-control systems, a specification language that supports this approach, and an example application of the approach and the language on an industrial aircraft collision avoidance system (TCAS II). The example specification demonstrates: the practicality of writing a formal requirements specification for a complex, process-control system; and the feasibility of building a formal model of a system using a specification language that is readable and reviewable by application experts who are not computer scientists or mathematicians. Some lessons learned in the process of this work, which are applicable both to forward and reverse engineering, are also presented.Keywords
This publication has 15 references indexed in Scilit:
- The Core method for real-time requirementsIEEE Software, 1992
- Safety verification of Ada programs using software fault treesIEEE Software, 1991
- Software requirements analysis for real-time process-control systemsIEEE Transactions on Software Engineering, 1991
- STATEMATE: a working environment for the development of complex reactive systemsIEEE Transactions on Software Engineering, 1990
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Safety Analysis Using Petri NetsIEEE Transactions on Software Engineering, 1987
- On the Development of Reactive SystemsPublished by Springer Nature ,1985
- Analyzing Software SafetyIEEE Transactions on Software Engineering, 1983
- When do diagrams make good computer languages?International Journal of Man-Machine Studies, 1979
- Designing Software for Ease of Extension and ContractionIEEE Transactions on Software Engineering, 1979