Automated generation of time-predictable executables on multi-core

Publikationstyp
Conference Paper
Publikationsdatum
2018-10-10
Sprache
English
Author
Pagetti, Claire 
Forget, Julien 
Falk, Heiko orcid-logo
Oehlert, Dominic Paul 
Luppold, Arno orcid-logo
Institut
Eingebettete Systeme E-13 
TORE-URI
http://hdl.handle.net/11420/2688
Enthalten in
ACM International Conference Proceeding Series 
Start Page
104
End Page
113
Citation
ACM International Conference Proceeding Series: 104-113 (2018-10-10)
Contribution to Conference
26th International Conference on Real-Time Networks and Systems, RTNS 2018 
Publisher DOI
10.1145/3273905.3273907
Scopus ID
2-s2.0-85056707901
In this paper, we are interested in the implementation of control-command applications, such as the flight control system of an aircraft for instance, on multi-core hardware. Due to certification and safety issues, time-predictability – in the sense that the timing behavior must be analysable and validable off-line – is a mandatory feature. We present a complete framework, from high-level system specification in synchronous languages, to implementation on a multi-core hardware platform, which enforces time-predictability at every step of the development process. The framework is based on automated code generation tools to speed-up the development process and to eliminate error-prone human-made translation steps.
DDC Class
004: Computer Sciences