The OMEGA toolset
The OMEGA UML profile
Publications and bibliography
Partners & Persons
Febuary 17, 2005
The workshop is organized by the consortium of the OMEGA project in
combination with the final project review. The aim of the OMEGA project
was the integration of formal verification techniques in a UML based
development for real-time and embedded systems. This led to
- the definition of a relatively complete UML
profile including real time for the expression of system models and
- the development of a tool set allowing to
simulate and analyse models and to check models against their
- a proof of feasability has been made on hand
of 4 case studies.
In all breaks and at the end of the day there will be demos of the
tools developed in the OMEGA project.
The Workshop will take place at the Maison Jean Kunzmann of the IMAG institute.
See also this page
for information on accomodation and venue at the VERIMAG laboratory
(which is within walking distance (15min) from the workshop site).
In order to participate please fill the following Registration form and send it to Claudia Laidet