License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.TIME.2020.15
URN: urn:nbn:de:0030-drops-129837
Go to the corresponding LIPIcs Volume Portal

Nguyen Van, Hai ; Boulanger, Frédéric ; Wolff, Burkhart

TESL: A Model with Metric Time for Modeling and Simulation

LIPIcs-TIME-2020-15.pdf (2 MB)


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.

BibTeX - Entry

  author =	{Hai Nguyen Van and Fr{\'e}d{\'e}ric Boulanger and Burkhart Wolff},
  title =	{{TESL: A Model with Metric Time for Modeling and Simulation}},
  booktitle =	{27th International Symposium on Temporal Representation and Reasoning (TIME 2020)},
  pages =	{15:1--15:15},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-167-2},
  ISSN =	{1868-8969},
  year =	{2020},
  volume =	{178},
  editor =	{Emilio Mu{\~n}oz-Velasco and Ana Ozaki and Martin Theobald},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{},
  URN =		{urn:nbn:de:0030-drops-129837},
  doi =		{10.4230/LIPIcs.TIME.2020.15},
  annote =	{Keywords: Timed Systems, Semantics, Models, Simulation}

Keywords: Timed Systems, Semantics, Models, Simulation
Collection: 27th International Symposium on Temporal Representation and Reasoning (TIME 2020)
Issue Date: 2020
Date of publication: 15.09.2020
Supplementary Material: Artifacts and source code available at

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI