We describe the use of model-driven development for safety assurance of a pioneering NASA flight operation involving a fleet of small unmanned aircraft systems (sUAS) flying beyond visual line of sight. The central idea is to develop a safety architecture that provides the basis for risk assessment and visualization within a safety case, the formal justification of acceptable safety required by the aviation regulatory authority. A safety architecture is composed from a collection of bow tie diagrams (BTDs), a practical approach to manage safety risk by linking the identified hazards to the appropriate mitigation measures. The safety justification for a given unmanned aircraft system (UAS) operation can have many related BTDs. In practice, however, each BTD is independently developed, which poses challenges with respect to incremental development, maintaining consistency across different safety artifacts when changes occur, and in extracting and presenting stakeholder specific information relevant for decision making. We show how a safety architecture reconciles the various BTDs of a system, and, collectively, provide an overarching picture of system safety, by considering them as views of a unified model. We also show how it enables model-driven development of BTDs, replete with validations, transformations, and a range of views. Our approach, which we have implemented in our toolset, AdvoCATE, is illustrated with a running example drawn from a real UAS safety case. The models and some of the innovations described here were instrumental in successfully obtaining regulatory flight approval.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Model-Driven Development of Safety Architectures


    Beteiligte:
    Denney, Ewen (Autor:in) / Pai, Ganesh (Autor:in) / Whiteside, Iain (Autor:in)


    Erscheinungsdatum :

    2017-09-01


    Format / Umfang :

    2829015 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Model-Driven Development of Safety Architectures

    Denney, Ewen / Pai, Ganesh / Whiteside, Iain | NTRS | 2017




    Model-Driven Development of Reliable Avionics Architectures for Lunar Surface Systems

    Borer, Nicholas / Claypool, Ian / Clark, David et al. | NTRS | 2010


    Model-driven development of reliable avionics architectures for Lunar Surface Systems

    Borer, Nicholas / Claypool, Ian / Clark, David et al. | IEEE | 2010