Clock-Driven Distributed Real-Time Implementation of Endochronous Synchronous Programs - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

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

(1) , (1) , (1) , (2)
1
2

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.

Dates and versions

inria-00485007 , version 1 (19-05-2010)

Identifiers

Cite

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⟩
178 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More