Start Ende Programmpunkt Presenter
09:30 09:45 Begrüßung durch die Organisatoren
09:45 10:30 Using dedicated Review Diagrams to detect Defective Functional Interplay in Function-Centered Engineering Andrea Salmon
(Univ. Duisburg-Essen)
10:30 11:00 Kaffeepause
11:00 11:45 An Industry Case Study on semi-automated Generation of Component Fault Trees from Simulink-Models Suryo Buono
(Berner & Mattner)
11:45 12:30 Integration von Markov Modellen in Fehlerbäume Alexander Prohaska
(TU Kaiserslautern)
12:30 13:30 Mittagspause
13:30 14:15 On the Explicit Consideration of Context Variability in the SPES Modeling Framework Andre Heuer
(Univ. Duisburg-Essen)
14:15 15:00 Variability Exchange Language - A Generic Exchange Format for Variability Data Michael Schulze
15:00 15:30 Kaffeepause
15:30 16:15 An Approach to Guide the System Engineer during the Design Space Exploration Process Maike Rosinger
16:15 17:00 A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study Vasileios Koutsoumpas
(TU München)
17:00 17:15 Wrap-Up - Ende des Workshops