Human Error, Safety and Systems Development

IFIP 18th World Computer Congress TC13/WC13.5 7th Working Conference on Human Error, Safety and Systems Development 22–27 August 2004 Toulouse, France

  • Chris W. Johnson
  • Philippe Palanque
Conference proceedings

Part of the IFIP International Federation for Information Processing book series (IFIPAICT, volume 152)

Table of contents

  1. Front Matter
    Pages i-xvii
  2. Risk Management

    1. Christopher A. Hart
      Pages 17-30
    2. Ola Leifler, Björn Johansson, Mats Persson, Georgios Rigas
      Pages 31-43
  3. Formal Methods and Notations

    1. Karsten Loer, Michael Hildebrandt, Michael Harrison
      Pages 45-60
    2. Yamine Aït-Ameur, Benoit Breholée, Patrick Girard, Laurent Guittet, Francis Jambon
      Pages 61-76
    3. Claudia V. S. Guerrero, Maria de F. Q. V. Turnell, Jean-Marc Mercantini, Eugène Chouraqui, Fernando A. Q. Vieira, Madson R. B. Pereira
      Pages 77-92
  4. Error Analysis

  5. Methodologies

    1. William S. Greenwell, Elisabeth A. Strunk, John C. Knight
      Pages 163-176
    2. Jérémie Guiochet, Gilles Motet, Claude Baron, Guy Boy
      Pages 177-191
    3. Hans H. K. Andersen, Gunnar Hauland
      Pages 209-221
  6. Incidents and Accidents Analysis (Part two)

  7. Design for Error Tolerance

    1. Bastiaan A. Schupp, Shamus P. Smith, Peter C. Wright, Louis H. J. Goossens
      Pages 285-300
    2. Ana-Maria-Marhan , Fabio Paternò, Carmen Santoro
      Pages 301-317
  8. Back Matter
    Pages 319-322

About these proceedings


Recent accidents in a range of industries have increased concern over the design, development, management and control of safety-critical systems. Attention has now focused upon the role of human error both in the development and in the operation of complex processes.

Human Error, Safety and Systems Development gathers contributions from practitioners and researchers presenting and discussing leading edge techniques that can be used to mitigate the impact of error (both system and human) on safety-critical systems. Some of these contributions can be easily integrated into existing systems engineering practices while others provide a more theoretical and fundamental perspective on the issues raised by these kinds of interactive systems. More precisely the contributions cover the following themes:
–Techniques for incident and accident analysis;
–Empirical studies of operator behaviour in safety-critical systems;
–Observational studies of safety-critical systems;
–Risk assessment techniques for interactive systems;
–Safety-related interface design, development and testing;
–Formal description techniques for the design and development of safety-critical interactive systems.

Many diverse sectors are covered, including but not limited to aviation, maritime and the other transportation industries, the healthcare industry, process and power generation and military applications.

This volume contains 20 original and significant contributions addressing these critical questions. The papers were presented at the 7th IFIP Working Group 13.5 Working Conference on Human Error, Safety and Systems Development, which was held in August 2004 in conjunction with the 18th IFIP World Computer Congress in Toulouse, France, and sponsored by the International Federation for Information Processing (IFIP).


Industrie Interface Management Systems Engineering Transport Unified Modeling Language (UML) automation development environment formal method formal verification model organization

Editors and affiliations

  • Chris W. Johnson
    • 1
  • Philippe Palanque
    • 2
  1. 1.University of GlasgowScotland
  2. 2.Université Paul SabatierFrance

Bibliographic information

  • DOI
  • Copyright Information Springer Science + Business Media, Inc. 2004
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4020-8152-1
  • Online ISBN 978-1-4020-8153-8
  • Series Print ISSN 1571-5736
  • Buy this book on publisher's site