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

^*此作品的通讯作者

NORDUnet A/S
Aalborg University
Mälardalen University
Uppsala University

科研成果: 期刊稿件 › 文章 › 同行评审

81 引用（Scopus）

摘要

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.

源语言	英语
页（从-至）	133-142
页数	10
期刊	Software - Practice and Experience
卷	41
期	2
DOI	https://doi.org/10.1002/spe.1006
出版状态	已出版 - 2月 2011
已对外发布	是

访问文件

10.1002/spe.1006

其它文件与链接

链接到 Scopus 的出版物

引用此

@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

摘要

访问文件

其它文件与链接

指纹

引用此