Computer Safety, Reliability and Security: 19th International Conference, SAFECOMP 2000 Rotterdam, The Netherlands, October 24–27, 2000 Proceedings
Author: Floor Koornneef, Meine van der Meulen
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-41186-4
DOI: 10.1007/3-540-40891-6

Table of Contents:

• The Ten Most Powerful Principles for Quality in (Software and) Software Organizations for Dependable Systems
  
• Empirical Assessment of Software On-Line Diagnostics Using Fault Injection
  
• Speeding-Up Fault Injection Campaigns in VHDL Models
  
• Specification and Verification of a Safety Shell with Statecharts and Extended Timed Graphs
  
• Validation of Control System Specifications with Abstract Plant Models
  
• A Constant Perturbation Method for Evaluation of Structural Diversity in Multiversion Software
  
• Expert Error: The Case of Trouble-Shooting in Electronics
  
• The Safety Management of Data-Driven Safety-Related Systems
  
• Software Support for Incident Reporting Systems in Safety-Critical Applications
  
• A Dependability-Explicit Model for the Development of Computing Systems
  
• Deriving Quantified Safety Requirements in Complex Systems
  
• Improving Software Development by Using Safe Object Oriented Development : OTCD
  
• A Safety Licensable PES for SIL 4 Applications
  
• Safety and Security Issues in Electric Power Industry
  
• Dependability of Computer Control Systems in Power Plants
  
• A Method of Analysis of Fault Trees with Time Dependencies
  
• A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module
  
• Formal Methods: The Problem Is Education
  
• Formal Methods Diffusion: Past Lessons and Future Prospects
  
• Safe Tech: A Control Oriented Viewpoint