Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2022

Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems


The design and implementation of reactive, hard real-time systems involves modeling and generating efficient code for the integration of harmonic multi-periodic tasks. The simple principles of synchronous reactive programming met great scientific and engineering success in the area. A synchronous program orchestrates concurrent computations. It does so while maintaining composability, modularity, functional determinism and real-time execution guarantees. In the case of hard real-time systems, a reactive control program is composed of multi-periodic tasks related through integral ratios. This paper presents a language and optimizing compiler to implement large reactive control systems composed of multi-periodic, synchronous reactive tasks. The same language is used to program a complete control system, from the finest-grained computations to task-level integration, while generating efficient code satisfying real-time constraints. It is evaluated on two real-world applications.
Fichier principal
Vignette du fichier
IMPACT2022_Paper4_onesynch.pdf (504.26 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03901645 , version 1 (16-12-2022)


  • HAL Id : hal-03901645 , version 1


Guillaume Iooss, Albert Cohen, Dumitru Potop-Butucaru, Marc Pouzet, Vincent Bregeon, et al.. Polyhedral Scheduling and Relaxation of Synchronous Reactive Systems. IMPACT 2022 - 12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary. pp.1-12. ⟨hal-03901645⟩
70 View
47 Download


Gmail Mastodon Facebook X LinkedIn More