Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Real-Time Systems Compilation

Dumitru Potop-Butucaru 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : 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.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [148 references]  Display  Hide  Download
Contributor : Dumitru Potop-Butucaru <>
Submitted on : Thursday, January 28, 2016 - 3:46:10 PM
Last modification on : Friday, January 8, 2021 - 11:30:02 AM
Long-term archiving on: : Friday, November 11, 2016 - 6:44:31 PM



  • HAL Id : tel-01264021, version 1



Dumitru Potop-Butucaru. Real-Time Systems Compilation. Embedded Systems. EDITE, 2015. ⟨tel-01264021⟩



Record views


Files downloads