Advertisement

Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems

  • Sergio Guarro
  • Umit Ozguner
  • Tunc Aldemir
  • Matt Knudson
  • Arda Kurt
  • Michael Yau
  • Mohammad Hejase
  • Steve Kwon
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9690)

Abstract

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 .

Keywords

Validation and verification Safety case Model based control system Adaptive control system Unmanned aircraft system 

Notes

Acknowledgements

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.

References

  1. 1.
    RTCA: DO-178C, Software Considerations in Airborne Systems and Equipment Certification (2011)Google Scholar
  2. 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. 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. 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. 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. 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. 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. 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

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • Sergio Guarro
    • 1
  • Umit Ozguner
    • 2
  • Tunc Aldemir
    • 2
  • Matt Knudson
    • 3
  • Arda Kurt
    • 2
  • Michael Yau
    • 1
  • Mohammad Hejase
    • 2
  • Steve Kwon
    • 2
  1. 1.ASCA, Inc.Redondo BeachUSA
  2. 2.Ohio State UniversityColumbusUSA
  3. 3.NASA Ames Research CenterMoffett FieldUSA

Personalised recommendations