CSDUML 2006

5th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2006)  

Workshop Schedule
Sunday, October 1, 2006, 9:00 AM - 17:30 PM


All available presentations can be

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
AndrŽas Pataricza

10:00 Modeling an Electronic Throttle Controller using the Timed Abstract State Machine Language and Toolset

Martin Ouimet
Guillaume Berteau
Kristina Lundqvist

10:30 Discussion
11:00 Coffee Break

Verification

11:30 Model Checking of UML 2.0 Interactions

Alexander Knapp
Jochen Wuttke

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
Bente Anda
Knut Asskildt
Lionel C. Briand
Jan Endresen
Sverre Frűystein

15:30 Specification of the Control Logic of an eVoting System in UML: the ProVotE experience

Roberto Tiella
Adolfo Villafiorita
Silvia Tomasi

16:00 Coffee Break
16:30 Discussion  
17:00 Wrap-up Workshop Organizers