Skip to main content
  • Conference proceedings
  • © 2008

Improvements in System Safety

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

  • Proceedings of SSS 2008

  • Includes supplementary material: sn.pub/extras

Buy it now

Buying options

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

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

Table of contents (15 papers)

  1. Front Matter

    Pages i-x
  2. 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. The Safety Case

    1. Safety Case Experiences from Harrier

      • Jeff Lucas
      Pages 77-91
  4. Human Factors

    1. Human Factors Safety Assurance for Changing ATM Systems

      • Stephen O. Clark, Steven T. Shorrock, Nic Turley
      Pages 155-173
  5. 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
  6. Safety and Risk Analysis

  7. Back Matter

    Pages 265-265

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

Buy it now

Buying options

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