Developing UPPAAL over 15 years

被引：56

作者：

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 [J].

AlAttili, Israa ;

Houben, Fred ;

Igna, Georgeta ;

Michels, Steffen ;

Zhu, Feng ;

Vaandrager, Frits .

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 [J].

Beauquier, D .

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

← 1 2 3 4 5 →