×

zbMATH — the first resource for mathematics

TIMES – a tool for modelling and implementation of embedded systems. (English) Zbl 1043.68513
Katoen, Joost-Pieter (ed.) et al., Tools and algorithms for the construction and analysis of systems. 8th international conference, TACAS 2002. Held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Berlin: Springer (ISBN 3-540-43419-4). Lect. Notes Comput. Sci. 2280, 460-464 (2002).
Summary: TIMES is a modelling and schedulability analysis tool for embedded real-time systems, developed at Uppsala University in 2001. It is appropriate for systems that can be described as a set of preemptive or non-preemptive tasks which are triggered periodically or sporadically by time or external events. It provides a graphical interface for editing and simulation, and an engine for schedulability analysis.
For the entire collection see [Zbl 0988.00082].

MSC:
68M99 Computer system organization
Software:
TIMES
PDF BibTeX XML Cite
Full Text: Link