Title :
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
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;
Conference_Titel :
Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-7061-9
DOI :
10.1109/.2001.980713
