This paper describes a methodology for safety-centric development of distributed embedded avionics realized as sense-actuate-control (SAC) networks. The methodology has consists of two parts. First, formal methods are used in defining and deriving families of SAC node architectures. This methodology eliminates redundant verification and validation (V&V) efforts across members of the same family of architectures. Second, proof-directed run-time error-monitor generation methodology is presented. This methodology links design-time verification with run-time error checking. Robust error monitors can be derived and reused across the members of a family of architectures.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety-Centric Design of Distributed Embedded Avionics


    Beteiligte:
    Vemuri, Ranga (Autor:in) / Borowczak, Mike (Autor:in) / Avakian, Annie (Autor:in)


    Erscheinungsdatum :

    2008-07-01


    Format / Umfang :

    8414169 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    An Instrument-Centric Modular and Distributed Avionics Architecture

    Zheng, Jason / Le, Martin / Katanyoutanant, Sunant | NTRS | 2011


    Network Centric Core Avionics

    Montenegro, S. / Schoof, G. / Haririan, E. et al. | British Library Conference Proceedings | 2009


    Aging Avionics and Net-Centric Operations

    Hitt, E. / IEEE / AIAA | British Library Conference Proceedings | 2004



    Aging Avionics and Net-Centric Operations

    Hitt, E.P. | Online Contents | 2005