عنوان

SAFECOMP 95 the 14th International Conference on Computer Safety, Reliability, and Security, Belgirate, Italy, 11-13 October 1995

(Number (ISBN

3540199624

(Number (ISBN

9783540199625

Number

b565440

Title Proper

SAFECOMP 95 the 14th International Conference on Computer Safety, Reliability, and Security, Belgirate, Italy, 11-13 October 1995

General Material Designation

[Book]

First Statement of Responsibility

ed. by Gerhard Rabe

Place of Publication, Distribution, etc.

London [u.a.] Springer

Date of Publication, Distribution, etc.

1995

Specific Material Designation and Extent of Item

XII, 516 S Ill., graph. Darst 24 cm

Text of Note

Literaturangaben

Text of Note

Session 1: General Issues, Guidelines.- Software Best Practices in Dependable Systems: The European Research Projects ENCRESS, OLOS and ESPITI From a Partner's Perspective.- Assessment on the Basis of Standards - Gaps and How to Bridge Them.- Session 2: Safety Analysis.- Safety Analysis for Requirements Specifications: Methods and Techniques.- A Guideline for HAZOP Studies on Systems Which Include a Programmable Electronic System.- An Automated Code-Based Fault-Tree Mitigation Technique.- Session 3: Formal Methods.- Formal Support for the Safety Analysis of Requirement Models.- Modelling Fault Trees Using Petri Nets.- The Application of Formal Methods to Railway Signalling Systems Specification and the ESPRIT III Project CASCADE.- Accessible Formal Method Support for PLC Software Development.- Session 4: Human and Legal Aspects.- Eliminating the Unexpected.- Cognitive Diversity: A Structured Approach to Trapping Human Error.- Legal Aspects of Safety Critical Systems.- Invited Paper.- A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability.- Session 5: Design.- Six Steps Towards Provably Safe Software.- Formally Verified Firmware Modules for Industrial Process Automation.- Session 6: Assessment.- Programmable Electronic Controllers (PEC) Performance Assessment - An Approach for Reliability Quantification.- BOOTSTRAP: Software Process Assessment - Experiences and Further Developments.- Analysis and Assessment of Advanced Road Transport Telematic Systems.- Session 7: Safe Software.- Loops for Safety Critical Applications.- Ontario Hydro's Experience with New Methods for Engineering Safety Critical Software.- Is Software Safe to Fly?.- Session 8: Applications I.- A Software Development Approach for Robotics Control Systems.- An Attempt to Evaluate Functional Diversity Employed in a Reactor Protection System.- Requirements Analysis and Safety: A Case Study (Using GRASP).- Session 9: Applications II.- Neural Nets and Diversity.- On-Line Software Error Detection by Executable Assertions: From Theory to Practice.- The Use of Animated Graphical Simulation Techniques to Facilitate Safe Operation, Assembly and Disassembly of Safety Critical Equipment and Systems.- Invited Paper.- An Industrial View of Requirements Engineering and Safety.- Session 10: Case Studies.- Safety Cases for Software Application Reuse.- The SHIP Safety Case Approach.- Safety Case: Structure and Role.- Session 11: Validation and Verification.- Practical Approach for the Evaluation of Safety Related Programmable Electronics.- An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System.- Dependability of Iterative Software: A Model for Evaluating the Effects of Input Correlation.- The Verification of Compiled Code.- Author Index.

Datensicherung

Software

Zuverlässigkeit

ed. by Gerhard Rabe

Gerhard Rabe

SAFECOMP

Electronic name

[Book]

Y