• DocumentCode
    2098310
  • 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
  • Volume
    1
  • fYear
    2004
  • fDate
    6-13 March 2004
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Aerospace Conference, 2004. Proceedings. 2004 IEEE
  • ISSN
    1095-323X
  • Print_ISBN
    0-7803-8155-6
  • Type

    conf

  • DOI
    10.1109/AERO.2004.1367591
  • Filename
    1367591