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 |