TESL: A language for reconciling heterogeneous execution traces

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,...

Full description

Saved in:
Bibliographic Details
Main Authors: Boulanger, Frederic, Jacquet, Christophe, Hardebolle, Cecile, Prodan, Iuliana
Format: Conference Proceeding
Language:English
Subjects:
Clocks
Computational modeling
Delays
Switches
Synchronization
Time-domain analysis
Unified modeling language
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
DOI:10.1109/MEMCOD.2014.6961849