In this paper, we present a traceability procedure applicable to the development of dependable avionic systems. The procedure was developed by customizing a set of generic information structures that support the recording and manipulation of design rationale. The customization process was directed by an exposition of development practices for dependable avionic systems, in terms of a set of complementary models of a development context. To examine the effectiveness of the procedure and guide further work, a case study based on a high-integrity flight control subsystem is employed.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Information Structures for Traceability for Dependable Avionic Systems


    Beteiligte:
    S. Pearson (Autor:in) / A. Saeed (Autor:in)

    Erscheinungsdatum :

    1997


    Format / Umfang :

    30 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Dependable real-time LANs for avionic applications

    Powell, D.R. / Valadier, J.C. | Tema Archiv | 1985


    Tracing Safety for Dependable Avionic Systems: An Object Oriented and Deductive Approach

    Mason, P. A. J. / Saed, A. | British Library Conference Proceedings | 1998


    Tracing Safety for Dependable Avionic Systems: An Object Oriented and Deductive Approach

    Mason, P.A.J. / Saed, A. / System Safety Society (U.S.) | British Library Conference Proceedings | 2006


    Avionic Systems

    Middleton, Donald H. | TIBKAT | 1989


    Avionic Systems

    Seabridge, Allan / Radaei, Mohammad | Wiley | 2022