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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Model-Driven Development of Safety Architectures


    Contributors:

    Conference:

    ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) ; 2017 ; Austin, TX, United States


    Publication date :

    2017-09-17


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Model-Driven Development of Safety Architectures

    Denney, Ewen / Pai, Ganesh / Whiteside, Iain | IEEE | 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