Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems
This paper presents the interim results of a three-year NASA project for the development of a comprehensive framework for the validation and verification (V&V) of model-based control systems and adaptive control systems (MBCSs/ACSs), with focus on Unmanned Aircraft Systems (UAS) applications. The framework applies a formal V&V methodology based on a combination of logic-dynamic model constructs and associated analysis processes, to support the generation of a documentable assurance case for a UAS control system, and to demonstrate its compliance with applicable aviation system certification standards .
KeywordsValidation and verification Safety case Model based control system Adaptive control system Unmanned aircraft system
The presented work is sponsored by a 3-year project funded by the NASA Ames Research Center. The authors would like to thank the sponsor for this support.
- 1.RTCA: DO-178C, Software Considerations in Airborne Systems and Equipment Certification (2011)Google Scholar
- 2.Denney, E., Pai, G., Whiteside, I.: Formal foundations for hierarchical safety cases. In: Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering (2015)Google Scholar
- 3.ASCA, Inc.: Development of Framework for the Validation and Verification of Model-Based and Adaptive Control System, Interim Annual Report for Year 1 (2015)Google Scholar
- 4.Ozguner, U.: Coordination of hierarchical systems. In: Proceedings of the 5th IEEE International Symposium on Intelligent Control, vol. 1, pp. 2–7 (1990)Google Scholar
- 5.Espinoza, T., Dzul, A., Llama, M.: Linear and nonlinear controllers applied to fixed-wing UAV. Int. J. Adv. Robot. Syst. 10, 33 (2013)Google Scholar
- 6.Guarro, S., Yau, M., Dixon, S.: Applications of the dynamic flowgraph methodology to dynamic modeling and analysis. In: Proceedings of the 11th International Conference on Probabilistic Safety Assessment and Management (PSAM 11) (2012)Google Scholar
- 7.U.S. Nuclear Regulatory Commission: A Benchmark Implementation of Two Dynamic Methodologies for the Reliability Modeling of Digital Instrumentation and Control Systems, NUREG/CR-6985, Washington, D.C. (2009)Google Scholar
- 8.Fossen, T.I.: Mathematical models for control of aircraft and satellites, Department of Engineering Cybernetics Norwegian University of Science and Technology (2011)Google Scholar