Execution time analysis and optimisation techniques in the model-based development of a flight control software
| Autor: | Kajetan Nürnberger, Markus Hochstrasser, Florian Holzapfel |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
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 Computer engineering. Computer hardware TK7885-7895 Electronic computers. Computer science QA75.5-76.95 |
| Zdroj: | IET Cyber-Physical Systems (2017) |
| Druh dokumentu: | article |
| ISSN: | 2398-3396 |
| DOI: | 10.1049/iet-cps.2016.0046 |
| Popis: | 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. |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|
Plný text