| [176840] |
| Title: Automated generation of time-predictable executables on multi-core. <em>In Proceedings of the 26th International Conference on Real-Time Networks and Systems (RTNS)</em> |
| Written by: Claire Pagetti, Julien Forget, Heiko Falk, Dominic Oehlert and Arno Luppold |
| in: October (2018). |
| Volume: Number: |
| on pages: 104-113 |
| Chapter: |
| Editor: |
| Publisher: |
| Series: 20181010-rtns-pagetti.pdf |
| Address: Poitiers / France |
| Edition: |
| ISBN: 10.1145/3273905.3273907 |
| how published: 18-60 PFFOL18 RTNS |
| Organization: |
| School: |
| Institution: |
| Type: |
| DOI: |
| URL: |
| ARXIVID: |
| PMID: |
Note: aluppold, doehlert, hfalk, ESD, WCC
Abstract: 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.