Front matter
1-13
The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems
Tom Gilb
14-26
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection
John Napier, John May and Gordon Hughes
27-36
Speeding-Up Fault Injection Campaigns in VHDL Models
B. Parrotta, M. Rebaudengo, M. Sonza Reorda and M. Violante
37-52
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs
Jan van Katwijk, Hans Toetenel, Abd-El-Kader Sahraoui, Eric Anderson and Janusz Zalewski
53-63
Validation of Control System Specifications with Abstract Plant Models
Wenhui Zhang
63-73
A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software
Luping Chen, John May and Gordon Hughes
74-85
Expert Error: The Case of Trouble-Shooting in Electronics
Denis Besnard
86-95
The Safety Management of Data-Driven Safety-Related Systems
A. G. Faulkner, P. A. Bennett, R. H. Pierce, I. H. and N. Storey
96-106
Software Support for Incident Reporting Systems in Safety-Critical Applications
Chris Johnson
107-116
A Dependability-Explicit Model for the Development of Computing Systems
Mohamed Kaaniche, Jean-Claude Laprie and Jean-Paul Blanquart
117-130
Deriving Quantified Safety Requirements in Complex Systems
Peter A. Lindsay, John A. McDermid and David J. Tombs
131-140
Improving Software Development by Using Safe Object Oriented Development : OTCD
Xavier Méhaut and Pierre Morére
141-150
A Safety Licensable PES for SIL 4 Applications
Wolfgang A. Halang, Peter Vogrin and Matjaz Colnaric
151-164
Safety and Security Issues in Electric Power Industry
Zdzisław Żurakowski
165-175
Dependability of Computer Control Systems in Power Plants
Analytical and Experimental Evaluation
Cláudia Almeida, Alberto Arazo, Yves Crouzet and Karama Kanoun
176-186
A Method of Analysis of Fault Trees with Time Dependencies
Jan Magott and Pawel Skrobanek
187-197
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module
Georg Droschl, Walter Kuhn, Gerald Sonneck and Michael Thuswald
198-210
Formal Methods: The Problem Is Education
Thierry Scheurer
211-226
Formal Methods Diffusion: Past Lessons and Future Prospects
R. Bloomfield, D. Craigen, F. Koob, M. Ullmann and S. Wittmann
227-239
Safe Tech: A Control Oriented Viewpoint
Maarten Steinbuch
240-249
Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems
Richard Evans and Jonathan Moffett
250-263
IEC 61508 — A Suitable Basis for the Certification of Safety-Critical Transport-Infrastructure Systems ??
Derek Fowler and Phil Bennett
264-274
An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems
D. Basu and R. Paramasivam
275-285
Programmable Electronic System Design & Verification Utilizing DFM
Michel Houtermans, George Apostolakis, Aarnout Brombacher and Dimitrios Karydas
286-293
SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller
Andreas Schenk
294-308
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach
Bev Littlewood, Peter Popov and Lorenzo Strigini
309-320
Estimating Dependability of Programmable Systems Using BBNs
Bjørn Axel Gran, Gustav Dahll, Siegfried Eisinger, Eivind J. Lund and Jan Gerhard Norstrøm, et al.
321-332
Improvements in Process Control Dependability through Internet Security Technology
Ferdinand J. Dafelmair
333-343
A Survey on Safety-Critical Multicast Networking
James S. Pascoe and R. J. Loader
344-360
Causal Reasoning about Aircraft Accidents
Peter B. Ladkin
361-370
Controlling Requirements Evolution: An Avionics Case Study
Stuart Anderson and Massimo Felici
371-381
HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems
Andrew Hussey
382-394
Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components
Tadeusz Cichocki and Janusz Górski
395-405
Risk Ordering of States in Safecharts
Nimal Nissanke and Hamdan Dammag
406-419
Dependability Evaluation: Model and Method Based on Activity Theory
Mark-Alexander Sujan, Antonio Rizzo and Alberto Pasquini
420-429
Forensic Software Engineering and the Need for New Approaches to Accident Investigation
Chris Johnson
Back matter