The new harbour (Ny Havn)  
   DTU Logo


Programme (overview)
 Monday, July 2 (overview)
 Tuesday, July 3 (overview)

Programme (tutorials)
 Tutorial 1 (Monday morning)
 Tutorial 2 (Monday afternoon)

Programme (main conference)

Follow us on twitter

First Workshop on European Industrial & Academic Collaborations on Real Time and Embedded Systems Modeling and Analysis (EIAC-RTESMA)

Monday, July 2, 900–1700, S12
organised by Michel Bourdellčs (Thales C&S, France), Laurent Rioux (Thales R&T, France), Sebastien Gerard (CEA-LIST, France)

A lot of European initiatives funded by the European Commission and/or directly by countries lead to experiment on the modelling of RTES from different industrial domains (Communications, Automotive, Space, Railway, etc.), dealing with system modelling declined as formal, Component, Application/Platform allocation modelling, model transformation and analysis, process integration, test, functional and non-functional properties verification, methodology adaptation, requirements traceability, real platform results confrontation. The objective of this workshop is to present ongoing industrial/academic current work on the modelling and analysis of real time and embedded systems. A particular attention will be given on successful stories in the integration and assessment on the exploitation of R&D improvements on industrial designs.

Program (room S12)

1000–1010 Welcome & Agenda

1010–1210 Presentations
RT-SIMEX: Performance Retro-modelling (Laurent RIOUX, THALES Research and Technology)

Principles and Tool for Time- and Space-Partitioned Systems (José Rufino, Faculty of Sciences of University of Lisbon)

MADES: An effective UML/SysML/MARTE methodology for Real-Time Embedded Systems design and implementation (Imran Quadri, Softeam)

PRESTO: Results from execution trace analysis (Shuai Li, THALES Communications & Security)

1230–1330 Lunch break

1400 – 1600 Presentations
ENOSYS: Integrated modeling and synthesis tool flow for embedded system design (Etienne Brosse, Softeam)

VERDE: Industrial results on component based modelling analysis (Olivier Hachet, THALES Communications & Security)

MAENAD: Model-based Analysis & Engineering of Novel Architect-ures for Dependable Electric Vehicles (Ernest Wozniak, CEA LIST)

1600–1700 Open discussion and projects