Open AccessExecution time analysis and optimisation techniques in the model‐based development of a flight control software
Author(s) -
Nürnberger Kajetan,
Hochstrasser Markus,
Holzapfel Florian
Publication year - 2017
Publication title -
iet cyber‐physical systems: theory and applications
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.308
H-Index - 7
ISSN - 2398-3396
DOI - 10.1049/iet-cps.2016.0046
Subject(s) - computer science , worst case execution time , execution time , compiler , software , software development , programming language , static analysis , control (management) , software engineering , static program analysis , artificial intelligence
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 execution time analysis. Based on the results, recommendations for certain model patterns are given, which impact the worst‐case execution time analysis.