Front matter
1-13
Designing Safety into Medical Decisions and Clinical Processes
John Fox
14-24
Security Assessments of Safety Critical Systems Using HAZOPs
Rune Winther, Ole-Arnt Johnsen and Bjørn Axel Gran
25-34
Network Security for Substation Automation Systems
Martin Naedele, Dacfey Dzung and Michael Stanimirov
35-45
A Bayesian Belief Network for Reliability Assessment
Bjørn Axel Gran and Atte Helminen
46-55
Checking General Safety Criteria on UML Statecharts
Zsigmond Pap, István Majzik and András Pataricza
56-65
Presenting a Safety Case — A Case Study —
Odd Nordland
66-74
Safety Functions versus Control Functions
Hans R. Fankhauser
75-85
A Fail-Safe Dual Channel Robot Control for Surgery Applications
Ulrich Laible, Thomas Bürger and Günter Pritschow
86-91
Modeling the Human in Human Factors
Extended Abstract
John Rushby
92-99
Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach
Oliver Mäckel and Georg Hoever
100-108
Analysis of Incidents Involving Interactive Systems
Alberto Pasquini, Antonio Rizzo and Luca Save
109-118
Experimental Evaluation of Fault Handling Mechanisms
Piotr Gawkowski and Janusz Sosnowski
119-129
The COTS Debate in Perspective
Felix Redmill
130-144
An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models
Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat and Thierry Boyer
145-155
A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures
Ioannis Vakalis
156-165
The Effectiveness of Statistical Testing when Applied to Logic Systems
Silke Kuball, Gordon Hughes, John H. R. May, Julio Gallardo and Andrew D. John, et al.
166-175
A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B
Günther Zoffmann, Manfred Gingerl, Christian Reumann and Gerald Sonneck
176-189
Safety Patterns — The Key to Formal Specification of Safety Requirements
Friedemann Bitsch
190-199
Formal Support for Fault Modelling and Analysis
Tadeusz Cichocki and Janusz Górski
200-214
Project Experience with IEC 61508 and Its Consequences
Rainer Faller
215-226
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach
Paul Caspi, Christine Mazuet and Natacha Reynaud Paligot
227-237
Dependability Evaluation
From Functional to Structural Modelling
Cláudia Betous-Almeida and Karama Kanoun
238-248
Tuning of Database Audits to Improve Scheduled Maintenance in Communication Systems
Stefano Porcarelli, Felicita Di Giandomenico, Amine Chohra and Andrea Bondavalli
Back matter