International Workshop
MARTES: Modeling and Analysis of Real-Time and
Embedded Systems
hold on
October 4, 2005 in Montego Bay,
Jamaica
in conjunction with
8th International Conference on Model Driven Engineering Languages and
Systems, MoDELS/UML 2005
[Workshop overview
]
[Organizers]
[Call for Papers (poster)]
[Links]
[Programme, papers, slides]
[List of participants]
[MARTES home]
Topics: The OMG initiative, called MDA -- 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 for them to build application models that can be
conveniently ported to new, emerging technologies - implementation
languages, middleware, etc.- with minimal effort and risk in one hand,
but also that can be analyzed either directly or through a model
transformation toward a specific formal technological space in order
to validate or/and verify real-time properties such as for example
schedulability.
In the area of DRES (distributed, Real-time and Embedded Systems),
this model-oriented trend is also very active and promising. But DRES
are different from general-purpose systems. The purpose of this
workshop is to serve as an opportunity to gather researchers and
industrials in order to survey some existing experiments related to
modeling and model-based analysis of DRES.
Moreover in order to be able to exchange models with the aim to apply
formal validation tools and to achieve interoperability, it is
important to have also a common understanding of the semantics of the
given notations. Other important issues in the domain of real-time are
methodology and modeling paradigms allowing breaking down the
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, on the following principal topics:
- Modeling RT/E using UML
- How to specify real-time requirements and characteristics in
UML
- How to enhance 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
- 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.
Workshop History: This workshop is a merge of two series
of
complementary workshops that were dedicated to RT/E domains: SIVOES
and SVERTS.
SIVOES this workshop series has been
hosted by various conferences
(ECOOP, UML, FDTRT, RTAS): SIVOES 2000 and SIVOES'2001 associated to
the ECOOP conference, FDTRT'2000 and CIUML'2001, SIVOES-MONA 2002 and
"SIVOES: MDA" associated with the UML'2003 conference, "SIVOES: the
UML profile for Scheduling, Performance and Time" associated with the
10th IEEE RTAS 2004. All of these workshops had as their main theme
the application of the model paradigm to Distributed Real-time
Embedded Systems (DRES) development.
SVERTS this workshop has taken place
in 2003 and 2004, hosted by the
UML conferences in San Francisco and Lisbon. Both instances were
extremely successful (we had around 20 registered and almost 30
present participants). The presentations and papers selected are still
available at SVERTS
2004
and SVERTS 2003.
For both issues there have been proceedings distributed to
the participants, and in 2003 we edited a special issue of the
Springer Int. Journal on Software Tools for Technology Transfer (STTT)
which is appearing soon. The main topics of this workshop were the
handling of real-time issues in UML for allowing validation of both
functional and non functional properties. This workshop was an
initiative mainly by the European IST project OMEGA.
Invited speaker (to be announced later):
Submission and Dates
| Submission deadline: |
September 4, 2005 (provide title and abstract asap) |
| Notification of acceptance: |
September 8, 2005 |
| Deadline for early registration (on the MoDELS site): |
September 16, 2005 |
| Final versions due: |
September 25, 2005 |
| Workshop date: |
October 4, 2005 |
Publication
Workshop proceedings will be made available through the workshop
website.
A common postworkshop proceedings for all workshops has been published as LNCS volume 3297.
See program for MARTES related papers in this volume.
For inquiries please send
email to
Susanne.Graf@imag.fr or Sebastien.Gerard@cea.fr
