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.