Skip to main content
Springer Nature Link
Account

Computer Safety, Reliability and Security

20th International Conference, SAFECOMP 2001, Budapest, Hungary, September 26-28, 2001 Proceedings

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Udo Voges

    1. Forschungszentrum Karlsruhe, Institut für Angewandte Informatik, Karlsruhe, Germany

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2187)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

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.

Similar content being viewed by others

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (23 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  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
Back to top

Editors and Affiliations

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

    Udo Voges

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Keywords

Publish with us

Policies and ethics

Back to top