Developing UPPAAL over 15 years

被引：54
作者：
Behrmann, Gerd [2 ]
David, Alexandre [1 ]
Larsen, Kim Guldstrand [1 ]
Pettersson, Paul [3 ]
Yi, Wang [4 ]
机构：
[1] Aalborg Univ, Dept Comp Sci, Aalborg, Denmark
[2] NORDUnet AS, Copenhagen, Denmark
[3] Malardalen Univ, Malardalen Res & Technol Ctr, Vasteras, Sweden
[4] Uppsala Univ, Dept Informat Technol, Uppsala, Sweden
来源：
SOFTWARE-PRACTICE & EXPERIENCE | 2011年 / 41卷 / 02期
关键词：
UPPAAL; real-time; model-checker; development; MODEL-CHECKING; TIMED AUTOMATA; VERIFICATION; ALGORITHMS; PROTOCOL; DESIGN; TOOL;
D O I：
10.1002/spe.1006
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
UPPAAL is a tool suitable for model checking real-time systems described as networks of timed automata communicating by channel synchronizations and extended with integer variables. Its first version was released in 1995 and its development is still very active. It now features an advanced modeling language, a user-friendly graphical interface, and a performant model checker engine. In addition, several flavors of the tool have matured in recent years. In this paper, we present how we managed to maintain the tool during 15 years, its current architecture with its challenges, and we give the future directions of the tool. Copyright (C) 2011 John Wiley & Sons, Ltd.
引用
收藏
页码：133 / 142
页数：10
相关论文
共 44 条
  • [1] Adaptive Scheduling of Data Paths using Uppaal Tiga
    AlAttili, Israa
    Houben, Fred
    Igna, Georgeta
    Michels, Steffen
    Zhu, Feng
    Vaandrager, Frits
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2009, (13): : 1 - 11
  • [2] ALUR R, 1990, LECT NOTES COMPUT SC, V443, P322, DOI 10.1007/BFb0032042
  • [3] Amnell T, 2002, LECT NOTES COMPUT SC, V2280, P460
  • [4] [Anonymous], THESIS U TWENTE
  • [5] Arnaud Y., 2009, 7 WORKSH ADV CONTR D
  • [6] On probabilistic timed automata
    Beauquier, D
    [J]. THEORETICAL COMPUTER SCIENCE, 2003, 292 (01) : 65 - 84
  • [7] Behrmann G., 2004, Formal Methods for Components and Objects. Third International Symposium, FMCO 2004. Revised Lectures (Lecture Notes in Computer Science Vol. 3657), P162
  • [8] Behrmann G., 2001, Hybrid Systems: Computation and Control. 4th International Workshop, HSCC 2001. Proceedings (Lecture Notes in Computer Science Vol.2034), P147
  • [9] BEHRMANN G, LECT NOTES COMPUTER, V2648, P225
  • [10] BEHRMANN G, 2001, LECT NOTES COMPUTER, V2301, P174
12345