Skip to main content
SpringerLink
Log in
Book cover

The Safety of Systems

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

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Felix Redmill

    1. Redmill Consultancy, London

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Tom Anderson

    1. Centre for Software Reliability, University of Newcastle, Newcastle upon Tyne

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Proceedings of SSS 2007

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.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 (15 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Interdependence of Safety and Security

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Achieving Safety through Security Management

      • John Ridgway
      Pages 3-20

    3. Towards a Unified Approach to Safety and Security in Automotive Systems

      • Peter H Jesty, David D Ward
      Pages 21-34

    4. Dependability-by-Contract

      • Brian Dobbing, Samantha Lautieri
      Pages 35-51

  3. Demonstrating Safety

    1. Front Matter

      Pages 53-53
      Download chapter PDF

    2. Achieving Integrated Process and Product Safety Arguments

      • Ibrahim Habli, Tim Kelly
      Pages 55-68

    3. The Benefits of Electronic Safety Cases

      • Alan Newton, Andrew Vickers
      Pages 69-82

  5. Trends in Safety Case Development

    1. Front Matter

      Pages 131-131
      Download chapter PDF

    2. Safety Case Composition Using Contracts - Refinements based on Feedback from an Industrial Case Study

      • Jane Fenn, Richard Hawkins, Phil Williams, Tim Kelly
      Pages 133-146

    3. The Sum of its Parts

      • John Spriggs
      Pages 147-159

  6. Lessons in Safety Assessment

    1. Front Matter

      Pages 161-161
      Download chapter PDF

    2. Independently Assessing Legacy Safety Systems

      • Paul Edwards, Andrew Furse, Andrew Vickers
      Pages 163-178

    3. Safety Assessments of Air Traffic Systems

      • Rodney May
      Pages 179-195

    4. CARA: A Human Reliability Assessment Tool for Air Traffic Safety Management — Technical Basis and Preliminary Architecture

      • Barry Kirwan, Huw Gibson
      Pages 197-214

  7. High Integrity from Specification to Code

    1. Front Matter

      Pages 215-215
      Download chapter PDF
Back to top

Keywords

About this book

Since 1993 the Safety-Critical Systems Club has hosted the Safety-critical Systems Symposium (SSS) each February. Every year the programme has reflected what is then of particular interest to the safety community - in ways of working, in analysis techniques, in technology, in standards, and in research work that is on the point of being useful to practitioners. This book presents the papers delivered at the landmark fifteenth SSS. A subject that is mostly neglected by safety practitioners but which, if studied more carefully, could lead to both technical and economic efficiencies, as well as more effective protection, is the relationship between safety and security. The management of both is based on risk analysis and there are indications that the analyses could effectively be combined. The Symposium has offered papers on this subject in the past, and this year there are three. Continuing the trend of recent years, there are five papers on the development of safety cases, which are intended to demonstrate, or claim, the achievement of safety - in defined applications and under given circumstances. Some of the papers report on experiences in the field, but others venture to propose new ways in which safety cases may be used or extended.

Editors and Affiliations

  • Redmill Consultancy, London

    Felix Redmill

  • Centre for Software Reliability, University of Newcastle, Newcastle upon Tyne

    Tom Anderson

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: https://doi.org/10.1007/978-1-84628-806-7

  • Publisher: Springer London

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

  • Copyright Information: Springer-Verlag London 2007

  • Softcover ISBN: 978-1-84628-805-0Published: 13 March 2007

  • eBook ISBN: 978-1-84628-806-7Published: 05 March 2008

  • Edition Number: 1

  • Number of Pages: X, 262

  • Number of Illustrations: 61 b/w illustrations

  • Topics: Software Engineering, System Performance and Evaluation

Publish with us

Policies and ethics

Back to top

Search

Navigation