Skip to main content
SpringerLink
Log in
Book cover

Advances in Systems Safety

Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Chris Dale

    1. Dale Research Ltd., Martock, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tom Anderson

    1. , Centre for Software Reliability, Newcastle University, Newcastle upon Tyne, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • This volume offers a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience.

  • Includes papers in the following areas: Safety Cases; Projects, Services and Systems of Systems; Systems Safety in Healthcare; Testing Safety-Critical Systems; Technological Matters and Safety Standards.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (17 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Safety Cases

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. A New Approach to creating Clear Safety Arguments

      • Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon
      Pages 3-23

    3. Safety Cases – what can we learn from Science?

      • Steve Kinnersly
      Pages 25-40

    4. Accounting for Evidence: Managing Evidence for Goal Based Software Safety Standards

      • Vivien Hamilton
      Pages 41-51

  3. Projects, Services and Systems of Systems

    1. Front Matter

      Pages 53-53
      Download chapter PDF

    2. Distinguishing Fact from Fiction in a System of Systems Safety Case

      • Zoä Stephenson, Christian Fairburn, George Despotou, Tim Kelly, Nicola Herbert, Bruce Daughtrey
      Pages 55-72

    3. A Project Manager’s View of Safety-Critical Systems

      • Thomas Docker
      Pages 73-88

    4. System Safety in an IT Service Organization

      • Mike Parsons, Simon Scutt
      Pages 89-107

  4. Systems Safety in Healthcare

    1. Front Matter

      Pages 109-109
      Download chapter PDF

    2. Integrating a Risk-based Approach and ISO 62304 into a Quality System for Medical Devices

      • Celestina Bianco
      Pages 111-125

    3. Maintaining the Safety of Operational Health ICT Systems

      • Alan Debenham
      Pages 127-141

    4. Testing of Safety-Critical Software Embedded in an Artificial Heart

      • Sungdeok Cha, Sehun Jeong, Junbeom Yoo, Young-Gab Kim
      Pages 143-153

  5. Testing Safety-Critical Systems

    1. Front Matter

      Pages 155-155
      Download chapter PDF

    2. A Risk Driven Approach to testing Medical Device Software

      • Albert Farré Benet
      Pages 157-168

    3. Testing Experiences of Safety-Critical Embedded Systems

      • Bryan Bakker
      Pages 169-186

    4. Testing of Safety-Critical Systems – a Structural Approach to Test Case Design

      • Armin Beer, Bernhard Peischl
      Pages 187-211

  6. Technological Matters

    1. Front Matter

      Pages 213-213
      Download chapter PDF

    2. Safety, Security and Multicore

      • Paul Parkinson
      Pages 215-232

    3. A Pragmatic View of Formal Methods: the Hi-Lite Project

      • Robert Dewar
      Pages 233-248
Back to top

Keywords

About this book

Advances in Systems Safety contains the papers presented at the nineteenth annual Safety-Critical Systems Symposium, held at Southampton, UK, in February 2011.

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 17 papers in this volume are presented under the headings of the Symposium’s sessions: Safety Cases; Projects, Services and Systems of Systems; Systems Safety in Healthcare; Testing Safety-Critical Systems; Technological Matters and Safety Standards.

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

Editors and Affiliations

  • Dale Research Ltd., Martock, United Kingdom

    Chris Dale

  • , Centre for Software Reliability, Newcastle University, Newcastle upon Tyne, United Kingdom

    Tom Anderson

Bibliographic Information

  • Book Title: Advances in Systems Safety

  • Book Subtitle: Proceedings of the Nineteenth Safety-Critical Systems Symposium, Southampton, UK, 8-10th February 2011

  • Editors: Chris Dale, Tom Anderson

  • DOI: https://doi.org/10.1007/978-0-85729-133-2

  • Publisher: Springer London

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag London Limited 2011

  • Softcover ISBN: 978-0-85729-132-5Published: 15 December 2010

  • eBook ISBN: 978-0-85729-133-2Published: 29 November 2010

  • Edition Number: 1

  • Number of Pages: X, 315

  • Number of Illustrations: 62 b/w illustrations

  • Topics: Systems and Data Security, System Performance and Evaluation, Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation