SVERTS: Specification and Validation of UML models for Real Time and Embedded Systems
to be hold
at Lisbon, Portugal
[Home] [Call for
The aim of this workshop is to push further the UML profile
for schedulability, Time and Performance.
Work done in the IST OMEGA project:
- Susanne Graf, Ileana Ober, Iulian Ober "Timed annotations in UML", submitted to STTT, 2003
- S. Graf and I. Ober "A Real-Time profile for UML and how to adapt it to SDL" at the 11th SDL Forum 2003
- D. Harel and R. Marelly, "Playing with Time: On the Specification and Execution of Time-Enriched LSCs", 10th IEEE/ACM Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2002)
- W. Damm, B. Josko, A. Pnueli, A. Votintseva"A Formal Semantics for a UML Kernel Language "
This workshop is the second edition of the SVERTS
workshop. The first edition of SVERTS 2003 had been held as a satellite workshop of UML 2003 in San Francisco.
Other workshops related to real-time and other non functional aspect in UML are:
Last modified: Tue Sep 14 18:05:35 MEST 2004