AWARD
A -- QUALIFICATION OF FORMAL METHODS TOOLS
- Notice Date
- 9/19/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-SSAT-06
- Archive Date
- 10/19/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
- NNL14AA06C
- Award Date
- 9/19/2014
- Awardee
- Rockwell Collins, Inc. / Government Systems 400 Collins Rd NE Cedar Rapids, IA52498-0505
- Award Amount
- 969394
- Description
- The Contractor will conduct research into the general problems of achieving confidence in formal methods tools as well as the more specific problem of how to meet the qualification objectives of a particular framework, namely, RTCAs DO-330.The objectives of this research are to 1) to investigate the sorts of assurances that are necessary and appropriate to justify the application of formal methods tools throughout all phases of design in real safety-critical settings, 2) produce practical examples on how to qualify typical formal verification tools in each of the three categories, and 3) explore promising new approaches for the qualification of formal methods tools.
- Web Link
-
FBO.gov Permalink
(https://www.fbo.gov/spg/NASA/LaRC/OPDC20220/Awards/NNL14AA06C.html)
- Record
- SN03520778-W 20140921/140919235943-05bbe9f2aa0fc1273ad3c115d9ffefcb (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 |