UPPAAL - present and future

Author

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

Author_Institution

Basic Res. in Comput. Sci., Aalborg Univ., Denmark

Volume

3

fYear

2001

fDate

2001

Firstpage

2881

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

control system CAD; digital simulation; graphical user interfaces; protocols; real-time systems; software tools; Aalborg University; UPPAAL; Uppsala University; car locking system; communication protocols; digital simulation; graphical user interface; modelling tool; real-time systems; Automata; Clocks; Command languages; Computational modeling; Computer science; Computer simulation; Graphical user interfaces; Protocols; Real time systems; Timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 2001. Proceedings of the 40th IEEE Conference on

Conference_Location

Orlando, FL

Print_ISBN

0-7803-7061-9

Type

conf

DOI

10.1109/.2001.980713

Filename

980713