International Workshop

SVERTS: Specification and Validation of UML models for Real Time and Embedded Systems



hold on

October, 20, 2003 at Fort Mason Center, San Francisco

in conjunction with

Sixth International Conference on the Unified Modeling Language, UML 2003"




[Final Programme with papers and presentations NEW ] [Participants NEW] [Organizers] [Links] [Call for Papers]

Topic: Today's applications have often strong constraints with respect to time related aspects. Moreover, overall systems may be huge, and even if the embedded hard real-time components are relatively small, there is some global interdependence and the existence of a global model in a uniform framework is an important issue. The Unified Modeling Language UML can play this role, even if the real-time aspects are not really integrated today. The definition of UML has been motivated by the need for a standard notation for modelling system architectures and behaviours at functional and implementation level. UML aims at providing an integrated modelling framework encompassing architecture descriptions and behaviour descriptions. A first step to the integration of extra functional 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. Nevertheless, in order to be able to exchange models and to build validation tools, 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 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 researchers to discuss different time related issues in the context of modeling, design and validation of real-time systems, such as

The workshop aims to gather people from academia and industry to discuss the needs and possible solutions for handling time related issues which should help to define a work programme in this field.


Submission and Dates
Submission deadline: September 1, 2003,
Notification of acceptance: September 10, 2003
Workshop date: October 20, 2003

Publication
Workshop proccedings will be made to all particpants and made available through the workshop website. Additionally, a special section in the Journal on Tools for Technology Transfer (STTT) will be published based on a selection of workshop contributions (consisting of both long papers and position papers).

For inquiries please send email to Susanne.Graf@imag.fr or Ileana.Ober@imag.fr


Susanne Graf
Last modified: Tue Oct 28 13:26:35 MET 2003