Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

  • Denis Besnard
  • Cristina Gacek
  • Cliff B. Jones

Table of contents

  1. Front Matter
    Pages i-xii
  2. Introduction

    1. Front Matter
      Pages 1-1
    2. Cliff B Jones, Brian Randell
      Pages 3-15
  3. System Properties

    1. Front Matter
      Pages 47-47
    2. Alan Burns, Gordon Baxter
      Pages 74-88
  4. Human Components

    1. Front Matter
      Pages 89-89
    2. Denis Besnard, Gordon Baxter
      Pages 107-124
  5. Systems Descriptions

    1. Front Matter
      Pages 125-125
    2. Cristina Gacek, Rogério de Lemos
      Pages 127-142
    3. David Martin, Ian Sommerville
      Pages 169-188
  6. Guaranteeing Dependability

    1. Front Matter
      Pages 215-215
    2. Jeremy Bryans, Budi Arief
      Pages 217-227
    3. Michael Jackson
      Pages 228-253
    4. Mark A. Sujan, Shamus P. Smith, Michael D. Harrison
      Pages 269-287

About this book

Introduction

This book breaks new ground by presenting an interdisciplinary approach to a crucial problem – system dependability. Computer-based systems include hardware, software and people. Achieving dependability for such systems requires an interdisciplinary approach.

In Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective, computer scientists, sociologists, statisticians and psychologists bring together their latest research on the structure of dependable computer-based systems. The result is a highly readable overview of ways to achieve dependability in large computer-based systems with practical advice on designing dependable systems.

Work on structure for dependability has usually come from a single discipline and has been concerned only with the computer systems. Stakeholders and system designers now agree that human and social issues cannot be separated from technical matters. The approach taken in this book demonstrates that interdisciplinarity delivers real benefits in the design and deployment of complex computer-based systems.

This book is one of the outcomes of a six year Interdisciplinary Research Collaboration. Topics covered include fault tolerance, system evolution, determining software specifications, HCI, architecture, certification, dependability arguments, organisations, diagrams, time and procedures.

System developers, stakeholders, decision makers, policymakers and researchers will find this book a unique resource which highlights the core issues for all those involved in improving dependability in complex computer-based environments.

 

Keywords

architecture computer design development ethnography human-computer interaction (HCI) organization security software software development software engineering time

Editors and affiliations

  • Denis Besnard
    • 1
  • Cristina Gacek
    • 1
  • Cliff B. Jones
    • 1
  1. 1.School of Computing Science Claremont TowerUniversity of Newcastle upon TyneNewcastle upon TyneUK

Bibliographic information

  • DOI https://doi.org/10.1007/b138838
  • Copyright Information Springer-Verlag London Limited 2006
  • Publisher Name Springer, London
  • eBook Packages Computer Science
  • Print ISBN 978-1-84628-110-5
  • Online ISBN 978-1-84628-111-2
  • About this book