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

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

1 2 next

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

1 2 next