Multi-task implementation of multi-periodic synchronous programs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Discrete Event Dynamic Systems Year : 2011

Multi-task implementation of multi-periodic synchronous programs


This article presents a complete scheme for the integration and the development of multi-periodic critical embedded systems. A system is formally specified as a modular and hierarchical assembly of several locally mono-periodic synchronous functions into a globally multi-periodic synchronous system. To support this, we introduce a real-time software architecture description language, named \prelude, which is built upon the synchronous languages and which provides a high level of abstraction for describing the functional and the real-time architecture of a multi-periodic control system. A program is translated into a set of real-time tasks that can be executed on a monoprocessor real-time platform with an on-line priority-based scheduler such as Deadline-Monotonic or Earliest-Deadline-First. The compilation is formally proved correct, meaning that the generated code respects the real-time semantics of the original program (respect of periods, deadlines, release dates and precedences) as well as its functional semantics (respect of variable consumption).
Fichier principal
Vignette du fichier
DEDS2010.pdf (231.74 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00638936 , version 1 (07-11-2011)



Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens. Multi-task implementation of multi-periodic synchronous programs. Discrete Event Dynamic Systems, 2011, 21 (3), pp.307-338. ⟨10.1007/s10626-011-0107-x⟩. ⟨inria-00638936⟩
647 View
769 Download



Gmail Facebook X LinkedIn More