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
URL: https://drops.dagstuhl.de/opus/volltexte/2020/12983/
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

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


Abstract

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

@InProceedings{nguyenvan_et_al:LIPIcs:2020:12983,
  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 =		{https://drops.dagstuhl.de/opus/volltexte/2020/12983},
  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 https://github.com/heron-solver/heron.


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