TIMES

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.


References in zbMATH (referenced in 19 articles )

Showing results 1 to 19 of 19.
Sorted by year (citations)

  1. Thomsen, Bent; Luckow, Kasper Søe; Leth, Lone; Bøgholm, Thomas: From safety critical Java programs to timed process models (2015)
  2. Andrychowicz, Marcin; Dziembowski, Stefan; Malinowski, Daniel; Mazurek, Łukasz: Modeling bitcoin contracts by timed automata (2014)
  3. Kanala, Roman; Fragnière, Emmanuel: Mixing behavioral and technological data in mathematical programming framework (2014)
  4. Li, Guoqiang; Cai, Xiaojuan; Yuen, Shoji: Modeling and analysis of real-time systems with mutex components (2012)
  5. Bucci, Giacomo; Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico: Oris: a tool for modeling, verification and evaluation of real-time systems (2010)
  6. Hsiung, Pao-Ann; Lin, Shang-Wei; Lin, Chao-Sheng: Real-time embedded software design for mobile and ubiquitous systems (2010)
  7. Brekling, Aske; Hansen, Michael R.; Madsen, Jan: Models and formal verification of multiprocessor system-on-chips (2008)
  8. Fersman, Elena; Krcal, Pavel; Pettersson, Paul; Yi, Wang: Task automata: Schedulability, decidability and undecidability (2007)
  9. Geniet, Dominique; Largeteau, Gaëlle: WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model (2007)
  10. Huang, Jinfeng; Voeten, Jeroen; Corporaal, Henk: Predictable real-time software synthesis (2007)
  11. Carlson, Jan; Håkansson, John; Pettersson, Paul: Saveccm: An analysable component model for real-time systems. (2006)
  12. Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul; Yi, Wang: Schedulability analysis of fixed-priority systems using timed automata (2006)
  13. Gallardo, María-Del-Mar; Martínez, Jesús; Merino, Pedro; Rodriguez, Guillermo: Integration of reliability and performance analyses for active network services. (2005)
  14. De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François: Robustness and implementability of timed automata (2004)
  15. Fersman, Elena; Yi, Wang: A generic approach to schedulability analysis of real-time tasks (2004)
  16. Hsiung, Pao-Ann; Lin, Shang-Wei: Formal design and verification of real-time embedded software (2004)
  17. Krčál, Pavel; Yi, Wang: Decidable and undecidable problems in schedulability analysis using timed automata (2004)
  18. Amnell, Tobias; Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul; Yi, Wang: TIMES -- a tool for modelling and implementation of embedded systems (2002)
  19. Fersman, Elena; Pettersson, Paul; Yi, Wang: Timed automata with asynchronous processes: Schedulability and decidability (2002)