IST-2001-33522 OMEGA

Correct Development of Real-Time Embedded Systems

The OMEGA Workshop

The OMEGA toolset
The OMEGA UML profile
Case studies
Publications and bibliography
Download documents
Partners & Persons
     OMEGA workshop
Related links


OMEGA Workshop

Febuary 17, 2005

Grenoble, France

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 their properties
     - the development of a tool set allowing to simulate and analyse models and to check models against their properties.
     - a proof of feasability has been made on hand of 4 case studies.

Workshop programme        [Detailed programme]

09:15 - 09:30 Welcome and Introduction
Morning session: invited talks (09:30-12:15)
09:30 - 10:15 The Fractal component model - Foundations, Pragmatics and Calculus Jean-Bernard Stefani, INRIA Grenoble abstract
10:15 - 10:45 -- COFFEE --
10:45 - 11:30 UML2.0 with the focus on components Birger Møller-Pedersen, University of Oslo. abstract
11:30 - 12:15 Model driven engineering. Myths and reality Jacky Estublier, LSR/CNRS Grenoble abstract
Buffet Lunch (12h15-13h30)
Afternoon session: Results from the OMEGA project
13:30 - 13:40 Short overview on the Omega project Susanne Graf - VERIMAG slides
13:40 - 14:15 Semantic Considerations in Omega. Frank de Boer - CWI, Bernhard Josko - OFFIS abstract
14:15 - 15:00 IF simulation and verification tool for UML and IF for components. Marius Bozga, Iulian Ober Susanne Graf - VERIMAG abstract
15:00 - 15:30 -- COFFEE --
Omega Tools and Case studies
15:30 - 16:15 Overview on the toolset and the modelling and verification of the Mars case study Yuri Yushtein - Kiel Univ. and Jozef Hooman - Nijmegen Univ. abstract
16:15 - 16:45 Ariane 5 flight program timing verification. David Lesens - EADS abstract
16:45 - 17:15 A component based depannage service modelled with LSC. Pierre Combes - FTR&D and Hillel Kugler - Weizmann Inst. abstract
17:15 - 17:45 Timing analysis of a voting monitor with 2 CPUs using LSC and IF. Meir Zenou - IAI abstract

In all breaks and at the end of the day there will be demos of the
tools developed in the OMEGA project.

Workshop location

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

Workshop registration

In order to participate please fill the following Registration form and send it to Claudia Laidet

You are currently authenticated as omegapublic (level 0)
For comments about this site please contact the webmaster