UPPAAL - Present and future

Gerd Behrmann; Kim G. Larsen; Oliver Möller; Alexandre David; Paul Pettersson; Wang Yi

UPPAAL - Present and future

Gerd Behrmann^*
, Kim G. Larsen
, Oliver Möller
, Alexandre David
, Paul Pettersson
, Wang Yi

^*此作品的通讯作者

Aalborg University

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

79 引用（Scopus）

摘要

UPPAAL is a tool for modelling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala University. The tool is appropriate for systems that can be modelled as a collection of non-deterministic processes with finite control structure and real-valued clocks, communicating through channels or shared variables. Typical application areas include real-time controllers and communication protocols in particular, those where timing aspects are critical. In this paper, we review the status of the currently distributed version of the tool as well as facilities to be found in upcoming releases.

源语言	英语
页（从-至）	2881-2886
页数	6
期刊	Proceedings of the IEEE Conference on Decision and Control
卷	3
出版状态	已出版 - 2001
已对外发布	是
活动	40th IEEE Conference on Decision and Control (CDC) - Orlando, FL, 美国期限: 4 12月 2001 → 7 12月 2001

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{0b9141ad882d416eb49171639d972edc,

title = "UPPAAL - Present and future",

abstract = "UPPAAL is a tool for modelling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala University. The tool is appropriate for systems that can be modelled as a collection of non-deterministic processes with finite control structure and real-valued clocks, communicating through channels or shared variables. Typical application areas include real-time controllers and communication protocols in particular, those where timing aspects are critical. In this paper, we review the status of the currently distributed version of the tool as well as facilities to be found in upcoming releases.",

author = "Gerd Behrmann and Larsen, \{Kim G.\} and Oliver M{\"o}ller and Alexandre David and Paul Pettersson and Wang Yi",

year = "2001",

language = "英语",

volume = "3",

pages = "2881--2886",

journal = "Proceedings of the IEEE Conference on Decision and Control",

issn = "0743-1546",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

note = "40th IEEE Conference on Decision and Control (CDC) ; Conference date: 04-12-2001 Through 07-12-2001",

}

TY - JOUR

T1 - UPPAAL - Present and future

AU - Behrmann, Gerd

AU - Larsen, Kim G.

AU - Möller, Oliver

AU - David, Alexandre

AU - Pettersson, Paul

AU - Yi, Wang

PY - 2001

Y1 - 2001

N2 - UPPAAL is a tool for modelling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala University. The tool is appropriate for systems that can be modelled as a collection of non-deterministic processes with finite control structure and real-valued clocks, communicating through channels or shared variables. Typical application areas include real-time controllers and communication protocols in particular, those where timing aspects are critical. In this paper, we review the status of the currently distributed version of the tool as well as facilities to be found in upcoming releases.

AB - UPPAAL is a tool for modelling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala University. The tool is appropriate for systems that can be modelled as a collection of non-deterministic processes with finite control structure and real-valued clocks, communicating through channels or shared variables. Typical application areas include real-time controllers and communication protocols in particular, those where timing aspects are critical. In this paper, we review the status of the currently distributed version of the tool as well as facilities to be found in upcoming releases.

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

M3 - 会议文章

AN - SCOPUS:0035711038

SN - 0743-1546

VL - 3

SP - 2881

EP - 2886

JO - Proceedings of the IEEE Conference on Decision and Control

JF - Proceedings of the IEEE Conference on Decision and Control

T2 - 40th IEEE Conference on Decision and Control (CDC)

Y2 - 4 December 2001 through 7 December 2001

ER -

UPPAAL - Present and future

摘要

其它文件与链接

学术指纹

引用此