TIMES swMATH ID: 1403 Software Authors: H. Carli, L.G.S. Duarte, L.A.C.P. da Mota Description: 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. Homepage: http://cpc.cs.qub.ac.uk/summaries/AERW_v1_0.html Keywords: modelling; embedded systems Related Software: Uppaal; LinMapTS; Maple; Kronos; SPIN; TISEAN; IMITATOR; ISLR; Matlab; MCGP; XTL; LNT2LOTOS; DLC; UNITY; Exp.Open; Reo; CADP; LOTOS; M-TREE; BISIMULATOR Cited in: 24 Publications Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year A Maple package for improved global mapping forecast. Zbl 1360.62012Carli, H.; Duarte, L. G. S.; da Mota, L. A. C. P. 2014 all top 5 Cited by 45 Authors 6 Yi, Wang 5 Alves, Paulo Ricardo L. 5 da Mota, Luis Antonio Campinho Pereira 5 Duarte, L. G. S. 5 Fersman, Elena 4 Pettersson, Paul 2 Krčál, Pavel 2 Mokrushin, Leonid 1 Amnell, Tobias 1 Andrychowicz, Marcin 1 Bøgholm, Thomas 1 Brekling, Aske Wiid 1 Cai, Xiaojuan 1 Carli, H. 1 Corporaal, Henk 1 De Wulf, Martin 1 Doyen, Laurent 1 Dziembowski, Stefan 1 Evrard, Hugues 1 Fragnière, Emmanuel 1 Geniet, Dominique 1 Gruner, Stefan 1 Hansen, Michael Reichhardt 1 Hsiung, Pao-Ann 1 Huang, Jinfeng 1 Kanala, Roman 1 Lang, Frédéric 1 Largeteau, Gaëlle 1 Lee, Insup 1 Leth, Lone 1 Li, Guoqiang 1 Lin, Shangwei 1 Luckow, Kasper Søe 1 Madsen, Jan 1 Malinowski, Daniel 1 Markey, Nicolas 1 Mazurek, Łukasz 1 Nxumalo, Madoda 1 Philippou, Anna 1 Raskin, Jean-François 1 Sokolsky, Oleg 1 Thomsen, Bent 1 Timm, Nils 1 Voeten, Jeroen P. M. 1 Yuen, Shoji all top 5 Cited in 10 Serials 3 Computer Physics Communications 2 Chaos, Solitons and Fractals 2 Theoretical Computer Science 2 The Journal of Logic and Algebraic Programming 1 Mathematics and Computers in Simulation 1 Information and Computation 1 Real-Time Systems 1 International Journal of Foundations of Computer Science 1 Nordic Journal of Computing 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 8 Fields 20 Computer science (68-XX) 4 Dynamical systems and ergodic theory (37-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Statistics (62-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year