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.
Keywords for this software
References in zbMATH (referenced in 25 articles , 1 standard article )
Showing results 21 to 25 of 25.
- Fersman, Elena; Yi, Wang: A generic approach to schedulability analysis of real-time tasks (2004)
- Hsiung, Pao-Ann; Lin, Shang-Wei: Formal design and verification of real-time embedded software (2004)
- Krčál, Pavel; Yi, Wang: Decidable and undecidable problems in schedulability analysis using timed automata (2004)
- Amnell, Tobias; Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul; Yi, Wang: TIMES -- a tool for modelling and implementation of embedded systems (2002)
- Fersman, Elena; Pettersson, Paul; Yi, Wang: Timed automata with asynchronous processes: Schedulability and decidability (2002)