This volume contains the papers presented at the SAFECOMP '95, the 14th International Conference on Computer Safety, Reliability and Security, held in Belgirate, Italy, 11-13 October 1995. The papers cover all the main topics which are relevant to the safety lifecycle, including general guidelines, legal and human aspects, safety analysis, formal methods, design, verification and validation, reliability issues, dependable software technology, and safety-related applications. The volume should be useful reading to those in universities, research institutions, industry and business who wish to be well-informed about computer safety, reliability and security.
Edited by:
Gerhard Rabe
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Country of Publication: Germany
Edition: Edition. ed.
Dimensions:
Height: 235mm,
Width: 155mm,
Spine: 27mm
Weight: 807g
ISBN: 9783540199625
ISBN 10: 3540199624
Pages: 516
Publication Date: 13 October 1995
Audience:
College/higher education
,
Professional and scholarly
,
Further / Higher Education
,
Undergraduate
Format: Paperback
Publisher's Status: Active
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 ControlSystems.- 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.
