TESL: a Model with Metric Time for Modeling and Simulation

Hai Nguyen Van (1, 2) , Frédéric Boulanger (1, 3, 2) , Burkhart Wolff (1, 2)

1 LRI - Laboratoire de Recherche en Informatique
2 VALS - LRI - Vérification d'Algorithmes, Langages et Systèmes (LRI)
3 CentraleSupélec

Real-time and distributed systems are increasingly finding their way into critical embedded systems. On one side, computations need to be achieved within specific time constraints. On the other side, computations may be spread among various units which are not necessarily sharing a global clock. Our study is focused on a specification language, named TESL, used for coordinating concurrent models with timed constraints. We explore various questions related to time when modeling systems, and aim at showing that TESL can be introduced as a reasonable balance of expressiveness and decidability to tackle issues in complex systems. This paper introduces (1) an overview of the TESL language and its main properties (polychrony, stutter-invariance, coinduction for simulation), (2) extensions to the language and their applications.

Mots clés: Timed Systems; Semantics; Models; Simulation

Domaines: Théorie et langage formel [cs.FL]; Modélisation et simulation; Génie logiciel [cs.SE]

Hai Nguyen Van, Frédéric Boulanger, Burkhart Wolff. TESL: a Model with Metric Time for Modeling and Simulation. 27th International Symposium on Temporal Representation and Reasoning, Sep 2020, Bozen-Bolzano, Italy. ⟨10.4230/LIPIcs.TIME.2020.15⟩. ⟨hal-02931401⟩