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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Requirements specification for process-control systems


    Weitere Titelangaben:

    Verfeinerungsspezifikation für Prozeßregelungssysteme


    Beteiligte:
    Leveson, N.G. (Autor:in) / Heimdahl, M.P.E. (Autor:in) / Hildreth, H. (Autor:in) / Reese, J.D. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    1994


    Format / Umfang :

    24 Seiten, 34 Bilder, 3 Tabellen, 26 Quellen




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch





    Software requirements: Guidance and control software development specification

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



    Flight Guidance System Requirements Specification

    S. P. Miller / A. C. Tribble / T. M. Carlson et al. | NTIS | 2003


    Infrastructure requirements, specification and delivery

    Heath, D. L. / Railway Industry Association / Institution of Railway Signal Engineers et al. | British Library Conference Proceedings | 2000