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

^*Corresponding author for this work

Aalborg University

Research output: Contribution to journal › Conference article › peer-review

78 Scopus citations

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.

Original language	English
Pages (from-to)	2881-2886
Number of pages	6
Journal	Proceedings of the IEEE Conference on Decision and Control
Volume	3
State	Published - 2001
Externally published	Yes
Event	40th IEEE Conference on Decision and Control (CDC) - Orlando, FL, United States Duration: 4 Dec 2001 → 7 Dec 2001

Cite this

@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

Abstract

Other files and links

Fingerprint

Cite this