Real-Time Systems Compilation - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Hdr Année : 2015

Real-Time Systems Compilation

Compilation de systèmes temps réel

Résumé

I introduce and advocate for the concept of Real-Time Systems Compilation. By analogy with classical compilation, real-time systems compilation consists in the fully automatic construction of running, correct-by-construction implementations from functional and non-functional specifications of embedded control systems. Like in a classical compiler, the whole process must be fast (thus enabling a trial-and-error design style) and produce reasonably efficient code. This requires the use of fast heuristics, and the use of fine-grain platform and application models. Unlike a classical compiler, a real-time systems compiler must take into account non-functional properties of a system and ensure the respect of non-functional requirements (in addition to functional correctness). I also present Lopht, a real-time systems compiler for statically-scheduled real-time systems we built by combining techniques and concepts from real-time scheduling, compilation, and synchronous languages.
Fichier principal
Vignette du fichier
hdr.pdf (876.33 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-01264021 , version 1 (28-01-2016)

Identifiants

  • HAL Id : tel-01264021 , version 1

Citer

Dumitru Potop-Butucaru. Real-Time Systems Compilation. Embedded Systems. EDITE, 2015. ⟨tel-01264021⟩
533 Consultations
479 Téléchargements

Partager

Gmail Facebook X LinkedIn More