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

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

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 developme...

Full description

Bibliographic Details
Main Authors: Kajetan Nürnberger, Markus Hochstrasser, Florian Holzapfel
Format: Article
Language:English
Published: Wiley 2017-06-01
Series:IET Cyber-Physical Systems
Subjects:
aerospace control
software engineering
program compilers
formal verification
program diagnostics
control engineering computing
aerospace computing
optimisation techniques
model-based development
flight control software
code generation
compilation
formally verified compiler
static worst-case execution time analysis
Online Access:https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2016.0046

Internet

https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2016.0046

Similar Items