Computer Safety, Reliability and Security

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

  • Udo Voges
Conference proceedings SAFECOMP 2001
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2187)

Table of contents

  1. Front Matter
    Pages I-XI
  2. Invited Paper

  3. Reliability Asessment and Security

    1. Rune Winther, Ole-Arnt Johnsen, Bjørn Axel Gran
      Pages 14-24
    2. Martin Naedele, Dacfey Dzung, Michael Stanimirov
      Pages 25-34
    3. Bjørn Axel Gran, Atte Helminen
      Pages 35-45
  4. Safety Case and Safety Analysis

    1. Zsigmond Pap, István Majzik, András Pataricza
      Pages 46-55
    2. Hans R. Fankhauser
      Pages 66-74
  5. Medical Systems

    1. Ulrich Laible, Thomas Bürger, Günter Pritschow
      Pages 75-85
  6. Invited Paper

    1. John Rushby
      Pages 86-91
  7. Human Machine Interface

    1. Alberto Pasquini, Antonio Rizzo, Luca Save
      Pages 100-108
  8. COTS - Components off the Shelf

    1. Piotr Gawkowski, Janusz Sosnowski
      Pages 109-118
    2. Felix Redmill
      Pages 119-129
  9. Testing

    1. Mohamed Kaâniche, Yannick Le Guédart, Jean Arlat, Thierry Boyer
      Pages 130-144
    2. Silke Kuball, Gordon Hughes, John H. R. May, Julio Gallardo, Andrew D. John, Roy B. Carter
      Pages 156-165
  10. Formal Methods

    1. Günther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck
      Pages 166-175
    2. Tadeusz Cichocki, Janusz Górski
      Pages 190-199

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

  • Udo Voges
    • 1
  1. 1.Forschungszentrum KarlsruheInstitut für Angewandte InformatikKarlsruheGermany

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45416-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42607-3
  • Online ISBN 978-3-540-45416-8
  • Series Print ISSN 0302-9743
  • About this book