UPPAAL - Present and Future

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

doi:10.1109/CDC.2001.980713

UPPAAL - Present and Future

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

78 Citations (Scopus)

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
Title of host publication	Proceedings of 40th IEEE Conference on Decision and Control 2001
Place of Publication	Piscataway, NJ
Publisher	IEEE
Pages	2881-2886
ISBN (Print)	0-7803-7061-9
DOIs	https://doi.org/10.1109/CDC.2001.980713
Publication status	Published - 2001
Externally published	Yes
Event	40th IEEE Conference on Decision and Control, CDC 2001 - Hyatt Regency Grand Cypress, Orlando, United States Duration: 4 Dec 2001 → 7 Dec 2001

Conference

Conference	40th IEEE Conference on Decision and Control, CDC 2001
Abbreviated title	CDC
Country/Territory	United States
City	Orlando
Period	4/12/01 → 7/12/01

Keywords

n/a OA procedure

Access to Document

10.1109/CDC.2001.980713

Cite this

@inproceedings{b823db20d94a48e5b18063fce57a6bab,

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

keywords = "n/a OA procedure",

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

year = "2001",

doi = "10.1109/CDC.2001.980713",

language = "English",

isbn = "0-7803-7061-9",

pages = "2881--2886",

booktitle = "Proceedings of 40th IEEE Conference on Decision and Control 2001",

publisher = "IEEE",

address = "United States",

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

}

TY - GEN

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.

KW - n/a OA procedure

U2 - 10.1109/CDC.2001.980713

DO - 10.1109/CDC.2001.980713

M3 - Conference contribution

SN - 0-7803-7061-9

SP - 2881

EP - 2886

BT - Proceedings of 40th IEEE Conference on Decision and Control 2001

PB - IEEE

CY - Piscataway, NJ

T2 - 40th IEEE Conference on Decision and Control, CDC 2001

Y2 - 4 December 2001 through 7 December 2001

ER -

UPPAAL - Present and Future

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this