Skip to main content
SpringerLink
Log in

Improvements in System Safety

Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008

  • Conference proceedings
  • © 2008

Overview

Editors:
  1. Felix Redmill

    1. Redmill Consultancy, London, UK

    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, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Proceedings of SSS 2008

  • Includes supplementary material: sn.pub/extras

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 (15 papers)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  3. Themes Reprised from SSS ʽ07

    1. Making Safe Software Secure

      • Odd Nordland
      Pages 15-23

    2. Safety Process Improvement with POSE and Alloy

      • Derek Mannering, Jon G. Hall, Lucia Rapanotti
      Pages 25-41

    3. How to Select a Programming Language Subset to Maximise Software Quality

      • Wojciech Basalaj
      Pages 43-56

  4. The Safety Case

    1. Safety Case Development How can I continue the work?

      • Tadeusz Cichocki
      Pages 59-76

    2. Safety Case Experiences from Harrier

      • Jeff Lucas
      Pages 77-91

  6. Human Factors

    1. A Human Factors Perspective on Safety Management Systems

      • Christopher Lowe
      Pages 139-153

    2. Human Factors Safety Assurance for Changing ATM Systems

      • Stephen O. Clark, Steven T. Shorrock, Nic Turley
      Pages 155-173

  7. Achieving and Improving System Safety

    1. Practical Ways of Improving Product Safety in Industry

      • Gabriele Schedl, Werner Winkelbauer
      Pages 177-193

    2. Prototyping versus Formal Development

      • Mike Ainsworth
      Pages 195-207

    3. Systems Approach to Unmanned Air Vehicle Development and Certification

      • Richard Sleeman, Andrew Cox, Jenny Colledge
      Pages 209-221

  8. Safety and Risk Analysis

    1. Safety Analysis: Thoughts on Methods and Experience

      • Michael Ellims
      Pages 225-238

    2. Simplifying the Creation and Use of the Risk Matrix

      • Robin Cook
      Pages 239-264

  9. Back Matter

    Pages 265-265
    Download chapter PDF
Back to top

Keywords

About this book

Contains the invited papers presented at the Sixteenth annual Safety-critical Systems Symposium, held in February 2008 in the UK

Presents a broad spectrum of major safety issues and the papers included cover a broad spectrum of issues affecting safety and bring together topics that are of the utmost importance in current safety thinking. Papers provide a combination of extensive industrial experience and academic research

State-of-the-art contributions will appeal to practitioners and researchers alike, as well as to postgraduates

Editors and Affiliations

  • Redmill Consultancy, London, UK

    Felix Redmill

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

    Tom Anderson

Bibliographic Information

  • Book Title: Improvements in System Safety

  • Book Subtitle: Proceedings of the Sixteenth Safety-critical Systems Symposium, Bristol, UK, 5-7 February 2008

  • Editors: Felix Redmill, Tom Anderson

  • DOI: https://doi.org/10.1007/978-1-84800-100-8

  • Publisher: Springer London

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

  • Copyright Information: Springer-Verlag London 2008

  • Softcover ISBN: 978-1-84800-099-5Published: 25 January 2008

  • eBook ISBN: 978-1-84800-100-8Published: 25 December 2007

  • Edition Number: 1

  • Number of Pages: X, 266

  • Number of Illustrations: 42 b/w illustrations

  • Topics: Software Engineering, System Performance and Evaluation

Publish with us

Policies and ethics

Back to top

Search

Navigation