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
    2. Oliver Rooks, Michael Armbruster, Serge Büchli, Armin Sulzmann, Gernot Spiegelberg, Uwe Kiencke
      Pages 249-262
    3. César Mataix, Pedro Martín, Francisco Javier Rodríguez, María José Manzano, Javier Pozo
      Pages 263-274
    4. Nagarajan Kandasamy, John P. Hayes, Brian T. Murray
      Pages 275-288
  10. Tools for Dependable Design

    1. Wolfgang Weber, Heidemarie Tondok, Michael Bachmayer
      Pages 289-302
    2. Kimberly S. Wasson, John C. Knight, Elisabeth A. Strunk, Sean R. Travis
      Pages 317-330
  11. Dependability of Critical Infrastructures

    1. George Angelis, Stefanos Gritzalis, Costas Lambrinoudakis
      Pages 331-341
    2. Sandro Bologna, Claudio Balducelli, Giovanni Dipoppa, Giordano Vicoli
      Pages 342-353
  12. Hazard and Safety Analysis

  13. Design for Dependability

  14. Back Matter

About these proceedings


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.


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
  • 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
  • Buy this book on publisher's site