Logotype Mälardalenn University

MRTC publications



Developing UPPAAL over 15 years

Authors: Gerd Berhmann (Aalborg University, Denmark), Alexandre David (Aalborg University, Denmark), Kim Guldstrand Larsen (Aalborg University, Denmark), Paul Pettersson, Wang Yi (external)
Source: Workshop on Tool Building in Formal Methods
 

Abstract

Uppaal is a tool suitable for model checking real-time systems described as networks of timed automata communicating by channel synchronizations and extended with integer variables. Its first version was released in 1995 and its development is still very active. It now features an advanced modelling language, a user-friendly graphical interface, and a performant model checker engine. In addition, several flavors of the tool have matured in recent years. In this paper, we present how we managed to maintain the tool during 15 years, its current architecture with its challenges, and we give future directions of the tool.
 

BibTeX entry

@inproceedings{Berhmann_2118:2010,
   author = {Gerd Berhmann and Alexandre David and Kim Guldstrand Larsen and Paul Pettersson and Wang Yi},
   title = {Developing UPPAAL over 15 years},
   booktitle = {Workshop on Tool Building in Formal Methods},
   month = {February},
   year = {2010},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2118},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2012.08.24