AWARD
A -- DISSIMILAR ANALYSIS TOOL CHAIN PROPERTY INTEGRATION
- Notice Date
- 9/16/2014
- Notice Type
- Award Notice
- NAICS
- 541712
— Research and Development in the Physical, Engineering, and Life Sciences (except Biotechnology)
- Contracting Office
- NASA/Langley Research Center, Mail Stop 12, Industry Assistance Office, Hampton,VA 23681-0001
- ZIP Code
- 23681-0001
- Solicitation Number
- NNH13ZEA001N-7
- Archive Date
- 10/16/2014
- Point of Contact
- Octavia L Hicks, Contract Specialist, Phone 757-864-8510, Fax 757-864-9097, Email octavia.l.hicks@nasa.gov - William Cann, Contract Specialist, Phone 757-864-2254, Fax 757-864-6641, Email william.f.cann@nasa.gov
- E-Mail Address
-
Octavia L Hicks
(octavia.l.hicks@nasa.gov)
- Small Business Set-Aside
- N/A
- Award Number
- NNL14AA07C-7
- Award Date
- 9/16/2014
- Awardee
- Kestrel Technology, LLC 3260 Hillview Ave FL2 Palo Alto, CA 94304-1225
- Award Amount
- 1012631
- Description
- The Contractor will conduct research that identifies qualification considerations for formal methods tools under DO-330 and DO-333, along with possible weakness mitigation strategies. The objectives are to 1) examine how existing state-of-the-art formal methods tools could be qualified within the DO-330 framework using a safety-driven approach; 2) address three types of formal methods tools (static analysis, model checking, and model-based development tools) and their interaction in the design, implementation, and verification stages of software development; 3) examine how the dissimilarity of these tools might be employed as a risk mitigation approach; and 4) gather strategies for making claims and producing evidence about the trustworthiness of such tools and their combinations for product safety case arguments.
- Web Link
-
FBO.gov Permalink
(https://www.fbo.gov/spg/NASA/LaRC/OPDC20220/Awards/NNL14AA07C-7.html)
- Record
- SN03513709-W 20140918/140917000018-e3d5e9bd1b786afdaf7e1c55ea0479a2 (fbodaily.com)
- Source
-
FedBizOpps Link to This Notice
(may not be valid after Archive Date)
| FSG Index | This Issue's Index | Today's FBO Daily Index Page |