The Safety of Systems

Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007

  • Felix Redmill
  • Tom Anderson

Table of contents

  1. Front Matter
    Pages I-X
  2. Interdependence of Safety and Security

    1. Front Matter
      Pages 1-1
    2. Brian Dobbing, Samantha Lautieri
      Pages 35-51
  3. Demonstrating Safety

    1. Front Matter
      Pages 53-53
    2. Ibrahim Habli, Tim Kelly
      Pages 55-68
    3. Alan Newton, Andrew Vickers
      Pages 69-82
  4. Safety Management

  5. Trends in Safety Case Development

    1. Front Matter
      Pages 131-131
    2. Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly
      Pages 133-146
    3. John Spriggs
      Pages 147-159
  6. Lessons in Safety Assessment

    1. Front Matter
      Pages 161-161
    2. Paul Edwards, Andrew Furse, Andrew Vickers
      Pages 163-178
  7. High Integrity from Specification to Code

    1. Front Matter
      Pages 215-215

About these proceedings

Introduction

The Safety of Systems contains the invited papers presented at the fifteenth annual Safety-critical Systems Symposium, held at Bristol, UK in February 2007.

The papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial experience and recent developments, and are presented under the headings: Interdependence of Safety and Security, Demonstrating Safety, Safety Management, Trends in Safety Case Development, Lessons in Safety Assessment, and High Integrity from Specification to Code.

Keywords

C++ programming language DOORS Safety-critical Systems architecture development reliability safety engineering safety-critical system security software software engineering structured analysis

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/978-1-84628-806-7
  • Copyright Information Springer-Verlag London 2007
  • Publisher Name Springer, London
  • eBook Packages Computer Science
  • Print ISBN 978-1-84628-805-0
  • Online ISBN 978-1-84628-806-7
  • About this book