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 metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal.inria.fr/inria-00638936
Contributor : Mister Dart <>
Submitted on : Monday, November 7, 2011 - 4:18:09 PM
Last modification on : Tuesday, September 8, 2020 - 9:30:03 AM
Long-term archiving on: : Thursday, November 15, 2012 - 11:25:40 AM

File

DEDS2010.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00638936, version 1

Citation

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. ⟨inria-00638936⟩

Share

Metrics

Record views

912

Files downloads

851