Title :
Validation & verification of intelligent and adaptive control systems
Author :
Crum, Vincent W. ; Buffington, James M. ; Tallant, Gregory S. ; Krogh, Bruce ; Plaisted, Clinton ; Prasanth, Ravi ; Bose, Prasanta ; Johnson, Tim
Author_Institution :
Air Force Res. Lab., Wright-Patterson AFB, OH, USA
Abstract :
Emerging military aerospace system operational goals, such as autonomy, will require advanced safety-critical control systems consisting of unconventional requirements, system architectures, software algorithms, and hardware implementations. These emerging control systems will significantly challenge current verification and validation (V&V) processes, tools, and methods for flight certification. Ultimately, transition of advanced control systems that enable transformational military operations will be decided by affordable V&V strategies that reduce costs and compress schedules for flight certification. This paper describes a comprehensive plan and preliminary results for a study of V&V needs for emerging safety-critical control systems in the context of military aerospace vehicle flight certification.
Keywords :
adaptive control; aircraft control; certification; control system analysis; formal verification; intelligent control; adaptive control systems; advanced control systems; control system validation; control system verification; hardware implementations; intelligent control systems; military aerospace system; military aerospace vehicle flight certification; safety-critical control systems; software algorithms; system architectures; transformational military operations; Adaptive control; Aerospace control; Aerospace safety; Certification; Computer architecture; Control systems; Intelligent control; Software algorithms; Software safety; Software systems;
Conference_Titel :
Aerospace Conference, 2004. Proceedings. 2004 IEEE
Print_ISBN :
0-7803-8155-6
DOI :
10.1109/AERO.2004.1367591