This 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 1) the practicality of writing a formal requirements specification for a complex, process-control system, and 2) 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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Requirements specification for process-control systems


    Additional title:

    Verfeinerungsspezifikation für Prozeßregelungssysteme


    Contributors:

    Published in:

    Publication date :

    1994


    Size :

    24 Seiten, 34 Bilder, 3 Tabellen, 26 Quellen




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    Requirements Specification and Prototyping of Complex Systems

    Menga, G. / Morisio, M. / Associazione Italiana per l'Informatica ed il Calcolo Automatico | British Library Conference Proceedings | 1990



    Software Requirements: Guidance and Control Software Development Specification

    B. E. Withers / D. C. Rich / D. S. Lowman et al. | NTIS | 1990


    Software requirements: Guidance and control software development specification

    Withers, B. Edward / Rich, Don C. / Lowman, Douglas S. et al. | NTRS | 1990


    Process Model for the Development of a System Requirements Specification for Railway Systems

    Bitsch, F. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2003