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

Award Information
Agency:
Department of Defense
Branch
Air Force
Amount:
$99,868.00
Award Year:
2004
Program:
SBIR
Phase:
Phase I
Contract:
FA8650-04-M-3427
Agency Tracking Number:
F041-246-2327
Solicitation Year:
2004
Solicitation Topic Code:
AF04-246
Solicitation Number:
2004.1
Small Business Information
BARRON ASSOC., INC.
1160 Pepsi Place, Suite 300, Charlottesville, VA, 22901
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
120839477
Principal Investigator:
Carl Elks
Research Scientist
(434) 973-1215
elks@barron-associates.com
Business Contact:
David Ward
President
(434) 973-1215
barron@barron-associates.com
Research Institution:
n/a
Abstract
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.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government