The authors report on a formal requirements analysis experiment involving an avionics control system. They describe a method for specifying and verifying real-time systems with PVS. The experiment involves the formalization of the functional and safety requirements of the avionics system as well as its multilevel verification. First level verification demonstrates the consistency of the specifications whilst the second level shows that certain system safety properties are satisfied by the specification. They critically analyze methodological issues of large scale verification and propose some practical ways of structuring verification activities for optimizing the benefits.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal requirements analysis of an avionics control system


    Additional title:

    Formale Anforderungsanalyse eines Avionik-Regelungssystems


    Contributors:

    Published in:

    Publication date :

    1997


    Size :

    12 Seiten, 28 Quellen




    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    Packaging requirements (avionics)

    Hunt, K.J.R. | Tema Archive | 1990





    Future Space Transportation System Architecture: Avionics Requirements

    Stone, H. / United States / National Aeronautics and Space Administration| Langley Research Center | British Library Conference Proceedings | 1994