AWARD
A -- METHODOLOGIES FOR COMPOSITIONAL DESIGN WITH THE EVIDENTIAL TOOL BUS
- Notice Date
- 10/1/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
- Archive Date
- 10/27/2013
- Point of Contact
- Margaret A Maraist, Contract Specialist, Phone 650-604-2197, Fax 650-604-3020, Email margaret.a.maraist@nasa.gov - Janessa M Schantin, Contracting Officer, Phone 650-604-3558, Fax 650-604-0932, Email janessa.m.schantin@nasa.gov
- E-Mail Address
-
Margaret A Maraist
(margaret.a.maraist@nasa.gov)
- Small Business Set-Aside
- N/A
- Award Number
- NNA13AC55C
- Award Date
- 9/27/2013
- Awardee
- SRI International 333 Ravenswood Avenue Menlo Park, CA 94025-3453
- Award Amount
- 1803346.00
- Description
- Develop research tools and methodologies that support early analysis of flight-critical softwareintensive systems whose components, and their functions with respect to the controlled hardware,are composed into verifiable complex systems. This includes a variety of topics: design framework for early combined analysis of software and hardware embedded systems analysis techniques at the system architecture level, generating system-level assumptions for the verification of safety properties at the component level, lifting of component-level safety properties to the system level, composition of results from multiple verification engines into a single, coherent argument, compositional verification for synchronous and asynchronous systems.
- Web Link
-
FBO.gov Permalink
(https://www.fbo.gov/spg/NASA/ARC/OPDC20220/Awards/NNA13AC55C.html)
- Record
- SN03209306-W 20131003/131001234714-f0396702caf5777852638b842cd1d552 (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 |