This book constitutes the refereed proceedings of the 19th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2000, held in Rotterdam, The Netherlands in October 2000.
The 33 revised full papers presented together with three invited papers were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on verification and validation; software process improvement; formal methods; safety guidelines, standards and certification; hardware aspects; safety assessment; design for safety; and transport and infrastructure.
Author(s): Tom Gilb (auth.), Floor Koornneef, Meine van der Meulen (eds.)
Series: Lecture Notes in Computer Science 1943
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 438
Tags: Software Engineering/Programming and Operating Systems; Special Purpose and Application-Based Systems; Logics and Meanings of Programs; Management of Computing and Information Systems
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
