A Model-Based Approach for Reconciliation of Polychronous Execution Traces

Kelly Garcés 1 Julien Deantoni 1 Frédéric Mallet 1
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
Abstract : Embedded systems are very difficult to design and debug because of the limited access to the device itself. Therefore, debugging usually requires to instrument the code so as to produce execution traces that are then monitored from a base station. Such an intrusive method has a direct impact on performances. In case of multiple interacting embedded targets the problem is even more severe and is not limited to computations but also spreads to communications. To reduce the communication overhead, we propose an approach in which unsynchronized traces from several targets are reconciled a posteriori. Since each target has its own time base without a built-in clock synchronization protocol, our approach requires a multi-clock reconciliation specification. This paper describes our model-based proposal developed during the ANR project RT-Simex. The different steps of the reconciliation are illustrated on a simple case-study used in the project, a terrestrial robot controlled in position.
Type de document :
Communication dans un congrès
SEAA 2011 - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, Aug 2011, Oulu, Finland. IEEE, 2011, <http://www.computer.org/portal/web/csdl/doi/10.1109/SEAA.2011.47>
Liste complète des métadonnées

https://hal.inria.fr/inria-00597981
Contributeur : Team Aoste <>
Soumis le : vendredi 3 juin 2011 - 10:30:11
Dernière modification le : mardi 29 novembre 2011 - 11:09:17
Document(s) archivé(s) le : dimanche 4 septembre 2011 - 02:21:30

Fichier

garces_deantoni_mallet_SEAA201...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00597981, version 1

Collections

Citation

Kelly Garcés, Julien Deantoni, Frédéric Mallet. A Model-Based Approach for Reconciliation of Polychronous Execution Traces. SEAA 2011 - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, Aug 2011, Oulu, Finland. IEEE, 2011, <http://www.computer.org/portal/web/csdl/doi/10.1109/SEAA.2011.47>. <inria-00597981>

Partager

Métriques

Consultations de
la notice

250

Téléchargements du document

119