Computer Safety, Reliability, and Security

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

  • Stuart Anderson
  • Massimo Felici
  • Bev Littlewood
Conference proceedings SAFECOMP 2003

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

Table of contents

  1. Front Matter
  2. Keynote Talk

    1. Martyn Thomas
      Pages 1-7
  3. Formal Methods

    1. A. Iqbal, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh
      Pages 22-34
    2. E. Ciancamerla, M. Minichino, S. Serro, E. Tronci
      Pages 35-48
  4. Design for Dependability

    1. P. Bishop, R. Bloomfield, T. Clement, S. Guerra, C. Jones
      Pages 63-76
    2. Guy Dewsbury, Ian Sommerville, Karen Clarke, Mark Rouncefield
      Pages 103-115
  5. Security and Formal Methods

    1. Johannes Grünbauer, Helia Hollmann, Jan Jürjens, Guido Wimmel
      Pages 116-129
    2. Hongxia Jin, Gregory F. Sullivan, Gerald M. Masson
      Pages 144-158
  6. Keynote Talk

  7. Dependability and Performance Analysis

    1. Magnos Martinello, Mohamed Kaâniche, Karama Kanoun
      Pages 165-178
    2. Stephen Gilmore, Leïla Kloul
      Pages 179-192
  8. Dependability of Medical Systems

    1. J. Górski, A. Jarzêbowicz, R. Leszczyna, J. Miler, M. Olszewski
      Pages 193-206
    2. Joe Gorman, Ståle Walderhaug, Håvard Kvålen
      Pages 207-220
    3. Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman
      Pages 221-234
  9. Fault Tolerance

    1. Kevin Driscoll, Brendan Hall, Håkan Sivencrona, Phil Zumsteg
      Pages 235-248

About these proceedings

Introduction

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.

Keywords

Code SAP communication computer safety configuration correct systems behavior data integrity dependable systems embedded systems formal methods modeling reactive systems reliable computing security systems verification

Editors and affiliations

  • Stuart Anderson
    • 1
  • Massimo Felici
    • 2
  • Bev Littlewood
    • 3
  1. 1.School of InformaticsThe University of Edinburgh LFCSEdinburghUK
  2. 2.School of InformaticsThe University of EdinburghEdinburghUK
  3. 3.Centre for Software ReliabilityCity University, Northampton SquareLondonUK

Bibliographic information

  • DOI https://doi.org/10.1007/b12002
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-20126-7
  • Online ISBN 978-3-540-39878-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book