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