[Apologies in case you receive multiple copies of this message.]
*** Call for ContributionsParticipation ***
SVERTS 2004
SECOND INTERNATIONAL WORKSHOP ON
SPECIFICATION AND VALIDATION OF UML MODELS FOR REAL TIME AND EMBEDDED SYSTEMS
October 11, 2004, Lisbon, Portugal
http://www-verimag.imag.fr/EVENTS/2004/SVERTS/
hold in conjunction with the
7th INTERNATIONAL CONFERENCE ON THE UNIFIED MODELING LANGUAGE, UML 2004
October 11 - 15, 2004, Lisbon, Portugal
http://www.umlconference.org/
Today's applications have often strong constraints with respect to time related
aspects. UML aims at providing an integrated modelling framework encompassing
architecture descriptions and behaviour descriptions. A first step to the
integration of time related characteristics into the modelling framework has
been achieved by the "UML profile for schedulability, Time and Performance".
It provides the basic concepts and a first attempt for a common syntax. Never-
theless, in order to be able to exchange models and to build validation tools,
it is important to have a common understanding of the semantics of the given
notations. Other important issues in the domain of real-time is methodology and
modeling paradigms allowing to break down the complexity, and tools which are
able to verify well designed systems. This workshop should bring together
participants from academia and industry to discuss different time related issues
in the context of modeling and design of real-time systems. The workshop aims
to discuss the needs and possible solutions for handling time, scheduling and
architecture related issues which should help to define a work program in this
field.
TOPICS
The workshop topics include:
- Modeling RT using UML
o How to specify real-time requirements and characteristics in UML
o How to enhance UML to capture real time in a convenient manner
o Declarative versus operational real-time specifications
o Notations for defining the architecture of heterogeneous systems
- Semantic aspects of real-time in UML
o Formal semantics, semantic integration of heterogeneous systems
o Interpretations of annotations
- Methods and tools for the validation of RT systems and components
o Ensure consistency of timing constraints throughout the system
o Validation of time and scheduling related properties
o Validation of functional properties of time dependent systems
PROGRAMME COMMITTEE
Felice Balarin - Berkeley, USA
Bruce Douglass - I-Logix
Sébastien Gérard - CEA-LIST, France
Susanne Graf - Verimag, France
Řystein Haugen - University of Oslo, Norway
David Harel - Weizmann Institute, Israel
Jozef Hooman - Univ. Nijmegen
Ileana Ober - Verimag, France
Birger Mřller-Pedersen - Univ of Oslo, Norway
Robert G. Pettit - The Aerospace Corporation, USA
Gianna Reggio - University of Genova, Italy
Alan Moore - Artisan, UK
Ina Schieferdecker - Fraunhofer Fokus
Bran Selic - IBM, Canada
Yves Sorel - INRIA, France
Thomas Weigert - Motorola, Chicago
-----------
you received this e-mail via the address
[log in to unmask]
|