DMCA
UPPAAL -- Present and Future (2001)
| Citations: | 29 - 3 self |
BibTeX
@MISC{Behrmann01uppaal--,
author = {Gerd Behrmann and Kim G. Larsen and Oliver Möller and Alexandre David and Paul Pettersson and Wang Yi},
title = {UPPAAL -- Present and Future},
year = {2001}
}
Share
 |
 |
 |
 |
||
OpenURL
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.
