USA flag logo/image

An Official Website of the United States Government

A Software-Assurance Design Approach for NextGen Enabling Technologies

Award Information

National Aeronautics and Space Administration
Award ID:
Program Year/Program:
2010 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
Barron Associates, Inc.
1410 Sachem Place Suite 202 Charlottesville, VA 22901-2496
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
Phase 1
Fiscal Year: 2010
Title: A Software-Assurance Design Approach for NextGen Enabling Technologies
Agency: NASA
Contract: NNX10CC05P
Award Amount: $99,939.00


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.

Principal Investigator:

Tony Aeillo
Principal Investigator

Business Contact:

Connie R. Hoover
Business Official
Small Business Information at Submission:

Barron Associates, Inc.
1410 Sachem Place, Suite 202 Charlottesville, VA 22901

EIN/Tax ID: 541243694
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No