Skip to main content
SpringerLink
Log in
Book cover

Safety and Reliability of Software Based Systems

Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Roger Shaw

    1. ERA Technology Limited, Leatherhead Surrey, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

  1. Front Matter

    Pages i-xiii
    Download chapter PDF

  2. Formal Methods and their Role in the Certification of Critical Systems

    • John Rushby
    Pages 1-42

  3. Safety Cases — How Did We Get Here?

    • Roger Shaw
    Pages 43-95

  4. System Safety — Challenge and Chance for Automotive Applications

    • Thomas Vogel
    Pages 96-106

  5. The SHIP Safety Case Approach: A Combination of System and Software Methods

    • P. G. Bishop, R. E. Bloomfield
    Pages 107-121

  6. Decision Making and Planning by Autonomous Agents; A Generic Architecture for Safety-Critical Applications

    • John Fox, Subrata Das, David Elsdon, Peter Hammond
    Pages 122-134

  7. Safety Case Development: Current Practice, Future Prospects

    • S. P. Wilson, T. P. Kelly, J. A. McDermid
    Pages 135-156

  8. Assuring Confidence in Pharmaceutical Software

    • Guy Wingate, Martin Smith, Paul Lucas
    Pages 157-175

  9. Computer-based Safety Systems — The Elements of an Acceptable Safety Case

    • D. W. Hunns
    Pages 176-182

  10. An Assessment Methodology for Safety Critical Computer Based Systems

    • Harold W. Lawson
    Pages 183-200

  11. The Safety of PES in the Offshore Industry

    • Tony Barrell, Tony Darlison
    Pages 201-216

  12. The Role of Measurement in Software Safety Assessment

    • Norman Fenton
    Pages 217-248

  13. “Unexpected (and Sometimes Unpleasant) Lessons from Data in Real Software Systems”

    • Les Hatton
    Pages 249-259

  14. Improving C Code Quality

    • Randy Marques
    Pages 260-264

  15. Improving Reuse in Space (IRIS)

    • Fernando Aldea, Gabriel Sánchez
    Pages 265-275

  16. Software Based Systems Dependability Requirements in the Process Industries

    • G. Picciolo
    Pages 276-287

  17. Applying the B-Method to Avionics Software: An Initial Report on the MIST Project

    • Jonathan Draper
    Pages 288-304

  18. Application of an Integrated, Modular, Metric Based System and Software Test Concept

    • Lars Oliefka
    Pages 305-316

  19. Railway Safety Cases

    • Chris Edwards
    Pages 317-322

  20. A Comparison of Different Safety-Critical Approaches used in Industry

    • Frédérique Vallée
    Pages 323-327
Back to top

Keywords

About this book

Safety and Reliability of Software Based Systems contains papers, presented at the twelfth annual workshop organised by the Centre for Software Reliability. Contributions come from different industries in many countries, and provide discussion and cross-fertilisation of ideas relevant to systems whose safety and/or reliability are of paramount concern.
This book discusses safety cases and their varying roles in different industries; using measurement to improve reliability and safety of software-based systems; latest developments in managing, developing and assessing software intensive systems where reliability and/or safety are important considerations; and practical experiences of others in industry.

Editors and Affiliations

  • ERA Technology Limited, Leatherhead Surrey, UK

    Roger Shaw

Bibliographic Information

  • Book Title: Safety and Reliability of Software Based Systems

  • Book Subtitle: Twelfth Annual CSR Workshop (Bruges, 12–15 September 1995)

  • Editors: Roger Shaw

  • DOI: https://doi.org/10.1007/978-1-4471-0921-1

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London Limited 1997

  • Softcover ISBN: 978-3-540-76034-4Published: 27 September 1996

  • eBook ISBN: 978-1-4471-0921-1Published: 06 December 2012

  • Edition Number: 1

  • Number of Pages: XIII, 461

  • Number of Illustrations: 23 b/w illustrations

  • Topics: Software Engineering

Publish with us

Policies and ethics

Back to top

Search

Navigation