International Workshop

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

to be hold

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

[Programme NEW

] [Home] [Call for Papers] [Organizers]

The aim of this workshop is to push further the [UML profile for schedulability, Time and Performance.

Related Papers

Work done in the IST OMEGA project:
- S. Graf and I. Ober "A Real-Time profile for UML and how to adapt it to SDL" to be presented at the 11th SDL Forum 2003
- S. Graf and I. Ober "Omega real time profile
- 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 "

Related Tools

Related Workshops

This workshop has no direct predecessor workshop, but there are a number of past and forthcoming workshops related to this one, focussing amongst others on real-time and other non functional aspect in UML:

Compositional Verification of UML Models associated also with UML 2003 in San Francisco
Component Based Software Engineering and Modeling Non-functional Aspects (SIVOES-MDA) assoociated with UML 2003 in San Francisco
Component Based Software Engineering and Modeling Non-functional Aspects (SIVOES-MONA) assoociated with UML 2002 in Dresden
Formal Design Techniques for Real-Time UML assoociated with UML 2000 in York

Susanne Graf

Last modified: Thu Oct 16 09:59:06 MEST 2003