International Workshop

MARTES: Modeling and Analysis of Real-Time and Embedded Systems

to be held on

October 2, 2006 in Genova, Italy

in conjunction with

the 9th International Conference on Model Driven Engineering Languages and Systems, MoDELS/UML 2006

The workshop overview published in LNCS 4364 is available here

The participants list is available here

The participant's proceedings are available as a research report at Oslo University. Printed copies will be available during the workshop.

Topics: The MDA initiative of OMG -- for "Model Driven Architecture" puts forward the idea that future process development will be centred around models, thus keeping application development, and underlying platform technology as separate as possible. The aspects influenced by the underlying platform technology concern mainly non-functional aspects and communication primitives.
The first significant result of the MDA paradigm for engineers is the possibility of building application models that can be conveniently ported to new, emerging technologies (implementation languages, middleware, etc.) with minimal effort and risk . In addition, it offers the potential for models to be analyzed either directly or through a model transformation to validate or/and verify real-time properties such schedulability and performance.
In the area of distributed, real-time and embedded systems (DRES), this model-oriented trend is also very active and promising. However, DRES have some very specific requirements.. The purpose of this workshop is to provide an opportunity to gather researchers and industrial practitioners to survey existing efforts related to modeling and model-based analysis of DRES.
Moreover, to exchange models with the aim of applying formal validation tools and achieving interoperability, it is also important to have a common understanding of the semantics of the modeling notations. Other important issues in the domain of real-time are methodology and modeling paradigms to reduce complexity, and tools which are able to verify well-designed systems.
This workshop seeks contributions from researchers and practitioners interested in all aspects of the representation, analysis, and implementation of DRES models. To achieve this purpose, we solicit both abstracts (about 4 pages long) and full papers (not more than 20 pages) related to, but not limited to, the following principal topics:

Modeling RT/E using modeling languages such as UML
- How to specify real-time requirements and characteristics in modelling languages
- How to enhance modelling languages such as UML to capture real time, embedded and distributed aspects in a convenient manner
- Declarative versus operational real-time specifications
- Notations for defining the architecture of heterogeneous systems
- Behaviour Modeling
- RT/E platforms modeling, integration of scheduling aspects
Semantic aspects of real-time in UML and similar modeling languages
- Formal semantics, in particular, semantic integration of heterogeneous systems
- Interpretations of annotations
- Executability of models
Methods and tools for analysis of RT systems and components
- Ensure consistency of timing constraints throughout the system
- Validation of time and scheduling related properties
- Validation of functional properties of time dependent systems

The workshop aims to gather people from academia and industry to discuss the needs and possible solutions for handling Modeling, semantic and validation related issues which should help to define a work programme in the context of model based Development.

Invited speaker (to be announced later):

Submission and Dates

Submission deadline:	August 30, 2006 (Provide title and small abstract asap)
Notification of acceptance:	September 9, 2006, prior to the deadline for early registration
Deadline for early registration (on the MoDELS site):	to be announced
Final versions due:	September 27, 2006
Workshop date:	October 2, 2006

Publication
Workshop proceedings will be made available through the workshop website.
A common postworkshop proceedings for all workshops is planned as LNCS volume.
Furthermore, we consider a selection of papers for publication in a suitable technical journal.

For inquiries please send email to Susanne.Graf@imag.fr or Sebastien.Gerard@cea.fr