5.5th Workshop, Bielefeld, June 6-7 2005

The Bieleschweig WBA & CausalML User Group Workshop

6./7. Juni 2005, Universitšt Bielefeld

Organised by/Veranstaltet von

Bieleschweig Workshops Steering Commitee

This Workshop continued the successful series of Workshops on the topic of System Engineering. Proceedings, Programs and Goals may be found on the WWW pages at The Bieleschweig Workshop Pages It is the first Bielschweig Workshop devoted to WBA, CausalML and other formal methods and tools for accident, incident and failure analysis. The second such workshop will be held in Dresden in October or November 2005.

Diese Veranstaltung setzt die erfolgreiche Serie von Workshops zum Thema Systems Engineering fort. Proceedings, Programme und Ziele sind bei The Bieleschweig Workshop Pages zu lesen. Es ist der erste Bieleschweig-Veranstaltung an WBA, CausalML und andere formale Methoden für Ursachen- und Fehleranalyse gewidmet. Der zweite solche Veranstaltung wird in Dresden in Oktober oder November 2005 stattfinden.

Talks/Vorträge

Thilo Paul-Stüve:
Usability Analysis of WB-Graph tools/ Usabilityanalyse von WB-Graphen-Werkzeugen [Slides, PDF (350KB)]
Jan Sanders/Lars Molske/Damian Nowak:
Why-Because Analysis of a computer security incident/ Why-Because-Analyse eines Computer-Sicherheitsvorfalls [Slides, PDF (3.4MB)] [Handout, PDF (1.3MB)] [Tech-Report (3.2MB)]
Jörn Stuphorn:
Why-Because Analysis of the 2002 Lake Constance Midair Collision/ Why-Because-Analyse des Überlingen-Unfalls (Lake Constance Midair) [Slides, PDF (3.1MB)] [Ueberlingen WB-Graph, PDF] [Ueberlingen List Of Facts, PDF] [Ueberlingen Timeline, PDF]
Oliver Lemke:
Why-Because Analysis of the S-Bahn railway accident in Neufahrn/ Why-Because-Analyse des S-Bahn-Unfalls in Neufahrn [Slides, PDF (400KB)] [Neufahrn WB-Graph, PDF]
Ernesto de Stefano:
Embedding WBA in the Process of Dealing with Safety-Relevant Product Deficiencies [Slides, PDF]
Jörn Stuphorn:
Ontological Analysis of communication-bus behavior/ Ontologische Analyse von Busverfahren [Slides, PDF (800KB)]
Bernd Sieker:
Ontological Analysis of train-dispatching protocols/ Ontologische Analyse im Zugleitbetrieb [Slides, PDF (2MB)]
Jan Paller:
Tools to support List-of-Facts and Counterfactual-Test proceedures in WBA/ Werkzeug für die List-of-Facts- und den Counterfactual-Test-Verfahren in WBA [Keine Folien zugänglich/No slides available]