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

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

1 2 next

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

1 2 next