Compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non-fonctionnelles complexes

Thomas Carle 1
1 BANG - Nonlinear Analysis for Biology and Geophysical flows
LJLL - Laboratoire Jacques-Louis Lions, Inria Paris-Rocquencourt
Abstract : There is a long standing separation between the fields of compiler construction and real-time scheduling. While both fields have the same objective - the construction of correct implementations – the separation was historically justified by significant differences in the models and methods that were used. Nevertheless, with the ongoing complexification of applications and of the hardware of the execution platforms, the objects and problems studied in these two fields are now largely overlapping. In this thesis, we focus on the automatic code generation for embedded control systems with complex constraints, including hard real-time requirements. To this purpose, we advocate the need for a reconciled research effort between the communities of compilation and real-time systems. By adapting a technique usually used in compilers (software pipelining) to the system-level problem of multiprocessor scheduling of hard real-time applications, we shed light on the difficulties of this unified research effort, but also show how it can lead to real advances. Indeed we explain how adapting techniques for the optimization of new objectives, in a different context, allows us to develop more easily systems of better quality than what was done until now. In this adaptation process, we propose to use synchronous formalisms and languages as a common formal ground. These can be naturally seen as extensions of classical models coming from both real-time scheduling (dependent task graphs) and compilation (single static assignment and data dependency graphs), but also provide powerful techniques for manipulating complex control structures. We implemented our results in the LoPhT compiler.
Document type :
Theses
Complete list of metadatas

Cited literature [100 references]  Display  Hide  Download

https://hal.inria.fr/tel-01088786
Contributor : Thomas Carle <>
Submitted on : Friday, November 28, 2014 - 4:30:23 PM
Last modification on : Wednesday, May 15, 2019 - 3:38:32 AM
Long-term archiving on: Friday, April 14, 2017 - 11:10:20 PM

Identifiers

  • HAL Id : tel-01088786, version 1

Citation

Thomas Carle. Compilation efficace de spécifications de contrôle embarqué avec prise en compte de propriétés fonctionnelles et non-fonctionnelles complexes. Base de données [cs.DB]. Université Pierre et Marie Curie - Paris VI, 2014. Français. ⟨NNT : 2014PA066392⟩. ⟨tel-01088786⟩

Share

Metrics

Record views

1400

Files downloads

430