OMEGA Technical Meeting: Paris - March 2004

Schedule

Day 1 Technical presentations and business meeting

Day 2 Group discussions and technical talks

Day 3 Group discussions

Abstracts

1. "Template MSCs" Anca Muscholl and Blaise Genest (LIAFA, Univ. Paris VII)
   Abstract: Message sequence charts (MSC) are a graphical language for the description of communication scenarios between asynchronous processes. Our starting point is to model systems using an assume-guarantee formalism, in the style of LSCs and Triggered MSCs. We enrich MSCs with the possibility of using gaps (template MSC), and show their expressivity. This formalism also allows to express logical formulas. We analyze the model-checking problem, whose complexity is linear in the size of the system, and ranges from PTIME to EXPSPACE in the size of the template formula.
2. "Optimization of Real-Time Distributed Embedded Systems" Yves Sorel (INRIA)
   Abstract: First, we present the AAA methodology based on graph models in order to specify application algorithm, physical architecture, as well as all the possible implementations in terms of graphs transformations. Then, we explain how it is possible to find among all the possible implementations, an optimized implementation, which satisfies real-time en embedding constraints. This leads to solve distribution and scheduling problems. From this optimized implementation we automatically generate on the one hand dedicated real-time distributed executives, and on the other hand configuration of standard executives like RTlinux or Osek. Second, we present the SynDEx system level CAD software that supports the AAA methodology and give some examples.
3. "Model Driven Engineering for Distributed Real-time Embedded Systems: the ACCORD/UML methodology." Francois Terrier (CEA)
   Abstract: The presentation will present results of AIT-WOODDES (IST project) and ACOTRIS (French RNTL project) that have participated to the refinement of the ACCORD/UML methodology. Three main points will be shortly illustrated: the development process, the modelling key points and model transformations for implementation and validation purposes.
4. "Rule based XML transformers" Frank de Boer and Joost Jacob, CWI
   Abstract:
5. "Synthesis of statemachines from LSC" Hillel Kugler, Weizmann
   Abstract:
6. "The Omega real-time and scheduling profile"Susanne Graf & Iulian Ober, Verimag
   Abstract: We describe an approach for real-time modeling in UML focusing on analysis and verification of time and scheduling related properties. We show that the use of timed events, representing instant of state changes, provides the right level of abstraction for reasoning about timed computations. This is also, at notation level, the choice of the OMG UML Real-Time Profile. We identify important events and duration expressions, as well as the concepts needed for scheduling analysis in the context of the Omega UML profile. The originality of the approach is that it provides a formal semantics of the time related primitives - which is independent of the dynamic semantics of the functional part - in terms of OCL.