NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Formal Assurance Certifiable Tooling Formal Assurance Certifiable Tooling Strategy Final ReportThis is the Final Report of a research project to investigate issues and provide guidance for the qualification of formal methods tools under the DO-330 qualification process. It consisted of three major subtasks spread over two years: 1) an assessment of theoretical soundness issues that may affect qualification for three categories of formal methods tools, 2) a case study simulating the DO-330 qualification of two actual tool sets, and 3) an investigation of risk mitigation strategies that might be applied to chains of such formal methods tools in order to increase confidence in their certification of airborne software.
Document ID
20170002595
Acquisition Source
Langley Research Center
Document Type
Contractor Report (CR)
Authors
Bush, Eric (Kestrel Technology, LLC Palo Alto, CA, United States)
Oglesby, David (Honeywell Aerospace Golden Valley, MN, United States)
Bhatt, Devesh (Honeywell Aerospace Golden Valley, MN, United States)
Murugesan, Anitha (Honeywell Aerospace Golden Valley, MN, United States)
Engstrom, Eric (Smart Information Flow Technologies Minneapolis, MN, United States)
Mueller, Joe (Smart Information Flow Technologies Minneapolis, MN, United States)
Pelican, Michael (Smart Information Flow Technologies Minneapolis, MN, United States)
Date Acquired
March 28, 2017
Publication Date
February 1, 2017
Subject Category
Numerical Analysis
Report/Patent Number
NF1676L-25876
NASA/CR-2017-219372
Funding Number(s)
CONTRACT_GRANT: NNL14AA07C
WBS: WBS 999182.02.85.07.0
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available