8th European Conference on
July 2-5, 2012, Technical University of Denmark |
 |
First Workshop on European Industrial & Academic Collaborations on Real Time and Embedded Systems Modeling and Analysis (EIAC-RTESMA)
Monday, July 2, 900–1700, S12organised 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 |