Introduction
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.
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