Computer Safety, Reliability and Security

1. Front Matter

   Pages I-XI

   PDF

2. Invited Paper

   1. Designing Safety into Medical Decisions and Clinical Processes

      • John Fox

      Pages 1-13

3. Reliability Asessment and Security

   1. Security Assessments of Safety Critical Systems Using HAZOPs

      • Rune Winther, Ole-Arnt Johnsen, Bjørn Axel Gran

      Pages 14-24

   2. Network Security for Substation Automation Systems

      • Martin Naedele, Dacfey Dzung, Michael Stanimirov

      Pages 25-34

   3. A Bayesian Belief Network for Reliability Assessment

      • Bjørn Axel Gran, Atte Helminen

      Pages 35-45

4. Safety Case and Safety Analysis

   1. Checking General Safety Criteria on UML Statecharts

      • Zsigmond Pap, István Majzik, András Pataricza

      Pages 46-55

   2. Presenting a Safety Case — A Case Study —

      • Odd Nordland

      Pages 56-65

   3. Safety Functions versus Control Functions

      • Hans R. Fankhauser

      Pages 66-74

5. Medical Systems

   1. A Fail-Safe Dual Channel Robot Control for Surgery Applications

      • Ulrich Laible, Thomas Bürger, Günter Pritschow

      Pages 75-85

6. Invited Paper

   1. Modeling the Human in Human Factors

      • John Rushby

      Pages 86-91

7. Human Machine Interface

   1. Analyzing Human-Machine Interactions in Safety-Critical Systems: A Basic Applicable Approach

      • Oliver Mäckel, Georg Hoever

      Pages 92-99

   2. Analysis of Incidents Involving Interactive Systems

      • Alberto Pasquini, Antonio Rizzo, Luca Save

      Pages 100-108

8. COTS - Components off the Shelf

   1. Experimental Evaluation of Fault Handling Mechanisms

      • Piotr Gawkowski, Janusz Sosnowski

      Pages 109-118

   2. The COTS Debate in Perspective

      • Felix Redmill

      Pages 119-129

9. Testing

   1. An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models

      • Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer

      Pages 130-144

   2. A Comparison Study of the Behavior of Equivalent Algorithms in Fault Injection Experiments in Parallel Superscalar Architectures

      • Ioannis Vakalis

      Pages 145-155

   3. The Effectiveness of Statistical Testing when Applied to Logic Systems

      • Silke Kuball, Gordon Hughes, John H. R. May, Julio Gallardo, Andrew D. John, Roy B. Carter

      Pages 156-165

10. Formal Methods

    1. A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B

       • Günther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck

       Pages 166-175

    2. Safety Patterns — The Key to Formal Specification of Safety Requirements

       • Friedemann Bitsch

       Pages 176-189

    3. Formal Support for Fault Modelling and Analysis

       • Tadeusz Cichocki, Janusz Górski

       Pages 190-199

This year we celebrated another anniversary: after 20 years of SAFECOMP in 1999, th this was the 20 SAFECOMP since its inauguration in 1979. This series of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and research institutions. Papers are solicited on all aspects of computer systems in which safety, reliability, and security (applied to safety in terms of integrity and availability) are of importance. The 20th SAFECOMP tried to cover new grounds, both thematically and geographically. The previous 19 SAFECOMPs were held in Austria (1989, 1996), France (1987, 1999), Germany (1979, 1988, 1998), Great Britain (1983, 1986, 1990, 1997), Italy (1985, 1995), Norway (1991), Poland (1993), Switzerland (1992), The th Netherlands (2000), and in the USA (1981, 1992), whereas the 20 was held in Hungary. Authors from 13 countries responded to the Call for Papers, and 10 countries were represented in the final program. The proceedings include 20 papers plus 3 invited papers, covering the areas Reliability Assessment and Security, Safety Case and Safety Analysis, Testing, Formal Methods, Control Systems, and this year covering new grounds with a special emphasis on Human Machine Interface, Components off the Shelf, and Medical Systems.

• Computer Safety
• Dependable Systems
• Reactive Systems
• Reliable Computing
• Safety-Critical Systems
• Scala
• Ssystems Security
• Systems Availability
• algorithm
• algorithms
• automation
• formal method
• formal specification
• modeling
• robot

• Forschungszentrum Karlsruhe, Institut für Angewandte Informatik, Karlsruhe, Germany

  Udo Voges

Policies and ethics