Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Temporal Logic Framework for Performance Analysis of Architectures of Systems Read chapter Read first chapter

2016 | OriginalPaper | Chapter

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

Authors : Sergio Guarro, Umit Ozguner, Tunc Aldemir, Matt Knudson, Arda Kurt, Michael Yau, Mohammad Hejase, Steve Kwon

Published in: NASA Formal Methods

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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 .

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Formal Analysis of Extended Well-Clear Boundaries for Unmanned Aircraft
next chapter Verifying Relative Safety, Accuracy, and Termination for Program Approximations
Literature
1.
RTCA: DO-178C, Software Considerations in Airborne Systems and Equipment Certification (2011)
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)
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)
4.
Ozguner, U.: Coordination of hierarchical systems. In: Proceedings of the 5th IEEE International Symposium on Intelligent Control, vol. 1, pp. 2–7 (1990)
5.
Espinoza, T., Dzul, A., Llama, M.: Linear and nonlinear controllers applied to fixed-wing UAV. Int. J. Adv. Robot. Syst. 10, 33 (2013)
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)
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)
8.
Fossen, T.I.: Mathematical models for control of aircraft and satellites, Department of Engineering Cybernetics Norwegian University of Science and Technology (2011)
Metadata
Title
Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems
Authors
Sergio Guarro
Umit Ozguner
Tunc Aldemir
Matt Knudson
Arda Kurt
Michael Yau
Mohammad Hejase
Steve Kwon
Copyright Year
2016
Book
NASA Formal Methods

Print ISBN: 978-3-319-40647-3

Electronic ISBN: 978-3-319-40648-0

Copyright Year: 2016

DOI
https://doi.org/10.1007/978-3-319-40648-0_18

Premium Partner

    Image Credits