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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Experiences from specifying the TCAS II requirements using RSML


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


    Erscheinungsdatum :

    01.01.1998


    Format / Umfang :

    797090 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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 Archiv | 1987