Computer Safety, Reliability and Security

21st International Conference, SAFECOMP 2002 Catania, Italy, September 10–13, 2002 Proceedings

  • Stuart Anderson
  • Massimo Felici
  • Sandro Bologna
Conference proceedings SAFECOMP 2002

DOI: 10.1007/3-540-45732-1

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

Table of contents (32 papers)

  1. Front Matter
    Pages I-XX
  2. Human-Computer System Dependability (Joint ECCE-11 & SAFECOMP 2002)

    1. Human-Computer System Dependability
      Sandro Bologna, Erik Hollnagel, Christopher Bartlett, Helmut Bezecny, Bjørn Axel Gran, Dino De Luca et al.
      Pages 1-3
  3. Keynote Talk

  4. Human Factors

    1. A Rigorous View of Mode Confusion
      Jan Bredereke, Axel Lankenau
      Pages 19-31
    2. Dependability as Ordinary Action
      Alexander Voß, Roger Slack, Rob Procter, Robin Williams, Mark Hartswood, Mark Rouncefield
      Pages 32-43
  5. Security

  6. Dependability Assessment (Poster Session)

    1. Safety and Security Analysis of Object-Oriented Models
      Kevin Lano, David Clark, Kelly Androutsopoulos
      Pages 82-93
    2. The CORAS Framework for a Model-Based Risk Management Process
      Rune Fredriksen, Monica Kristiansen, Bjørn Axel Gran, Ketil Stølen, Tom Arthur Opperud, Theo Dimitrakos
      Pages 94-105
  7. Keynote Talk

    1. Software Challenges in Aviation Systems
      John C. Knight
      Pages 106-112
  8. Application of Formal Methods (Poster Session)

  9. Reliability Assessment

    1. Assessment of the Benefit of Redundant Systems
      Luping Chen, John May, Gordon Hughes
      Pages 151-162
    2. Estimating Residual Faults from Code Coverage
      Peter G. Bishop
      Pages 163-174
  10. Design for Dependability

    1. Analysing the Safety of a Software Development Process
      Stephen E. Paynter, Bob W. Born
      Pages 186-197

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 21st International Conference on Computer Safety, Reliability and Security, SAFECOMP 2002, held in Catania, Italy in September 2002.
The 27 revised papers presented together with 3 keynote presentations were carefully reviewed and selected from 69 submissions. The papers are organized in topical sections on human-computer system dependability, human factors, security, dependability assessment, application of formal methods, reliability assessment, design for dependability, and safety assessment.

Keywords

Code Computer Safety Correct Systems Behavior Data Integrity Dependable Systems Error-correcting Code Formal Methods Information Reliable Computing Systems Validation algorithms automata logic petri net security

Editors and affiliations

  • Stuart Anderson
    • 1
  • Massimo Felici
    • 1
  • Sandro Bologna
    • 2
  1. 1.LFCS, Division of InformaticsThe University of EdinburghEdinburghUK
  2. 2.ENEA CR CasacciaRomeItaly

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-44157-1
  • Online ISBN 978-3-540-45732-9
  • Series Print ISSN 0302-9743