Computer Safety, Reliability, and Security

27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings

  • Michael D. Harrison
  • Mark-Alexander Sujan
Conference proceedings SAFECOMP 2008

DOI: 10.1007/978-3-540-87698-4

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

Table of contents (36 papers)

  1. Front Matter
  2. Keynote Papers

  3. Software Dependability

    1. The Effectiveness of T-Way Test Data Generation
      Michael Ellims, Darrel Ince, Marian Petre
      Pages 16-29
    2. Towards Agile Engineering of High-Integrity Systems
      Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke
      Pages 30-43
    3. SafeSpection – A Systematic Customization Approach for Software Hazard Identification
      Christian Denger, Mario Trapp, Peter Liggesmeyer
      Pages 44-57
    4. Integrating Safety Analyses and Component-Based Design
      Dominik Domis, Mario Trapp
      Pages 58-71
    5. Modelling Support for Design of Safety-Critical Automotive Embedded Systems
      DeJiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner et al.
      Pages 72-85
  4. Resilience

    1. Resilience in the Aviation System
      Antonio Chialastri, Simone Pozzi
      Pages 86-98
    2. Resilience Markers for Safer Systems and Organisations
      Jonathan Back, Dominic Furniss, Michael Hildebrandt, Ann Blandford
      Pages 99-112
    3. Modeling and Analyzing Disaster Recovery Plans as Business Processes
      Andrzej Zalewski, Piotr Sztandera, Marcin Ludzia, Marek Zalewski
      Pages 113-125
  5. Fault Tolerance

    1. Analysis of Nested CRC with Additional Net Data in Communication
      Tina Mattes, Frank Schiller, Annemarie Mörwald, Thomas Honold
      Pages 126-138
    2. Symbolic Reliability Analysis of Self-healing Networked Embedded Systems
      Michael Glaß, Martin Lukasiewycz, Felix Reimann, Christian Haubelt, Jürgen Teich
      Pages 139-152
  6. Security

    1. Secure Interaction Models for the HealthAgents System
      Liang Xiao, Paul Lewis, Srinandan Dasmahapatra
      Pages 167-180
    2. Security Challenges in Adaptive e-Health Processes
      Michael Predeschly, Peter Dadam, Hilmar Acker
      Pages 181-192
    3. Creating a Secure Infrastructure for Wireless Diagnostics and Software Updates in Vehicles
      Dennis K. Nilsson, Ulf E. Larson, Erland Jonsson
      Pages 207-220

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2008, held in Newcastle upon Tyne, UK, in September 2008.

The 32 revised full papers presented together with 3 keynote papers and a panel session were carefully reviewed and selected from 115 submissions. The papers are organized in topical sections on software dependability, resilience, fault tolerance, security, safety cases, formal methods, dependability modelling, as well as security and dependability.

Keywords

ATM Controller Area Network (CAN) access control certification cognitive systems complexity complexity reduction computer reliability computer safety computer security correct systems behaviour data integrity dependability dynamic systems e-commerce

Editors and affiliations

  • Michael D. Harrison
    • 1
  • Mark-Alexander Sujan
    • 2
  1. 1.School of Computing ScienceNewcastle UniversityNewcastle upon TyneUK
  2. 2.Health Sciences Research InstituteUniversity of WarwickCoventryUK

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-87697-7
  • Online ISBN 978-3-540-87698-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349