Developments in Risk-based Approaches to Safety

Proceedings of the Fourteenth Safety-critical Systems Symposium, Bristol, UK, 7–9 February 2006

  • Felix Redmill
  • Tom Anderson

Table of contents

  1. Front Matter
    Pages I-X
  2. Tutorial

    1. Front Matter
      Pages 1-1
  3. New Approaches to Risk Assessment

  4. Experience of Developing Safety Cases

    1. Front Matter
      Pages 81-81
    2. Werner Winkelbauer, Gabriele Schedl, Andreas Gerstinger
      Pages 83-104
    3. Derek Fowler, Bernd Tiemeyer
      Pages 105-137
  5. Management Influence on Safety

    1. Front Matter
      Pages 139-139
    2. Andrew Vickers
      Pages 141-153
    3. Felix Redmill
      Pages 155-169
  6. Software Safety

    1. Front Matter
      Pages 185-185
    2. José F. Ruiz
      Pages 187-198
    3. Dewi Daniels
      Pages 199-213
  7. New Technologies in Safety-Critical Systems

    1. Front Matter
      Pages 215-215
    2. Richard Everson, Jonathan Fieldsend, Trevor Bailey, Wojtek Krzanowski, Derek Partridge, Vitaly Schetinin et al.
      Pages 217-230
    3. D. Partridge, T. C. Bailey, R. M. Everson, J. E. Fieldsend, A. Hernandez, W. J. Krzanowski et al.
      Pages 231-239

About these proceedings

Introduction

Developments in Risk-based Approaches to Safety contains the invited papers presented at the Fourteenth annual Safety-critical Systems Symposium, held at Bristol, UK in February 2006.

The papers included in this volume address the most critical topics in the field of safety-critical systems. The focus this year, considered from various perspectives, is on recent developments in risk-based approaches. Subjects discussed include innovation in risk analysis, management risk, the safety case, software safety, language development and the creation of systems for complex control functions.

Papers provide a mix of industrial experience and academic research results and are presented under the headings: Tutorial, New Approaches to Risk Assessment, Experience of Developing Safety Cases, Management Influence on Safety, Software Safety, New Technologies in Safety-critical Systems, Adding Dimensions to Safety Cases.

Keywords

Ada Safety-critical Systems Standards classification development language safety engineering safety-critical system simulation software software engineering

Editors and affiliations

  • Felix Redmill
    • 1
  • Tom Anderson
    • 2
  1. 1.Redmill ConsultancyLondon
  2. 2.Centre for Software ReliabilityUniversity of NewcastleNewcastle upon Tyne

Bibliographic information

  • DOI https://doi.org/10.1007/1-84628-447-3
  • Copyright Information Springer-Verlag London Limited 2006
  • Publisher Name Springer, London
  • eBook Packages Computer Science
  • Print ISBN 978-1-84628-333-8
  • Online ISBN 978-1-84628-447-2