Loren Data's FBO Daily™

fbodaily.com
Home Today's FBO Search Archives Numbered Notes CBD Archives Subscribe
FBO DAILY ISSUE OF APRIL 28, 2012 FBO #3808
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 |
ECGrid: EDI VAN Interconnect ECGridOS: EDI Web Services Interconnect API Government Data Publications CBDDisk Subscribers
 Privacy Policy  © 1994-2014, Loren Data Corp.