International Workshop

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

hold on

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

[Programme] [Home] [Organizers] [Links]



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. Nevertheless, 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 related issues which should help to define a work programme in this field.


The workshop topics include:


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.


To contribute to this workshop, please send a position paper or a technical contribution to Susanne Graf or 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. 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).


Submission deadlines: September 1, 2003,
(Provide title and small abstract as soon as possible)
Notification of acceptance: September 10, 2003
Workshop date: October 20, 2003 (tbd)


Susanne Graf (Verimag, Grenoble, France)
Øystein Haugen (Ericsson, Norway)
Ileana Ober (Verimag, Grenoble, France)
Bran Selic (IBM, Rational Software, Canada)


Werner Damm (OFFIS, Oldenburg, Germany)
Bruce Douglass (I-Logix)
Sebastien Gerard (CEA-LIST, France)
Susanne Graf (Verimag, Grenoble, France)
Øystein Haugen (Ericsson, Norway)
David Harel (Weizmann Institute, Israel)
Jozef Hooman (Univ. Nijmegen, NL)
Ileana Ober (Verimag, Grenoble, France)
Birger Møller-Pedersen (Ericsson)
Alan Moore (Artisan)
Ina Schieferdecker (Fraunhofer Fokus, Germany)
Bran Selic (IBM, Rational Software, Canada)
Thomas Weigert (Motorola, Chicago)
Joseph Sifakis (Verimag, Grenoble, France)

Susanne Graf
Last modified: Sun Oct 26 17:05:25 MET 2003