RTES 2012 - First Workshop on European Industrial & Academic Collaborations on Real Time and Embedded Systems Modeling and Analysis

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 …), dealing with system modelling declined as formal, Component, Application/Platform allocation modelling, model transformation and analysis, process integration, test, functional & 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. Partners from collaborative projects are solicited to present industrial experiences of collaborations with tools providers and academics.
The concrete topics of interest are:
Integration on industrial processes.
Modelling of RTES (Application and Platform),
Component modelling,
Model transformation,
Design Space Exploration,
Functional and non-functional properties specification and verification,
Analysis of RTES,
Host and platform experimentations