Skip to Main content Skip to Navigation
Conference papers

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, Laboratoire I3S - 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00485007
Contributor : Frédéric Mallet <>
Submitted on : Wednesday, May 19, 2010 - 5:53:02 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM

Links full text

Identifiers

Citation

Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel, Jean-Pierre Talpin. Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous Programs. International conference on Embedded software - EMSOFT 2009, Oct 2009, Grenoble, France. ⟨10.1145/1629335.1629356⟩. ⟨inria-00485007⟩

Share

Metrics

Record views

471