NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Projected Impact of Compositional Verification on Current and Future Aviation Safety RiskThe projected impact of compositional verification research conducted by the National Aeronautic and Space Administration System-Wide Safety and Assurance Technologies on aviation safety risk was assessed. Software and compositional verification was described. Traditional verification techniques have two major problems: testing at the prototype stage where error discovery can be quite costly and the inability to test for all potential interactions leaving some errors undetected until used by the end user. Increasingly complex and nondeterministic aviation systems are becoming too large for these tools to check and verify. Compositional verification is a "divide and conquer" solution to addressing increasingly larger and more complex systems. A review of compositional verification research being conducted by academia, industry, and Government agencies is provided. Forty-four aviation safety risks in the Biennial NextGen Safety Issues Survey were identified that could be impacted by compositional verification and grouped into five categories: automation design; system complexity; software, flight control, or equipment failure or malfunction; new technology or operations; and verification and validation. One capability, 1 research action, 5 operational improvements, and 13 enablers within the Federal Aviation Administration Joint Planning and Development Office Integrated Work Plan that could be addressed by compositional verification were identified.
Document ID
20140016373
Acquisition Source
Glenn Research Center
Document Type
Technical Memorandum (TM)
Authors
Reveley, Mary S.
(NASA Glenn Research Center Cleveland, OH, United States)
Withrow, Colleen A.
(NASA Glenn Research Center Cleveland, OH, United States)
Leone, Karen M.
(Vantage Partners, LLC Brook Park, OH, United States)
Jones, Sharon M.
(NASA Langley Research Center Hampton, VA, United States)
Date Acquired
November 17, 2014
Publication Date
October 1, 2014
Subject Category
Air Transportation And Safety
Report/Patent Number
E-18677
NASA/TM-2014-217877
Funding Number(s)
WBS: WBS 534723.02.01.03.40
Distribution Limits
Public
Copyright
Public Use Permitted.
No Preview Available