© 2007

The Safety of Systems

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

  • Felix Redmill
  • Tom Anderson
Conference proceedings

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


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.


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

  • Book Title The Safety of Systems
  • Book Subtitle Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007
  • Editors Felix Redmill
    Tom Anderson
  • DOI
  • Copyright Information Springer-Verlag London 2007
  • Publisher Name Springer, London
  • eBook Packages Computer Science Computer Science (R0)
  • Softcover ISBN 978-1-84628-805-0
  • eBook ISBN 978-1-84628-806-7
  • Edition Number 1
  • Number of Pages X, 262
  • Number of Illustrations 61 b/w illustrations, 0 illustrations in colour
  • Topics Software Engineering
    System Performance and Evaluation
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment