USA flag logo/image

An Official Website of the United States Government

Run-time Verification and Validation for Safety-Critical Flight Control Systems

Award Information

Department of Defense
Air Force
Award ID:
Program Year/Program:
2004 / 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: 2004
Title: Run-time Verification and Validation for Safety-Critical Flight Control Systems
Agency / Branch: DOD / USAF
Contract: FA8650-04-M-3427
Award Amount: $99,868.00


As the complexity of flight controllers grows so does the cost associated with verification and validation (V&V). Current-generation controllers are already reaching a level of complexity that pushes the envelopes of existing V&V approaches, and there is little hope for affordable V&V of next-generation intelligent systems. One possible solution is to combine runtime monitors for complex systems with simple controllers that can provide a reversionary mode during undesirable conditions. Such an architecture allows the V&V to be partitioned into design-time V&V (for the relatively simple monitor and fail-safe controller), and runtime V&V (of the complex controller). Barron Associates proposes an aggressive Phase I plan of research to develop both the monitoring algorithms as well as fail-safe controller approaches for flight-critical systems. The monitoring technology will leverage related runtime V&V work done for non-aerospace safety-critical applications, and the fail-safe control approach will be based on a partitioning of the control tasks into those required for stability and safe return (the fail-safe system) and those required for acceptable performance and mission success (the mission controller). One innovative aspect of Phase I will be the development of runtime V&V approaches for both single-vehicle systems as well as multi-vehicle coordinated control systems.

Principal Investigator:

Carl R. Elks
Research Scientist

Business Contact:

David G. Ward
Small Business Information at Submission:

1160 Pepsi Place, Suite 300 Charlottesville, VA 22901

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