|
5th International
Workshop on Critical Systems Development Using Modeling Languages (CSDUML
2006)
Workshop
Schedule
accessed by links on the presenter's names |
| Time | Topic | Presenter |
|
Introduction |
||
| 9:00 | Results of previous CSDUML workshops, goals of the 2006 workshop, and plan of the day |
Workshop Organizers |
|
Specification and Analysis |
||
| 9:30 | Quality-of-Service Modeling and Analysis of Dependable Application Models |
Andr´as Balogh |
| 10:00 | Modeling an Electronic Throttle Controller using the Timed Abstract State Machine Language and Toolset |
Martin Ouimet |
| 10:30 | Discussion | |
| 11:00 | Coffee Break | |
|
Verification |
||
| 11:30 | Model Checking of UML 2.0 Interactions |
Alexander Knapp |
| 12:00 | A Framework for Formal Specification & Verification of Aspect Oriented Programs |
M. Nafees Qamar Aamer Nadeem |
| 12:30 | Discussion | |
| 13:00 | Lunch | |
|
System Synthesis |
||
| 14:30 | Automated Synthesis of High-Integrity Systems using Model-Driven Development | Kevin Lano K. Androutsopolous |
|
Case Studies |
||
| 15:00 | Experiences with Precise State Modeling in an Industrial Safety Critical System |
Nina E. Holt |
| 15:30 | Specification of the Control Logic of an eVoting System in UML: the ProVotE experience |
Roberto Tiella |
| 16:00 | Coffee Break | |
| 16:30 | Discussion | |
| 17:00 | Wrap-up | Workshop Organizers |