Safety-Critical Systems: Problems, Process and Practice

Proceedings of the Seventeenth Safety-Critical Systems Symposium, Brighton, UK, 3–5 February 2009

  • Chris Dale
  • Tom Anderson
Conference proceedings

DOI: 10.1007/978-1-84882-349-5

Table of contents (15 papers)

  1. Front Matter
    Pages I-X
  2. Tutorial Paper

    1. Front Matter
      Pages 1-1
  3. The Economics of Safety

  4. Transport Safety

    1. Front Matter
      Pages 69-69
    2. Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies
      Jörn Stuphorn, Bernd Sieker, Peter B. Ladkin
      Pages 95-115
  5. Safety in Society

  6. New Challenges

    1. Front Matter
      Pages 147-147
    2. Certification of FPGAs - Current Issues and Possible Solutions
      Iain Bate, Philippa Conmy
      Pages 149-165
  7. Safety Assessment

    1. Front Matter
      Pages 177-177
    2. Back to Basics: Risk Matr ices and ALARP
      Glen Wilkinson, Rhys David
      Pages 179-182

About these proceedings

Introduction

Safety-Critical Systems: Problems, Process and Practice contains the papers presented at the seventeenth annual Safety-critical Systems Symposium, held at Brighton, UK, in February 2009.

The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress.

The first paper reflects a tutorial - on Hazard Analysis - held on the first day of the Symposium. The subsequent 14 papers are presented under the headings of the Symposium's sessions: the Economics of Safety, Transport Safety, Safety in Society, New Challenges, Safety Assessment and Safety Standards.

The book will be of interest to both academics and practitioners working in the safety-critical systems arena.

Keywords

DOORS FPGA Hazard Analysis Safety Assessment Safety Standards Safety-critical systems development modeling risk management safety engineering safety-critical system software standards system

Editors and affiliations

  • Chris Dale
    • 1
  • Tom Anderson
    • 2
  1. 1.Dale Research LtdMartockUK
  2. 2.Centre for Software ReliabilityUniversity of NewcastleNewcastle upon TyneUK

Bibliographic information

  • Copyright Information Springer London 2009
  • Publisher Name Springer, London
  • eBook Packages Computer Science
  • Print ISBN 978-1-84882-348-8
  • Online ISBN 978-1-84882-349-5