TESL: A language for reconciling heterogeneous execution traces - CentraleSupélec
Communication Dans Un Congrès Année : 2014

TESL: A language for reconciling heterogeneous execution traces

Résumé

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.
Fichier principal
Vignette du fichier
memocode.pdf (547.75 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01100179 , version 1 (06-01-2015)

Identifiants

Citer

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. pp.114 - 123, ⟨10.1109/MEMCOD.2014.6961849⟩. ⟨hal-01100179⟩
127 Consultations
229 Téléchargements

Altmetric

Partager

More