A Software-Assurance Design Approach for NextGen Enabling Technologies

Award Information
Agency: National Aeronautics and Space Administration
Branch: N/A
Contract: NNX10CC05P
Agency Tracking Number: 095244
Amount: $99,939.00
Phase: Phase I
Program: SBIR
Awards Year: 2010
Solicitation Year: 2009
Solicitation Topic Code: A1.14
Solicitation Number: N/A
Small Business Information
1410 Sachem Place, Suite 202, Charlottesville, VA, 22901-2559
DUNS: 120839477
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Tony Aeillo
 Principal Investigator
 (434) 973-1215
 barron@bainet.com
Business Contact
 Connie Hoover
Title: Business Official
Phone: (434) 973-1215
Email: barron@bainet.com
Research Institution
N/A
Abstract
The Next Generation Air Transportation System (NextGen) brings significant advancements to the current management of the National Airspace (NAS). These fundamental changes have significant implications for safety and security, which, in turn, require new, more flexible techniques for the verification and validation of complex, software-intensive systems and systems of systems. To address this need, Barron Associates will develop a demonstration sense-and- avoid application, representative of the kinds of new systems that are possible in NextGen, and a safety case arguing that it is safe to operate in the NAS. The safety case will rely on run-time assurance and formal methods as evidence to support its claims. Run-time assurance continuously monitors system-level safety properties for impending violations to diagnose software faults and allows a simpler, high-criticality reversionary function to provide assurance for a more complex software function; formal methods provide strong design-time assurance of correctness for software that must operate at the highest levels of criticality. A safety-case-based approach citing these two strategies as evidence offers significant cost savings for similar or higher levels of assurance as compared to traditional, process-based approaches.

* Information listed above is at the time of submission. *

Agency Micro-sites

SBA logo
Department of Agriculture logo
Department of Commerce logo
Department of Defense logo
Department of Education logo
Department of Energy logo
Department of Health and Human Services logo
Department of Homeland Security logo
Department of Transportation logo
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government