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"




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

Preliminary Programme

09:00 - 09:30 Introduction The organizers
Session I: Modelling of real-time systems with UML (09:30-12:30) Chair:
09:30 - 10:00 Comparing two UML profiles for non-functional requirement annotations: the SPT and QoS profiles Bernardi Simona, Dorina Petriu abstract full paper
10:00 - 10:30 A Formal Framework for UML Modelling with Timed Constraints: Application to Railway Control Systems Rafael Marcano, Samuel Colin and Georges Mariano abstract full paper
10:30 - 11:00 -- COFFEE --
11:00 - 11:30 Real-Time Requirements in Formalized Use Cases: Specification and Validation Risto Pitkänen and Tommi Mikkonen abstract full paper
11:30 - 12:00 Incremental Design and Formal Verification with UML/RT in the FUJABA Real-Time Tool Suite Sven Burmester, Holger Giese, Martin Hirsch, and Daniela Schilling abstract full paper
12:00 - 12:30 Discussion of presentations in session I
12:30 - 14:00 -- LUNCH --
Session II: Tools for model based timing analysis (14:00 - 16:30) Chair:
14:00 - 14:30 An Analysis Tool for UML SPT Models John Hakansson, Leonid Mokrushin, and Paul Pettersson abstract full paper
14:30 - 15:00 Worst-Case Execution Time Analysis from UML-based RT/E Applications Chokri Mraidha, Sébastien Gérard, François Terrier, David Lugato abstract full paper
15:00 - 15:30 Validating UML models of Embedded Systems by Coupling Tools J. Hooman, Nataliya Mulyar, Ladislau Posta abstract full paper
15:30 - 16:00 -- COFFEE --
16:00 - 16:30 Discussion of presentations in session II
16:30 - 17:30 PANEL: How useful can be UML in the context of real-time systems ?
Participants: Susanne Graf (Verimag), Oystein Haugen (U. of Oslo), Jozef Hooman (Embedded System Inst Eindhoven), Robert Pettit (Aerospace Corporation, USA)
17:30 - 17:40 Closing The organizers

Susanne Graf
Last modified: Fri Sep 24 13:48:42 MEST 2004