عنوان

Safety and reliability of software based systems :

(Number (ISBN

3540760342

(Number (ISBN

9783540760344

Number

b539051

Title Proper

Safety and reliability of software based systems :

General Material Designation

[Book]

Other Title Information

twelfth annual CSR workshop (Bruges 12-15 September 1995)

First Statement of Responsibility

Roger Shaw (ed.).

Place of Publication, Distribution, etc.

Berlin

Name of Publisher, Distributor, etc.

Springer

Date of Publication, Distribution, etc.

©1997.

Specific Material Designation and Extent of Item

xiii, 460 p. : ill

Text of Note

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.

Fiabilité des systèmes.

Fiabilité du logiciel.

Class number

Book number

Roger Shaw (ed.).

City University (London, Angleterre). Centre for Software Reliability. Conference

Roger C F Shaw

Electronic name

[Book]

Y