×

TIMES

swMATH ID: 1403
Software Authors: H. Carli, L.G.S. Duarte, L.A.C.P. da Mota
Description: TIMES – a tool for modelling and implementation of embedded systems 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.
Homepage: http://cpc.cs.qub.ac.uk/summaries/AERW_v1_0.html
Keywords: modelling; embedded systems
Related Software: Uppaal; LinMapTS; Maple; Kronos; SPIN; TISEAN; IMITATOR; ISLR; Matlab; MCGP; XTL; LNT2LOTOS; DLC; UNITY; Exp.Open; Reo; CADP; LOTOS; M-TREE; BISIMULATOR
Cited in: 24 Publications

Citations by Year