International Workshop

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

hold on

October 11, 2004 in Lisbon, Portugal

in conjunction with

Seventh International Conference on the Unified Modeling Language, UML 2004"

Registration via the UML 2004 Web Site

[Workshop overview NEW ] [Programme ] [Participants ] [Photo Galery ] [Organizers] [Links] [Call for Papers]

Topics: 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, scheduling and architecture related issues which should help to define a work programme in this field.

Workshop History: this is the second issue of this workshop, the first one took place as a satellite event of UML 2003 (see HERE for the page containing a link to the final programme and the presented papers)

Final workshop programme
The final workshop programme with pointers to abstracts, papers and slides is available.
Post workshop materiel
The workshop participants list and a few photos taken at the workshop are now available.
Submission and Dates
Submission deadline: August 30, 2004 (provide title and abstract asap)
Notification of acceptance: September 8, 2004
Final versions due: September 27, 2003
Workshop date: October 11, 2004

Workshop proceedings will be made to all participants and made available through the workshop website.
A common postworkshop proceedings for all workshops will be published as LNCS volume 3297. The overview paper on the SVERTS workshop NEW is ready.
Furthermore, we may consider a selection of papers for publication in a suitable technical journal (notice that a special section in the Journal on Tools for Technology Transfer (STTT) is under preparation for last year's workshop, SVERTS 2003).

For inquiries please send email to or

Susanne Graf