Skip to Main content Skip to Navigation
Theses

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 metadatas

https://hal.archives-ouvertes.fr/tel-01942421
Contributor : Julien Forget <>
Submitted on : Monday, December 3, 2018 - 11:13:27 AM
Last modification on : Friday, May 17, 2019 - 11:41:41 AM
Long-term archiving on: : Monday, March 4, 2019 - 1:06:44 PM

File

jforget-thesis.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01942421, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

133

Files downloads

184