WORKSHOP OVERVIEW
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.
The MARTES workshop is a merge of two series of complementary
workshops that were dedicated to RT/E systems and UML and which had
both taken place, amongst others, as workshops associated with the UML
conferences, the predecessor of MODELS:
SIVOES
and SVERTS.
TOPICS
The workshop topics include:
- 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
WORKSHOP FORMAT
This full-day workshop will consist of an
introduction of the topic by the workshop organizers, an invited
presentation (to be determined), presentations of accepted papers, and
in depth discussion of previously identified subjects emerging from
the submissions (the form of the discussion will depend on the number
and nature of the identified subjects). A summary of the discussion
will be made available.
SUBMISSION & PUBLICATION
To contribute to this workshop, please send a position paper or a
technical contribution to Susanne
Graf or Sebastien Gerard
via
e-mail. Position papers should not exceed 5 pages, and technical
papers 20 pages. Preferably, submissions should be in postscript or
pdf format.
Accepted submissions will be placed on the Workshop web
site. Furthermore, a selection will be considered for publication in a
suitable technical journal following an agreement with an interested
publisher (e.g. a selection of the SVERTS 2003 papers will appear
shortly as a special section of Springer STTT journal).
IMPORTANT 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 |
ORGANISERS
Organisers:
Sebastien Gerard (CEA,
France)
Susanne Graf
(Verimag, Grenoble, France)
Øystein Haugen
(Univ. of Oslo, Norway)
Iulian Ober
(ISYCOM, U. Toulouse, France)
Bran Selic (IBM, Canada)
PROGRAMME COMMITTEE
Daniel Amyot (U. of Ottawa, Canada)
Jean-Philippe Babau (INSA Lyon, France)
Heiko Doerr (Daimler Chrysler, Germany)
Peter Feiler (CMU, Software Institute, US)
Eran Gery (I-Logix)
Sebastien Gerard
(CEA-LIST, France)
Holger Giese (Univ. of Paderborn, Germany)
Susanne Graf
(Verimag, France)
Øystein Haugen
(Univ. of Oslo, Norway)
Jozef Hooman
(Embedded Systems Institute & Univ. of Nijmegen, NL)
Bengt Jonsson (Uppsala, Sweden)
Iulian Ober (ISYCOM, U. Toulouse, France)
Dorina Petriu (Carleton U., Canada)
Alan Moore (Artisan)
Bran Selic (IBM, Canada)
Richard Sanders (Sintef, Norway)
Thomas Weigert
(Motorola, Chicago)
Susanne Graf
Last modified: Tue Aug 30 18:45:53 CEST 2005
