User: Guest  Login
Title:

Validation of decision logic of an autoland system for a UAV using model-based safety-assessment techniques​

Document type:
Zeitschriftenaufsatz
Author(s):
Kügler, Martin E.; Rhein, Julian; Holzapfel, Florian
Abstract:
Software of automatic flight control systems requires thorough verification and validation. Traditionally, this is achieved with elaborate development processes following pertinent industry standards. To reduce the development effort, however, new methods have emerged: a model-based software development process is used at the Institute of Flight System Dynamics of the Technical University of Munich for the design of auto-flight systems with MATLAB/Simulink. Besides, the modelbased safety assessm...     »
Journal title:
CEAS Aeronautical Journal
Year:
2019
Covered by:
Scopus; Web of Science
Fulltext / DOI:
doi:10.1007/s13272-019-00401-5
 BibTeX