International Workshop

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

hold on

October 11, 2004 in Lisbon, Portugal

[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, scheduling and architecture 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: August 30, 2004,
(Provide title and small abstract as soon as possible)
Notification of acceptance: September 7, 2004
Final versions due: September 27, 2004
Workshop date: October 11, 2004


Susanne Graf (Verimag, France)
Řystein Haugen (Univ.of Oslo, Norway)
Ileana Ober (Verimag, France)
Bran Selic (IBM, Canada)


Felice Balarin (Berkeley, USA)
Bruce Douglass (I-Logix)
Sebastien Gerard (CEA-LIST, France)
Gregor Gössler (INRIA, France)
Susanne Graf (Verimag, France)
Řystein Haugen (Univ. of Oslo, Norway)
David Harel (Weizmann Institute, Israel)
Jozef Hooman (Embedded Systems Institute & Univ. of Nijmegen, NL)
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)
Ina Schieferdecker (Fraunhofer Fokus, Germany)
Bran Selic (IBM, Canada)
Yves Sorel (INRIA, France)
Thomas Weigert (Motorola, Chicago)

Susanne Graf
Last modified: Mon Jun 28 14:45:33 MEST 2004