Overview

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

Full Product Details

Author:   Roger Shaw ,  etc.
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   Softcover reprint of the original 1st ed. 1997
Dimensions:   Width: 15.50cm , Height: 2.40cm , Length: 23.50cm
Weight:   0.745kg
ISBN:  

9783540760344

ISBN 10:   3540760342
Pages:   461
Publication Date:   27 September 1996
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of Contents

Formal Methods and their Role in the Certification of Critical Systems.- Safety Cases - How Did We Get Here?.- System Safety - Challenge and Chance for Automotive Applications.- The SHIP Safety Case Approach: A Combination of System and Software Methods.- Decision Making and Planning by Autonomous Agents; A Generic Architecture for Safety-Critical Applications.- Safety Case Development: Current Practice, Future Prospects.- Assuring Confidence in Pharmaceutical Software.- Computer-based Safety Systems - The Elements of an Acceptable Safety Case.- An Assessment Methodology for Safety Critical Computer Based Systems.- The Safety of PES in the Offshore Industry.- The Role of Measurement in Software Safety Assessment.- Unexpected (and Sometimes Unpleasant) Lessons from Data in Real Software Systems .- Improving C Code Quality.- Improving Reuse in Space (IRIS).- Software Based Systems Dependability Requirements in the Process Industries.- Applying the B-Method to Avionics Software: An Initial Report on the MIST Project.- Application of an Integrated, Modular, Metric Based System and Software Test Concept.- Railway Safety Cases.- A Comparison of Different Safety-Critical Approaches used in Industry.- Safety Cases for Software-Based Systems.- Object-Oriented Approach to Safety Analysis.- FMEA and FTA to Support Safe Design of Embedded Software in Safety-Critical Systems.- Use of Hazard Analysis Techniques During the Product Life Cycle: HAZOP and FMEA Compared.- Computer Risks and Some Legal Consequences.- Software Design-Faults Simulation.- A Framework for Certifying Critical Software Systems.- A Statistical and Automated Code-Based Fault-Tree Mitigation Framework for C++.- ARTIE: A Proven Correct Architecture for Safety-Critical Applications.- Author Index.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions