AWARD
A -- COMPOSITIONAL VERIFICATION OF FLIGHT CRITICAL SYSTEMS
- Notice Date
- 4/24/2013
- Notice Type
- Award Notice
- NAICS
- 541712
— Research and Development in the Physical, Engineering, and Life Sciences (except Biotechnology)
- Contracting Office
- NASA/Ames Research Center, JA:M/S 241-1, Moffett Field, CA 94035-0001
- ZIP Code
- 94035-0001
- Solicitation Number
- NNH11ZEA001N-SSAT2
- Archive Date
- 5/19/2013
- Point of Contact
- Janessa M Schantin, Contracting Officer, Phone 650-604-3558, Fax 650-604-0932, Email janessa.m.schantin@nasa.gov
- E-Mail Address
-
Janessa M Schantin
(janessa.m.schantin@nasa.gov)
- Small Business Set-Aside
- N/A
- Award Number
- NNA13AA21C
- Award Date
- 4/19/2013
- Awardee
- ROCKWELL COLLINS, INC GOVERNMENT SYSTEMS 400 COLLINS RD NE CEDAR RAPIDS IA52498-0505
- Award Amount
- $1995206
- Description
- The contractor will use a variety of formal analysis tools to verify system-level properties, focusing initially on advanced model checkers but also exploring the use of automatic theorem provers and other analysis tools. They will develop an integrated framework that combines tools for design, translation, and verification of system architecture models. The proposed work builds on previous successful work performed by the contractor within the DARPA META project.
- Web Link
-
FBO.gov Permalink
(https://www.fbo.gov/spg/NASA/ARC/OPDC20220/Awards/NNA13AA21C.html)
- Record
- SN03044384-W 20130426/130424234608-b10791484a0ef8a328f418c9e27e6cd7 (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 |