IST-2001-33522 OMEGA

Correct Development of Real-Time Embedded Systems

The OMEGA Workshop

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


(Re-)Login






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
slides
10:15 - 10:45 -- COFFEE --
10:45 - 11:30 UML2.0 with the focus on components Birger Møller-Pedersen, University of Oslo. abstract
slides
11:30 - 12:15 Model driven engineering. Myths and reality Jacky Estublier, LSR/CNRS Grenoble abstract
slides
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
slides
14:15 - 15:00 IF simulation and verification tool for UML and IF for components. Marius Bozga, Iulian Ober Susanne Graf - VERIMAG abstract
slides
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
slides
16:15 - 16:45 Ariane 5 flight program timing verification. David Lesens - EADS abstract
slides
16:45 - 17:15 A component based depannage service modelled with LSC. Pierre Combes - FTR&D and Hillel Kugler - Weizmann Inst. abstract
slides
17:15 - 17:45 Timing analysis of a voting monitor with 2 CPUs using LSC and IF. Meir Zenou - IAI abstract
slides


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)
(Re-)Login 		For comments about this site please contact the webmaster