TESL: A language for reconciling heterogeneous execution traces

Abstract : Various formalisms deal with time, and each of them has its own notion of time. When designing a system, it is often desirable to combine several of these formalisms to model different parts. Therefore one has to reconcile execution traces that may use different kinds of time (discrete, continuous, periodic) and different time scales (e.g. minutes, microseconds or even angles in degrees). In this article, we present a deterministic model of time which allows the specification of the coincidence of events that occur on different time scales, as well as instantaneous causality between events. This model supports both event-driven and time-driven specifications.
Type de document :
Communication dans un congrès
ACM-IEEE MEMOCODE 2014, Oct 2014, Lausanne, Switzerland. Proceedings of the 12th ACM-IEEE International Conference on Formal Methods and Models for System Design, pp.114 - 123, 2014, Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on. 〈http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6961849〉. 〈10.1109/MEMCOD.2014.6961849〉
Liste complète des métadonnées

Littérature citée [30 références]  Voir  Masquer  Télécharger

https://hal-supelec.archives-ouvertes.fr/hal-01100179
Contributeur : Frédéric Boulanger <>
Soumis le : mardi 6 janvier 2015 - 10:07:36
Dernière modification le : lundi 21 mars 2016 - 17:31:01
Document(s) archivé(s) le : mercredi 3 juin 2015 - 17:10:50

Fichier

memocode.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Frédéric Boulanger, Christophe Jacquet, Cécile Hardebolle, Iuliana Prodan. TESL: A language for reconciling heterogeneous execution traces. ACM-IEEE MEMOCODE 2014, Oct 2014, Lausanne, Switzerland. Proceedings of the 12th ACM-IEEE International Conference on Formal Methods and Models for System Design, pp.114 - 123, 2014, Formal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on. 〈http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6961849〉. 〈10.1109/MEMCOD.2014.6961849〉. 〈hal-01100179〉

Partager

Métriques

Consultations de la notice

163

Téléchargements de fichiers

59