Workshop on Safety, Reliability, and Security of Industrial Computer Systems (WSRS '04)

held together with Informatik 2004 Conference at University of Ulm, Germany

Workshop Program

20.September 2004, University Ulm, Germany

Session 1Safety and UML
09.30 - 10.00Enhancing UML by Safety-Related Constructs
Shourong Lu
10.00 - 10.30Static Safety Analysis of UML Action Semantics for Critical Systems Development
Zsigmond Pap and Daniel Varro
10.30 - 11.00Coffee Break
Session 2Safety and Security Experiences
11.00 - 11.30Herausforderungen bei der Sicherung von Automatisierungssystemen gegen netzwerkbasierte Angriffe
Martin Naedele
11.30 - 12.00Aspekte des Sicherheitsnachweises zum Einsatz rechnergestuetzter Leittechnik in kerntechnischen Anlagen
Freddy Seidel
12.00 - 12.30Experience Report: Error Distribution in Safety-Critical Software Risk Analysis Based on Unit Tests
Stephan Ramberger, Thomas Gruber, and Wolfgang Herzner
12.30 - 14.00Lunch Break
Session 3Safety for COTS Components
14.00 - 14.30Methods for Enhancing Safety Wrapper Design
Luping Chen and John May
14.30 - 15.00Reliability study of an embedded operating system for industrial applications
J. Pardo, J. Campelo, and J. Serrano