Benutzer: Gast  Login
Titel:

Execution time analysis and optimisation techniques in the model-based development of a flight control software

Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
Nürnberger, Katejan; Hochstrasser, Markus; Holzapfel, Florian
Abstract:
This case study analyses the possibilities to improve the execution time of model-based developed software by applying optimisations during code generation and compilation. The present case study is performed on flight control software, for which safety aspects are accounted throughout the development. Therefore, a formally verified compiler is used for the optimisation during the compilation. The optimisation is evaluated by execution time measurements on the target and a static worst-case exec...     »
Zeitschriftentitel:
IET Cyber-Physical Systems: Theory {&} Applications
Jahr:
2017
Band / Volume:
2
Heft / Issue:
2
Nachgewiesen in:
Scopus; Web of Science
Volltext / DOI:
doi:10.1049/iet-cps.2016.0046
 BibTeX