Achieving Systems Safety

Proceedings of the Twentieth Safety-Critical Systems Symposium, Bristol, UK, 7-9th February 2012

  • Chris Dale
  • Tom Anderson

Table of contents

  1. Front Matter
    Pages i-x
  2. Derek Fowler, Ronald Pierce
    Pages 115-136
  3. Paul Hampton
    Pages 137-158
  4. Peter Ladkin
    Pages 189-207
  5. Stuart Reid
    Pages 237-255
  6. John McDermid, Andrew Rae
    Pages 257-270
  7. Mike Parsons
    Pages 271-284

About these proceedings

Introduction

Achieving Systems Safety contains papers presented at the twentieth annual Safety-Critical Systems Symposium, held in Bristol, UK, in February 2012.

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 topics covered by the 20 papers in this volume include vulnerabilities in global navigation satellite systems; safety culture and community; transport safety; cyber-attacks on safety-critical systems; improving our approach to systems safety; accidents; assessment, validation and testing; safety standards and safety levels.

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

Keywords

Safety Critical Software Safety Culture Safety Engineering Safety Management Systems Safety Standards Safety-Critical Software Engineering

Editors and affiliations

  • Chris Dale
    • 1
  • Tom Anderson
    • 2
  1. 1.Dale Research Ltd.MartockUnited Kingdom
  2. 2.Centre for Software ReliabilityNewcastle UniversityNewcastle upon TyneUnited Kingdom

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4471-2494-8
  • Copyright Information Springer-Verlag London Limited 2012
  • Publisher Name Springer, London
  • eBook Packages Computer Science
  • Print ISBN 978-1-4471-2493-1
  • Online ISBN 978-1-4471-2494-8