New features

UPPAAL 3.6 is the result of over 2 years of development. It is more userfriendly, has more features and is faster than UPPAAL 3.4. The following is a summary of the most important improvements.

Performance

Runtime and memory consumption has been reduced. For some models, a drastic reduction is obtained, whereas for other models runtime is comparable to 3.4.

• New and improved abstractions provide dramatic performance improvements for some models.
• Memory management has been improved, giving a typical reduction of a factor of 3 to 5 in memory consumption. This does come at a minor cost in performance.
• The generalised sweep line measure has been implemented in UPPAAL. To use this feature, you need to define some progress measures.
• Symmetry reduction.

Language

The modelling language has been extended with new data types and user defined functions. At the same time a number of inconsistencies have been eliminated in the language. As a consequence most 3.4 models need minor adjustments in order to work with 3.6. However, the GUI can convert most 3.4 models to the new syntax automatically. The following is a summary of changes.

• New types:
  • Record types.
  • Type declarations.
  • Meta variables.
  • Scalars.
• Template sets.
• User defined functions.
• For all and exist quantifiers in expressions.
• Non-deterministic choice on edges.
• Minor adjustments to more closely follow the syntax of C/C++/Java, including:
  • Declaration of constants.
  • Assignment operator changed from := to =.
  • Explicit declaration of whether parameters use call by value and call by reference semantics.

Graphical User Interface

A number of long standing issues in the graphical user interface have been fixed. Although we feel that the improvements greatly enhance the user experience, most of the changes are minor.

• Support for undoing and redoing changes in the model.