Analysis of distributed multi-periodic systems to achieve consistent data matching

Nadège Pontisso (1) , Philippe Quéinnec (2, 3) , Gérard Padiou (2)

1 IRIT - Institut de recherche en informatique de Toulouse
2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
3 Toulouse INP - Institut National Polytechnique (Toulouse)

Distributed real-time architecture of an embedded system is often described as a set of communicating components. Such a system is data flow (for its description) and time-triggered (for its execution). This work fits in with these problematics and focuses on the control of the time compatibility of a set of interdependent data used by the system components. The architecture of a component-based system forms a graph of communicating components, where more than one path can link two components. These paths may have different timing characteristics but the flows of information which transit on these paths may need to be adequately matched, so that a component uses inputs which all (directly or indirectly) depend on the same production step. In this paper, we define this temporal data-matching property, we show how to analyze the architecture to detect situations that can cause data matching inconsistencies, and we describe an approach to manage data matching that uses queues to delay too fast paths and timestamps to recognize consistent data.

Mots clés: système distribué; composants; temps réel; cohérence des données; conception

Domaines: Génie logiciel [cs.SE]; Systèmes embarqués; Calcul parallèle, distribué et partagé [cs.DC]

Nadège Pontisso, Philippe Quéinnec, Gérard Padiou. Analysis of distributed multi-periodic systems to achieve consistent data matching. 2010. ⟨hal-00466871⟩