Skip to Main content Skip to Navigation

A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints

Abstract : This PhD. Thesis defines a high-level language for programming real-time embedded control systems. It is built upon Synchronous Languages (such as Lustre) and inherits their formal properties. It adds real-time primitives to enable the programming of multi-periodic systems. The objective of the language is not to replace other synchronous languages but instead to provide a higher layer of abstraction, on top of classic synchronous languages. It can be considered as a real-time software architecture language that enables to assemble locally mono-periodic synchronous systems into a globally multi-periodic synchronous system. The language compiler generates synchronized multi-task C code, that is independent of the target OS. Communication is achieved by a tailor-made buffering communication protocol. The compilation was defined formally and produces completely deterministic code, which respects the real-time semantics of the original program (period, deadlines, release dates and precedences) as well as its functional semantics (respect of data-dependencies).
Complete list of metadata
Contributor : Julien Forget Connect in order to contact the contributor
Submitted on : Monday, December 3, 2018 - 11:13:27 AM
Last modification on : Saturday, December 18, 2021 - 3:08:09 AM
Long-term archiving on: : Monday, March 4, 2019 - 1:06:44 PM


Files produced by the author(s)


  • HAL Id : tel-01942421, version 1



Julien Forget. A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints. Embedded Systems. Institut Supérieur de l’Aéronautique et de l’Espace, 2009. English. ⟨tel-01942421⟩



Les métriques sont temporairement indisponibles