Automated generation of time-predictable executables on multicore
| Autor: | Arno Luppold, Heiko Falk, Claire Pagetti, Dominic Oehlert, Julien Forget |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Multi-core processor
Computer science business.industry Process (computing) 020207 software engineering System requirements specification 02 engineering and technology Certification computer.file_format 020202 computer hardware & architecture Feature (computer vision) Control system Embedded system 0202 electrical engineering electronic engineering information engineering Code generation Executable business computer |
| Zdroj: | RTNS |
| DOI: | 10.1145/3273905.3273907 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|