# zbMATH — the first resource for mathematics

Time4sys2imi: a tool to formalize real-time system models under uncertainty. (English) Zbl 07142672
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 113-123 (2019).
Summary: Time4sys is a formalism developed by Thales Group, realizing a graphical specification for real-time systems. However, this formalism does not allow to perform formal analyses for real-time systems. So a translation of this tool to a formalism equipped with a formal semantics is needed. We present here Time4sys2imi, a tool translating Time4sys models into parametric timed automata in the input language of IMITATOR. This translation allows not only to check the schedulability of real-time systems, but also to infer some timing constraints (deadlines, offsets $$\ldots)$$ guaranteeing schedulability. We successfully applied Time4sys2imi to various examples.
For the entire collection see [Zbl 1425.68012].
##### MSC:
 68Qxx Theory of computing
##### Software:
Cheddar; IMITATOR; Time4sys2imi; Uppaal
Full Text: