MARTES 2008

October 1-31, 2008       Toulouse, France organised and funded by ARTIST 

Modeling and Analysis of Real-Time and Embedded Systems

Context

In the area of distributed, real-time and embedded systems (DRES), model-orientation has been applied fruitfully for many years. 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 model-based design and analysis of DRES.

DRES have been designed in a model-oriented way since the forerunners of UML SDL and ROOM. The MDA initiative of OMG — for "Model Driven Architecture" – follows up by the idea that future process development will be centered on 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.

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 validate and verify well-designed systems taking into account their real-time and embedded specificities.

Workshop Topics

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 and full papers 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.

Submission and Dates

We solicit both abstracts (about 5 pages long) and full papers (not more than 15 pages) on the topics mentioned above.
Submission deadline: August 1st, 2007 (Provide title and small abstract asap)
Notification of acceptance: Around August 10th, prior to the MoDELS deadline for early registration
Final versions due: September 15, 2007
Workshop date: October 2nd, 2007

Publication

Workshop proceedings will be published as a technical report of one of the organizer’s institution, and will be available through the workshop website.
A common postworkshop proceedings for all MoDELS workshops is planned as LNCS volume.

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

(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009

Réalisation Axome - Création de sites Internet