VisualUL 1.0

Example HR


VisualUL is a graphical user interface to edit UL++ which is an object oriented language to model real time systems. This work has been carried out as my Msc project. This program is a prototype and aims at showing that an object oriented approach may be useful to model systems with timed automata.
UL++ stands for UPPAAL language++. UPPAAL is a verification tool developed jointly by Uppsala University and Aalborg University which uses timed automata. UL++ brings hierarchy and object orientation to UPPAAL to ease the modeling task and the verification task.
This page is not intended to be an exhaustive manual, but a short introduction on VisualUL. The interested user should read the Msc report for more information on UL++ .
One interesting feature of VisualUL is that it is able to translate a system description in UL++ to UPPAAL so that verification and even simulation can be performed with the existing tool.

Example HR

Jump station

The file menu : load and save
The options menu : customize the behaviour
The help menu : quick information
Modeling : a quick mode of use
Bugs and defects
Internationalization issues