Computer Safety, Reliability and Security: 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings

The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems....Pages 1-13
Empirical Assessment of Software On-Line Diagnostics Using Fault Injection....Pages 14-26
Speeding-Up Fault Injection Campaigns in VHDL Models....Pages 27-36
Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs....Pages 37-52
Validation of Control System Specifications with Abstract Plant Models....Pages 53-63
A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software....Pages 63-73
Expert Error: The Case of Trouble-Shooting in Electronics....Pages 74-85
The Safety Management of Data-Driven Safety-Related Systems....Pages 86-95
Software Support for Incident Reporting Systems in Safety-Critical Applications....Pages 96-106
A Dependability-Explicit Model for the Development of Computing Systems....Pages 107-116
Deriving Quantified Safety Requirements in Complex Systems....Pages 117-130
Improving Software Development by Using Safe Object Oriented Development : OTCD....Pages 131-140
A Safety Licensable PES for SIL 4 Applications....Pages 141-150
Safety and Security Issues in Electric Power Industry....Pages 151-164
Dependability of Computer Control Systems in Power Plants....Pages 165-175
A Method of Analysis of Fault Trees with Time Dependencies....Pages 176-186
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module....Pages 187-197
Formal Methods: The Problem Is Education....Pages 198-210
Formal Methods Diffusion: Past Lessons and Future Prospects....Pages 211-226
Safe Tech: A Control Oriented Viewpoint....Pages 227-239
Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems....Pages 240-249
IEC 61508 — A Suitable Basis for the Certification of Safety-Critical Transport-Infrastructure Systems ??....Pages 250-263
An Approach to Software Assisted Recovery from Hardware Transient Faults for Real Time Systems....Pages 264-274
Programmable Electronic System Design & Verification Utilizing DFM....Pages 275-285
SIMATIC S7-400F/FH: Safety-Related Programmable Logic Controller....Pages 286-293
Assessment of the Reliability of Fault-Tolerant Software: A Bayesian Approach....Pages 294-308
Estimating Dependability of Programmable Systems Using BBNs....Pages 309-320
Improvements in Process Control Dependability through Internet Security Technology....Pages 321-332
A Survey on Safety-Critical Multicast Networking....Pages 333-343
Causal Reasoning about Aircraft Accidents....Pages 344-360
Controlling Requirements Evolution: An Avionics Case Study....Pages 361-370
HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems....Pages 371-381
Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components....Pages 382-394
Risk Ordering of States in Safecharts....Pages 395-405
Dependability Evaluation: Model and Method Based on Activity Theory....Pages 406-419
Forensic Software Engineering and the Need for New Approaches to Accident Investigation....Pages 420-429