Model-based approach to validation and verification of flight critical software

IEEE Aerospace Conference Proceedings

Volumn , Issue , 2008, Pages

  Jaw, Link C ^a   Van, H T ^a   Homan, David ^b   Crum, Vince ^b   Chou, Wendy ^b   Keller, Kirby ^c   Swearingen, Kevin ^c   Smith, Timothy ^c  

^a Scientific Monitoring Inc   (United States)

^b AIR FORCE RESEARCH LABORATORY   (United States)

^c BOEING COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SOFTWARE SELECTION AND EVALUATION; CRITICALITY (NUCLEAR FISSION); MANAGEMENT; MODEL CHECKING; MODELS; PROJECT MANAGEMENT; RESEARCH; RESEARCH LABORATORIES; SOFTWARE DESIGN; SOFTWARE TESTING; UNMANNED AERIAL VEHICLES (UAV); UNMANNED VEHICLES; VEHICLES; VERIFICATION;

ADAPTIVE SOFTWARE; AIR FORCE RESEARCH LABORATORY; AIR VEHICLES; AUTONOMOUS AERIAL REFUELING; CONTROL RECONFIGURATION; CRITICAL SOFTWARE; DEVELOPMENT COSTS; FLIGHT CONTROLS; HEALTH MANAGEMENT; MISSION CRITICAL SOFTWARES; MODEL-BASED APPROACHES; PHYSICAL MODEL; UNMANNED AIR VEHICLE; UPWARD TREND; VALIDATION AND VERIFICATION;

CONCURRENCY CONTROL;

EID: 49349087295     PISSN: 1095323X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AERO.2008.4526572     Document Type: Conference Paper

References (8)

1. st Century, October, 2002.
2. Houchard, J. H.; "Conceptual Design of Test Aides for Flight Critical Control Systems;" Proceedings of IEEE, CH3431-4/94/0000-0911; 1994.
3. Yilmaz, L. and Balci, O.; "Object-oriented Simulation Model Validation and Verification;" Proceedings of the 1997 Summer Computer Simulation Conference, July, 1997.
4. st Century, October, 2002/
5. Crum, V. W., et al.; "Validation & Verification of Intelligent and Adaptive Control Systems;" Proceedings of IEEE Aerospace Conference, March 2004.
6. Crum, V.; "Certification Techniques for Advanced Flight Control Systems;" presented at the Safe and Secure Systems Airworthiness Certification R&D Symposium; Dayton, Ohio; September 2006.
7. Jaw, L. C. and Wang, William, "System Integration and Design Assurance Laboratory - SIDAL," Proceedings of IEEE Aerospace Conference, March 2004.
8. Jaw, L. C., Tsai, W-T, et al., "Verification of Flight Software with Karnough Map-based Checking," Proceedings of the 2007 IEEE Aerospace Conference, Big Sky, Montana, March 2007.