In conjunction with ECMFA 2013 Conference

EIAC-RTESMA’13 Workshop

European Industrial & Academic Collaborations on
Real Time & Embedded Systems Modelling and Analysis


Montpellier, France, one day in 1-2 july 2013

Important Dates

Submission deadline:Notification acceptance:

Final version papers:

EIAC-RTESMA’12 Workshop

19 April, 2013

17 May, 2013

     14 June, 2013

1 or 2 July, 2013

Organisers Committee

Michel BourdellèsLaurent RiouxSebastien Gérard THALES C&S, FranceTHALES R&T, FranceCEA-LIST, France

Program Committee (expected)

Francis Bordeleau Prismtech, UK
Davide Brugali
Ian Broster
University di Bologna, IT
Rapita Systems, UK
Andreas Graf Itemis, DE
Rafik Henia THALES R&T, FR
Vangellis Kollias Teletel, GRE
Frederic Mallet INRIA, FR
Thomas Vergnaud
Christina Vicente-Chicote
Univ. Politécnica de Cartagena, ES

Submission Guidelines

Authors have to apply by sending a paper/abstract (4-10 pages) in PDF or PS. The paper must conform to the Springer LNCS formatting guidelines: (the same format of the Conference, see conference website for more information).

Authors of accepted papers shall prepare and submit a final version of their paper. The deadline for these final versions is 14 June 2013. Each accepted paper will be electronically published in the Workshop website and given in hardcopy form to each participant.

GoalsA 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