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).
Type de document :
Article dans une revue
Discrete Event Dynamic Systems, Springer Verlag, 2011, 21 (3), pp.307-338
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00638936
Contributeur : Mister Dart <>
Soumis le : lundi 7 novembre 2011 - 16:18:09
Dernière modification le : mercredi 23 mai 2018 - 17:58:09
Document(s) archivé(s) le : jeudi 15 novembre 2012 - 11:25:40

Fichier

DEDS2010.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

631

Téléchargements de fichiers

464