Computer Safety, Reliability and Security: 20th International Conference, SAFECOMP 2001 Budapest, Hungary, September 26–28, 2001 ProceedingsAuthor: Udo Voges Published by Springer Berlin Heidelberg ISBN: 978-3-540-42607-3 DOI: 10.1007/3-540-45416-0Table of Contents:Designing Safety into Medical Decisions and Clinical Processes Security Assessments of Safety Critical Systems Using HAZOPs Network Security for Substation Automation Systems A Bayesian Belief Network for Reliability Assessment Checking General Safety Criteria on UML Statecharts Presenting a Safety Case — A Case Study — Safety Functions versus Control Functions A Fail-Safe Dual Channel Robot Control for Surgery Applications Modeling the Human in Human Factors Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach Analysis of Incidents Involving Interactive Systems Experimental Evaluation of Fault Handling Mechanisms The COTS Debate in Perspective An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures The Effectiveness of Statistical Testing when Applied to Logic Systems A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B Safety Patterns — The Key to Formal Specification of Safety Requirements Formal Support for Fault Modelling and Analysis Project Experience with IEC 61508 and Its Consequences, Includes bibliographical references and index