Issue No. 09 - September (1994 vol. 20)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.317428
<p>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.</p>
process control; process computer control; formal specification; specification languages; position control; aerospace computing; aircraft instrumentation; requirements specification; process-control systems; specification language; example application; industrial aircraft collision avoidance system; TCAS II; example specification; formal requirements specification; formal model; reverse engineering
N. Leveson, J. Reese, H. Hildreth and M. Heimdahl, "Requirements Specification for Process-Control Systems," in IEEE Transactions on Software Engineering, vol. 20, no. , pp. 684-707, 1994.