|
" Safety and reliability of software based systems : "
Roger Shaw (ed.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
719359
|
| Doc. No
|
:
|
b539051
|
| Main Entry
|
:
|
Roger Shaw (ed.).
|
| Title & Author
|
:
|
Safety and reliability of software based systems : : twelfth annual CSR workshop (Bruges 12-15 September 1995)\ Roger Shaw (ed.).
|
| Publication Statement
|
:
|
Berlin: Springer, ©1997.
|
| Page. NO
|
:
|
xiii, 460 p. : ill
|
| ISBN
|
:
|
3540760342
|
|
|
:
|
: 9783540760344
|
| 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.
|
| Subject
|
:
|
Fiabilité des systèmes.
|
| Subject
|
:
|
Fiabilité du logiciel.
|
| LC Classification
|
:
|
QA76.76.R44R644 1997
|
| Added Entry
|
:
|
City University (London, Angleterre). Centre for Software Reliability. Conference
|
|
|
:
|
Roger C F Shaw
|
| |