Safety and Reliability of Software Based Systems

1. Front Matter

   Pages i-xiii

   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

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.

• C++ programming language
• design
• development
• formal methods
• safety-critical system
• simulation
• software
• testing

• ERA Technology Limited, Leatherhead Surrey, UK

  Roger Shaw

Policies and ethics