|
" SAFECOMP 95 the 14th International Conference on Computer Safety, Reliability, and Security, Belgirate, Italy, 11-13 October 1995 "
ed. by Gerhard Rabe
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
745491
|
| Doc. No
|
:
|
b565440
|
| Main Entry
|
:
|
ed. by Gerhard Rabe
|
| Title & Author
|
:
|
SAFECOMP 95 the 14th International Conference on Computer Safety, Reliability, and Security, Belgirate, Italy, 11-13 October 1995\ ed. by Gerhard Rabe
|
| Publication Statement
|
:
|
London [u.a.] Springer, 1995
|
| Page. NO
|
:
|
XII, 516 S Ill., graph. Darst 24 cm
|
| ISBN
|
:
|
3540199624
|
|
|
:
|
: 9783540199625
|
| Notes
|
:
|
Literaturangaben
|
| Contents
|
:
|
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.
|
| Subject
|
:
|
Datensicherung
|
| Subject
|
:
|
Software
|
| Subject
|
:
|
Zuverlässigkeit
|
| Added Entry
|
:
|
Gerhard Rabe
|
|
|
:
|
SAFECOMP
|
| |