Skip to Main content Skip to Navigation
Journal articles

Multi-task implementation of multi-periodic synchronous programs

Abstract : 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).
Document type :
Journal articles
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Mister Dart <>
Submitted on : Monday, November 7, 2011 - 4:18:09 PM
Last modification on : Friday, April 2, 2021 - 3:12:36 PM
Long-term archiving on: : Thursday, November 15, 2012 - 11:25:40 AM


Files produced by the author(s)



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



Record views


Files downloads