*********************** CALL FOR PARTICIPATION ********************** SVERTS: Specification and Validation of UML models for Real Time and Embedded Systems Workshop at the <<UML>> 2003 Conference October 20, 2003 Fort Mason Center San Francisco, California, USA http://www-verimag.imag.fr/EVENTS/2003/SVERTS/ IMPORTANT DATES 28 September Early registration deadline 10 October Registration deadline 20 October Workshop PRELIMINARY PROGRAMME 09:00-09:15 Welcome and Introduction (the organizers) 09:15-09:55 Invited talk: title to be announced Felice Balarin, Cadence Berkely Labs Session I: UML RT profiles (09:55 -14:45) 09:55-10:15 Timed annotations with UML Susanne Graf, Ileana Ober, Iulian Ober 10:15-10:35 HybridUML profile for UML 2.0 and a critical view on UML 2.0 Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann and Jan Peleska 10:35-11:05 -- COFFEE BREAK-- 11:05-11:25 Towards a "Synchronous Reactive" UML subprofile ? Robert de Simone, Charles Andre 11:25-11:45 Issues in Mapping from UML Real-Time Profile to OSEK Zonghua Gu, Shige Wang and Kang G. Shin 11:45-12:05 RT modeling with UML for safety critical applications: the HIDOORS project example Frank Lippert, Jean-Noël Meunier 12:05-12:25 A Profile for Integrating Function Blocks into the Unified Modeling Language Torsten Heverhagen, Rudolf Tracht, Robert Hirschfeld 12:25-13:55 -- LUNCH -- 13:55-14:15 A proposed extension to UML: a hierarchical architecture of temporal assertion components Teitelbaum, Gallant, Mendelbaum, Vidal-Naquet 14:15-14:45 Discussion of presentations in session I Session II: Issues in combining UML and time and validation(14:45 - 16:30) 14:45-15:05 A semantics of communicating reactive objects with timing Mark van der Zwaag, Jozef Hooman 15:05-15:25 Validating Real-Time Behavioral Patterns of Embedded Controllers J. Aghav, C. Petitpierre 15:25-15:55 -- COFFEE -- 15:55-16:15 Validating timed UML models by simulation and verification Iulian Ober, Susanne Graf, Ileana Ober abstract 16:15-16:30 Discussion of presentations in session II Session III: RT in OCL (16:30-17:25) 16:30-16:50 Using OCL for expressing temporal validity constraints Juliana Kuester-Filipe and Stuart Anderson abstract 16:50-17:10 Temporal OCL Extensions for Specification of Real-Time Constraints Stephan Flake 17:10-17:25 Discussion of presentations in session III 17:25-17:30 Closing PROGRAM COMMITTEE Werner Damm (OFFIS, Oldenburg, Germany) Bruce Douglass (I-Logix) Sebastien Gerard (CEA-LIST, France) Susanne Graf (Verimag, Grenoble, France) Øystein Haugen (Ericsson) David Harel (Weizmann Institute, Israel) Jozef Hooman (Univ. Nijmegen, NL) Ileana Ober (Verimag, Grenoble, France) Birger Møller-Pedersen (Ericsson) Alan Moore (Artisan) Ina Schieferdecker (Fraunhofer Fokus, Germany) Bran Selic (Rational, Canada) Thomas Weigert (Motorola, Chicago) Joseph Sifakis (Verimag, Grenoble, France) ORGANIZERS Susanne Graf (Verimag, Grenoble, France) Øystein Haugen (Ericsson) Ileana Ober (Verimag, Grenoble, France) Bran Selic (Rational, Canada) ----------- you received this e-mail via the address [log in to unmask]