Discusses an approach to specifying system requirements for real-time, reactive systems, some criteria that should be used in designing a language for such requirements, and some lessons learned while writing a system requirements specification for an aircraft collision avoidance system. Since the completion of the project we have made advances in many areas, two of which are of particular interest to the practising engineer: (1) specification and traceability of intent and design rationale; and (2) an improved specification language and modeling methodology.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Experiences from specifying the TCAS II requirements using RSML


    Contributors:


    Publication date :

    1998-01-01


    Size :

    797090 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    TCAS

    Hanson, Terry | Online Contents | 1998


    TCAS Update

    Domogala, Philippe | Online Contents | 2003



    TCAS Cockpit Interfaces

    Hart, E. D. / Stevens, R. D. | SAE Technical Papers | 1983


    TCAS-concept to cockpit

    Buley, R.G. | Tema Archive | 1987