Developing U PPAAL over 15 years

Gerd Behrmann; Alexandre David; Kim Guldstrand Larsen; Paul Pettersson; Wang Yi

doi:10.1002/spe.1006

Developing U PPAAL over 15 years

Gerd Behrmann
, Alexandre David^*
, Kim Guldstrand Larsen
, Paul Pettersson
, Wang Yi

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

79 Scopus citations

Abstract

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.

Original language	English
Pages (from-to)	133-142
Number of pages	10
Journal	Software - Practice and Experience
Volume	41
Issue number	2
DOIs	https://doi.org/10.1002/spe.1006
State	Published - Feb 2011
Externally published	Yes

Keywords

U PPAAL
development
model-checker
real-time

Access to Document

10.1002/spe.1006

Cite this

@article{7d7f81164c6c4727bf477a41d89ae220,

title = "Developing U PPAAL over 15 years",

abstract = "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.",

keywords = "U PPAAL, development, model-checker, real-time",

author = "Gerd Behrmann and Alexandre David and Larsen, \{Kim Guldstrand\} and Paul Pettersson and Wang Yi",

year = "2011",

month = feb,

doi = "10.1002/spe.1006",

language = "英语",

volume = "41",

pages = "133--142",

journal = "Software - Practice and Experience",

issn = "0038-0644",

publisher = "John Wiley and Sons Ltd",

number = "2",

}

TY - JOUR

T1 - Developing U PPAAL over 15 years

AU - Behrmann, Gerd

AU - David, Alexandre

AU - Larsen, Kim Guldstrand

AU - Pettersson, Paul

AU - Yi, Wang

PY - 2011/2

Y1 - 2011/2

N2 - 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.

AB - 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.

KW - U PPAAL

KW - development

KW - model-checker

KW - real-time

UR - https://www.scopus.com/pages/publications/79251500346

U2 - 10.1002/spe.1006

DO - 10.1002/spe.1006

M3 - 文章

AN - SCOPUS:79251500346

SN - 0038-0644

VL - 41

SP - 133

EP - 142

JO - Software - Practice and Experience

JF - Software - Practice and Experience

IS - 2

ER -

Developing U PPAAL over 15 years

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this