 |
|
| 09:30 - 09:40 | Introduction
The organizers |
[slides] |
Session I : Visions and standards (1h20) | ||
| 10:30 - 11:00 | Towards a UML-based Modeling Standard for Schedulability Analysis of Real-time systems
H. Espinoza, J. Medina, H. Dubois, S. Gerard, F. Terrier |
[slides] |
11:00 - 11:30 -- COFFEE - | ||
Session II : Validation and tools (1h30) | ||
| 11:30 - 12:00 | A3S method and tools for analysis of real time embedded systems
S. Rouxel, G. Gogniat, J-P. Diguet, J-L. Philippe, C. Moy |
[slides] |
| 12:00 - 12:20 | Modeling with logical time in UML for real-time embedded system design
Ch. André, A. Cuccuru, R. de Simone, Th. Gautier, F. Mallet, and JP. Talpin (work-in-progress) |
[slides] |
| 12:20 - 12:40 | Analysis and Modeling of Real-Time Systems with Mechatronic UML taking Clock Drift into Account
Holger Giese, Stefan Henkler, and Martin Hirsch (work-in-progress) |
[slides] |
| 12:40 - 13:00 | Analyzing Robustness of UML State Machines
Steffen Prochnow, Gunnar Schaefer, Ken Bell, and Reinhard von Hanxleden (work-in-progress) |
[slides] |
13:00 - 14:30 -- LUNCH -- | ||
Session III : New language ideas (1h30) | ||
| 14:30 - 15:00 | Time Exceptions in Sequence Diagrams
Oddleif Halvorsen, Ragnhild Kobro Runde, Řystein Haugen |
[slides] |
| 15:00 - 15:30 | An Approach to Performance Modeling of Software Product Lines
Julie A. Street and Hassan Gomaa |
[slides] |
| 15:30 - 16:00 | Concurrency and Real time specifications in UML
K. Lano, K. Androutsopolous, D. Clark | |
16:00 - 16:30 -- COFFEE - | ||
Session IV : Experience reports (1h45) | ||
| 16:30 - 16:50 | Modeling WS-BPEL with RT-UML Diagrams
Maria-Emilia Cambronero, Juan-Jose Pardo, Gregorio Diaz, and Valentin Valero (work-in-progress) |
[slides] |
| 16:50 - 17:10 | Applying Model Intelligence Frameworks for Deployment Problem in Real Time and Embedded Systems
Andrey Nechypurenko, Egon Wuchner, Jules White, Douglas C. Schmidt (position paper) |
[slides] |
| 17:10 - 17:40 | An Experience in modeling real-time systems with SysML
Pietro Colombo, Vieri Del Bianco, Luigi Lavazza, Alberto Coen-Porisini (work-in-progress) |
[slides] |
| 17:40 - 18:15 | DISCUSSION -- topic to be determined | |