Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous Programs

Dumitru Potop-Butucaru 1 Robert De Simone 1 Yves Sorel 1 Jean-Pierre Talpin 2
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
2 ESPRESSO - Synchronous programming for the trusted component-based engineering of embedded systems and mission-critical systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their resources. This mapping comprises both temporal scheduling and spatial allocation aspects. Therefore, we promote an approach which starts from loosely-timed/asynchronous models and proceeds by refining them to fully synchronized ones, using so-called clock calculus techniques under the architecture constraints. In this paper we provide a modeling framework based on an intermediate representation format, called clocked graphs, for polychronous endochronous specifications, which are the ones that can be safely considered for deterministic distributed real-time implementation using static scheduling techniques. Our formalism allows the specification of both “intrinsic” correctness properties of the specification, such as causality and clock consistency, and “external” correctness properties, such as endochrony, which ensure compatibility with the desired implementation architecture, including both hardware and software aspects. Using this formalism, we define a new method for distributed real-time implementation of synchronous specification. The move from (endochronous) synchronous specification to realtime scheduled implementation is a seamless sequence of model decorations.
Type de document :
Communication dans un congrès
Samarjit Chakraborty and Nicolas Halbwachs. International conference on Embedded software - EMSOFT 2009, Oct 2009, Grenoble, France. ACM, 2009, <10.1145/1629335.1629356>
Liste complète des métadonnées

https://hal.inria.fr/inria-00485007
Contributeur : Frédéric Mallet <>
Soumis le : mercredi 19 mai 2010 - 17:53:02
Dernière modification le : vendredi 13 janvier 2017 - 14:16:33

Identifiants

Collections

Citation

Dumitru Potop-Butucaru, Robert De Simone, Yves Sorel, Jean-Pierre Talpin. Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous Programs. Samarjit Chakraborty and Nicolas Halbwachs. International conference on Embedded software - EMSOFT 2009, Oct 2009, Grenoble, France. ACM, 2009, <10.1145/1629335.1629356>. <inria-00485007>

Partager

Métriques

Consultations de la notice

245