Record Details

Record 1 of 1
Automating the Generation of Heterogeneous Aviation Safety Cases
NTRS Full-Text: Click to View  [PDF Size: 14.6 MB]
Author and Affiliation:
Denney, Ewen W.(Stinger Ghaffarian Technologies, Inc. (SGT, Inc.), Moffett Field, CA, United States);
Pai, Ganesh J.(Stinger Ghaffarian Technologies, Inc. (SGT, Inc.), Moffett Field, CA, United States);
Pohl, Josef M.(Stinger Ghaffarian Technologies, Inc. (SGT, Inc.), Moffett Field, CA, United States)
Abstract: A safety case is a structured argument, supported by a body of evidence, which provides a convincing and valid justification that a system is acceptably safe for a given application in a given operating environment. This report describes the development of a fragment of a preliminary safety case for the Swift Unmanned Aircraft System. The construction of the safety case fragment consists of two parts: a manually constructed system-level case, and an automatically constructed lower-level case, generated from formal proof of safety-relevant correctness properties. We provide a detailed discussion of the safety considerations for the target system, emphasizing the heterogeneity of sources of safety-relevant information, and use a hazard analysis to derive safety requirements, including formal requirements. We evaluate the safety case using three classes of metrics for measuring degrees of coverage, automation, and understandability. We then present our preliminary conclusions and make suggestions for future work.
Publication Date: Aug 01, 2012
Document ID:
20120016812
(Acquired Dec 12, 2012)
Subject Category: AIR TRANSPORTATION AND SAFETY
Report/Patent Number: NASA/CR-2011-215983, ARC-E-DAA-TN4159
Document Type: Technical Report
Contract/Grant/Task Num: NNA08CG83C; NNA10DE83C
Financial Sponsor: NASA Ames Research Center; Moffett Field, CA, United States
Organization Source: Stinger Ghaffarian Technologies, Inc. (SGT, Inc.); Moffett Field, CA, United States
Description: 102p; In English; Original contains color and black and white illustrations
Distribution Limits: Unclassified; Publicly available; Unlimited
Rights: Copyright; Distribution under U.S. Government purpose rights
NASA Terms: AIRBORNE EQUIPMENT; AIRCRAFT DESIGN; AIRCRAFT MODELS; AIRCRAFT SAFETY; AUTOMATIC CONTROL; AUTOMATIC PILOTS; CONTROL SYSTEMS DESIGN; CONTROLLERS; FAILURE MODES; HAZARDS; SOFTWARE ENGINEERING; SPECIFICATIONS; UNMANNED AIRCRAFT SYSTEMS
› Back to Top
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
Find Similar Records
 
NASA Logo, External Link

NASA Official: Gerald Steeman
Sponsored By: NASA Scientific and Technical Information Program
Site Curator: STI Support Services
Last Modified: April 09, 2013

Privacy Policy & Important Notices Disclaimers, Copyright, Terms of Use Freedom of Information Act USA.gov NASA.gov NASA OCIO Free Adobe PDF Reader Free MS Word Viewer