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 22 articles , 1 standard article )

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

1 2 next

  1. Evrard, Hugues; Lang, Frédéric: Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous (2017)
  2. Alves, P.R.L.; Duarte, L.G.S.; da Mota, L.A.C.P.: A new method for improved global mapping forecast (2016)
  3. Alves, P.R.L.; Duarte, L.G.S.; da Mota, L.A.C.P.: Improvement in global forecast for chaotic time series (2016)
  4. Thomsen, Bent; Luckow, Kasper Søe; Leth, Lone; Bøgholm, Thomas: From safety critical Java programs to timed process models (2015)
  5. Andrychowicz, Marcin; Dziembowski, Stefan; Malinowski, Daniel; Mazurek, Łukasz: Modeling bitcoin contracts by timed automata (2014)
  6. Carli, H.; Duarte, L.G.S.; da Mota, L.A.C.P.: A Maple package for improved global mapping forecast (2014)
  7. Kanala, Roman; Fragnière, Emmanuel: Mixing behavioral and technological data in mathematical programming framework (2014)
  8. Li, Guoqiang; Cai, Xiaojuan; Yuen, Shoji: Modeling and analysis of real-time systems with mutex components (2012)
  9. Bucci, Giacomo; Carnevali, Laura; Ridi, Lorenzo; Vicario, Enrico: Oris: a tool for modeling, verification and evaluation of real-time systems (2010) ioport
  10. Hsiung, Pao-Ann; Lin, Shang-Wei; Lin, Chao-Sheng: Real-time embedded software design for mobile and ubiquitous systems (2010) ioport
  11. Brekling, Aske; Hansen, Michael R.; Madsen, Jan: Models and formal verification of multiprocessor system-on-chips (2008)
  12. Fersman, Elena; Krcal, Pavel; Pettersson, Paul; Yi, Wang: Task automata: Schedulability, decidability and undecidability (2007)
  13. Geniet, Dominique; Largeteau, Gaëlle: WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model (2007)
  14. Huang, Jinfeng; Voeten, Jeroen; Corporaal, Henk: Predictable real-time software synthesis (2007)
  15. Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul; Yi, Wang: Schedulability analysis of fixed-priority systems using timed automata (2006)
  16. Amnell, Tobias; Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul; Yi, Wang: TIMES: A tool for schedulability analysis and code generation of real-time systems (2004) ioport
  17. De Wulf, Martin; Doyen, Laurent; Markey, Nicolas; Raskin, Jean-François: Robustness and implementability of timed automata (2004)
  18. Fersman, Elena; Yi, Wang: A generic approach to schedulability analysis of real-time tasks (2004)
  19. Hsiung, Pao-Ann; Lin, Shang-Wei: Formal design and verification of real-time embedded software (2004)
  20. Krčál, Pavel; Yi, Wang: Decidable and undecidable problems in schedulability analysis using timed automata (2004)

1 2 next