NASA Logo, External Link
Facebook icon, External Link to NASA STI page on Facebook Twitter icon, External Link to NASA STI on Twitter YouTube icon, External Link to NASA STI Channel on YouTube RSS icon, External Link to New NASA STI RSS Feed AddThis share icon
 

Record Details

Record 1 of 1
Model-Driven Development of Safety Architectures
NTRS Full-Text: Click to View  [PDF Size: 6.9 MB]
Author and Affiliation:
Denney, Ewen(SGT, Inc., Moffett Field, CA, United States)
Pai, Ganesh(SGT, Inc., Moffett Field, CA, United States)
Whiteside, Iain(SGT, Inc., Moffett Field, CA, United States)
Abstract: 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.
Publication Date: Sep 17, 2017
Document ID:
20170011559
(Acquired Dec 18, 2017)
Subject Category: COMPUTER PROGRAMMING AND SOFTWARE; CYBERNETICS, ARTIFICIAL INTELLIGENCE AND ROBOTICS
Report/Patent Number: ARC-E-DAA-TN45370
Document Type: Conference Paper
Meeting Information: 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS); 17-22 Sep. 2017; Austin, TX; United States
Meeting Sponsor: Association for Computing Machinery; Pittsburgh, PA, United States
Institute of Electrical and Electronics Engineers; New York, NY, United States
Contract/Grant/Task Num: NNA14AA60C
Financial Sponsor: NASA Ames Research Center; Moffett Field, CA, United States
Organization Source: NASA Ames Research Center; Moffett Field, CA, United States
Description: 11p; In English
Distribution Limits: Unclassified; Publicly available; Unlimited
Rights: Copyright; Public use permitted
NASA Terms: DECISION MAKING; FLIGHT OPERATIONS; PILOTLESS AIRCRAFT; RISK ASSESSMENT; RISK MANAGEMENT; SAFETY FACTORS; SYSTEMS ENGINEERING; UNMANNED AIRCRAFT SYSTEMS; CONSISTENCY; HAZARDS; IMPACT RESISTANCE; LINE OF SIGHT; MISSION PLANNING; PROBABILITY THEORY; SENSITIVITY ANALYSIS
Other Descriptors: BOW TIE DIAGRAMS; MODEL-DRIVEN DEVELOPMENT; SAFETY ARCHITECTURE; SAFETY CASE; TRANSFORMATION; UNMANNED AIRCRAFT SYSTEMS; VIEWS
› Back to Top
Find Similar Records
NASA Logo, External Link
NASA Official: Gerald Steeman
Site Curator: STI Program
Last Modified: December 18, 2017
Contact Us