]
[Photo Galery ]
[Organizers]
[Links]
[Call for Papers]
]
[Photo Galery ]
[Organizers]
[Links]
[Call for Papers]
| 09:00 - 09:30 | Welcome The organizers | ||
| Introduction Susanne Graf | paper slides |
||
| Session I: Modelling of real-time systems with UML --- Chair: Susanne Graf | |||
| 09:30 - 10:00 | Comparing two UML profiles for non-functional requirement annotations: the SPT and QoS profiles Bernardi Simona, Dorina Petriu | paper slides |
abstract |
| 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 | paper slides |
abstract |
| 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 | paper slides |
abstract |
| 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 | paper slides |
abstract |
| 12:00 - 12:30 | Discussion of presentations in session I | ||
| 12:30 - 14:00 | -- LUNCH -- | ||
| Session II: Tools for model based timing analysis --- Chair: Øystein Haugen | |||
| 14:00 - 14:30 | An Analysis Tool for UML SPT Models John Häkansson, Leonid Mokrushin, and Paul Pettersson | paper slides |
abstract |
| 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 | paper slides |
abstract |
| 15:00 - 15:30 | Validating UML models of Embedded Systems by Coupling Tools J. Hooman, Nataliya Mulyar, Ladislau Posta | paper slides |
abstract |
| 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 |