2026-07-21T19:38:18Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:12983 2024-03-06T10:51:29Z ddc:004 open_access

TESL: A Model with Metric Time for Modeling and Simulation Nguyen Van, Hai Boulanger, Frédéric Wolff, Burkhart Timed Systems Semantics Models Simulation 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Hai Nguyen Van and Frédéric Boulanger and Burkhart Wolff 2020 Is Part Of LIPIcs, Volume 178, 27th International Symposium on Temporal Representation and Reasoning (TIME 2020) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.TIME.2020.15 urn:nbn:de:0030-drops-129837 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2020.15 eng https://creativecommons.org/licenses/by/3.0/legalcode