AWARD
A -- A FORMAL ANALYSIS FRAMEWORK FOR STRATEGIC SELF-SEPARATION
- Notice Date
- 4/26/2012
- Notice Type
- Award Notice
- NAICS
- 541690
— Other Scientific and Technical Consulting Services
- Contracting Office
- NASA/Langley Research Center, Mail Stop 12, Industry Assistance Office, Hampton,VA 23681-0001
- ZIP Code
- 23681-0001
- Solicitation Number
- NNH10ZEA001N-CTD2
- Archive Date
- 5/26/2012
- Point of Contact
- Alene L Arnott, Contract Specialist, Phone 757-864-5483, Fax 757-864-7709, Email alene.l.arnott@nasa.gov
- E-Mail Address
-
Alene L Arnott
(alene.l.arnott@nasa.gov)
- Small Business Set-Aside
- N/A
- Award Number
- NNL12AA07C
- Award Date
- 4/26/2012
- Awardee
- SRI International 333 Ravenswood Ave,Menlo Park, CA 94025-3453
- Award Amount
- 420976
- Description
- NASA LaRC awarded a cost plus fixed fee contract to SRI entitled A Formal AnalysisFramework for Strategic Self-Separation The award results from a competitive selectionunder the National Aeronautics and Space Administration (NASA) Headquarters released NASAResearch Announcement (NRA) for foundational research in support of the AeronauticsResearch Mission Directorate (ARMD), entitled 'Research Opportunities in Aeronautics(ROA) 2010 under NNH10ZEA001N, Amendment 7, NextGen Concepts and TechnologyDevelopment (CTD). CTD Project of NASAs Airspace Systems program has recognized that the greatestefficiency and capacity gains in the Next Generation (NextGen) Airspace system will comethrough humans delegating low-level air traffic management tasks to automated systems(either ground-based or airborne). CTD further recognizes this approach does noteliminate safety risk, but rather shifts risk from the human operators to theautomations design. Delegating tasks in this way has the effect of introducing anunprecedented level of automation into the national airspace system. Safety assessmentcosts of highly automated systems may reach 60% of total system cost. This cost may be solarge as to negate the advantages of increased efficiency and capacity.The current airspace system certainly relies on software, but this software is primarilyused in a way that informs human decision makers, who have alternate non-software sourcesof critical information (e.g. radar screens). These alternate sources provide a redundantcheck on the outputs of the software. NextGen concepts use automation not only to informoperators, but also to make safety-related decisions when managing aircraft. Forinstance, the NextGen concept of trajectory-based operations involves aircrafttrajectories that are generated, optimized, evaluated for conflicts, resolved ofconflict, and reported into system-wide information system through very complex softwaresystems. In a fundamental way, the safety of the airspace will depend upon the safety andcorrectness of software.The scope of this effort is to construct arguments (lines of reasoning showing that anair traffic management system is safe) and evidence (to show that the assumptions in thearguments are likely to be true) for high assurance of safety properties for conflictdetection and resolution systems.
- Web Link
-
FBO.gov Permalink
(https://www.fbo.gov/spg/NASA/LaRC/OPDC20220/Awards/NNL12AA07C.html)
- Record
- SN02732166-W 20120428/120426235538-b24dd784b8a19ca64c725402761a1812 (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 |