Skip to main content
SpringerLink
Log in
Book cover

Computer Safety, Reliability, and Security

22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003, Proceedings

  • Conference proceedings
  • © 2003

Overview

Editors:
  1. Stuart Anderson

    1. School of Informatics, The University of Edinburgh LFCS, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Massimo Felici

    1. School of Informatics, The University of Edinburgh, Edinburgh, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Bev Littlewood

    1. Centre for Software Reliability, City University, Northampton Square, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: SAFECOMP 2003.

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

Table of contents (32 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote Talk

    1. Issues in Safety Assurance

      • Martyn Thomas
      Pages 1-7

  3. Formal Methods

    1. Elicitation and Validation of Graphical Dependability Models

      • David Wright
      Pages 8-21

    2. Visual Modeling and Verification of Distributed Reactive Systems

      • A. Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh
      Pages 22-34

    3. Automatic Timeliness Verification of a Public Mobile Network

      • E. Ciancamerla, M. Minichino, S. Serro, E. Tronci
      Pages 35-48

    4. Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform

      • Marco Bozzano, Adolfo Villafiorita
      Pages 49-62

  4. Design for Dependability

    1. Integrity Static Analysis of COTS/SOUP

      • P. Bishop, R. Bloomfield, T. Clement, S. Guerra, C. Jones
      Pages 63-76

    2. Safety Lifecycle for Developing Safety Critical Artificial Neural Networks

      • Zeshan Kurd, Tim Kelly
      Pages 77-91

    3. Quantitative Reliability Estimation of a Computer-Based Motor Protection Relay Using Bayesian Networks

      • Atte Helminen, Urho Pulkkinen
      Pages 92-102

    4. A Dependability Model for Domestic Systems

      • Guy Dewsbury, Ian Sommerville, Karen Clarke, Mark Rouncefield
      Pages 103-115

  5. Security and Formal Methods

    1. Modelling and Verification of Layered Security Protocols: A Bank Application

      • Johannes Grünbauer, Helia Hollmann, Jan Jürjens, Guido Wimmel
      Pages 116-129

    2. A Constraint Framework for the Qualitative Analysis of Dependability Goals: Integrity

      • Stefano Bistarelli, Simon N. Foley
      Pages 130-143

    3. Software Tamper Resistance Using Program Certificates

      • Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson
      Pages 144-158

  6. Keynote Talk

    1. Developing High Assurance Systems: On the Role of Software Tools

      • Constance Heitmeyer
      Pages 159-164

  7. Dependability and Performance Analysis

    1. Web Service Availability – Impact of Error Recovery

      • Magnos Martinello, Mohamed Kaâniche, Karama Kanoun
      Pages 165-178

    2. A Unified Tool for Performance Modelling and Prediction

      • Stephen Gilmore, Leïla Kloul
      Pages 179-192

  8. Dependability of Medical Systems

    1. An Approach to Trust Case Development

      • J. Górski, A. Jarzêbowicz, R. Leszczyna, J. Miler, M. Olszewski
      Pages 193-206

    2. Reliable Data Replication in a Wireless Medical Emergency Network

      • Joe Gorman, Ståle Walderhaug, Håvard Kvålen
      Pages 207-220

    3. Critical Feature Analysis of a Radiotherapy Machine

      • Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman
      Pages 221-234

  9. Fault Tolerance

    1. Byzantine Fault Tolerance, from Theory to Reality

      • Kevin Driscoll, Brendan Hall, Håkan Sivencrona, Phil Zumsteg
      Pages 235-248
Back to top

Other volumes

  1. Computer Safety, Reliability, and Security

Keywords

About this book

Edinburgh, the Scottish capital, hosted SAFECOMP 2003. Since its establishment, SAFECOMP, the series of conferences on Computer Safety, Reliability and Security, has contributed to the progress of the state of the art in dependable applications of computer systems. SAFECOMP provides ample opportunity to exchange insights and experiences in emerging methods across the borders of different disciplines. SAFECOMP year after year registers new multidisciplinary trends on dependability of computer-based systems. The cross-fertilization between different scientific communities and industry supports the achievement of long-term results contributing to the integration of multidisciplinary experiences in order to improve the design and deployment of dependable computer-based systems. Over the years the participation of industry in SAFECOMP has grown steadily. This emphasizes the importance of technology transfer between academia and industry. SAFECOMP 2003 further sustains the healthy interchange of research results and practical experiences. The SAFECOMP 2003 program consisted of 30 papers selected from 96 submissions from all over the world. SAFECOMP 2003 acknowledges the invited keynote talks enhancing the technical and scientific merit of the conference.

Editors and Affiliations

  • School of Informatics, The University of Edinburgh LFCS, Edinburgh, UK

    Stuart Anderson

  • School of Informatics, The University of Edinburgh, Edinburgh, UK

    Massimo Felici

  • Centre for Software Reliability, City University, Northampton Square, London, UK

    Bev Littlewood

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation