Safe Comp 95

1. Front Matter

   Pages i-xii

   PDF

2. General Issues, Guidelines

   1. Front Matter

      Pages 1-1

      PDF

   2. Software Best Practices in Dependable Systems: The European Research Projects ENCRESS, OLOS and ESPITI from a Partners Perspective

      • Erwin Schoitsch

      Pages 3-11

   3. Assessment on the Basis of Standards-Gaps and how to Bridge Them

      • H. Krebs

      Pages 12-23

3. Safety Analysis

   1. Front Matter

      Pages 25-25

      PDF

   2. Safety Analysis for Requirements Specifications: Methods and Techniques

      • Amer Saeed, Rogério de Lemos, Tom Anderson

      Pages 27-41

   3. A Guideline for HAZOP Studies on Systems which include a Programmable Electronic System

      • M. F. Chudleigh, J. R. Catmur, Arthur D. Little, F. Redmill

      Pages 42-58

   4. An Automated Code-Based Fault-Tree Mitigation Technique

      • Jeffrey M. Voas, Keith W. Miller

      Pages 59-72

4. Formal Methods

   1. Front Matter

      Pages 73-73

      PDF

   2. Formal Support for the Safety Analysis of Requirement Models

      • Ken Chan, Clive Fencott, Barry Hebbron

      Pages 75-89

   3. Modeling Fault Trees Using Petri Nets

      • Janusz Górski, Jan Magott, Andrzej Wardziński

      Pages 90-100

   4. The Application of Formal Methods to Railway Signalling Systems Specification and the Esprit III Project CASCADE

      • A. J. Harrison, I. D. R. Shannon

      Pages 101-112

   5. Accessible Formal Method Support for PLC Software Development

      • J. A. McDermid, R. H. Pierce

      Pages 113-127

5. Human and Legal Aspects

   1. Front Matter

      Pages 129-129

      PDF

   2. Eliminating the Unexpected

      • R. J. Tiezema

      Pages 131-141

   3. Cognitive Diversity: A Structured Approach to Trapping Human Error

      • S. J. Westerman, N. M. Shryane, C. M. Crawshaw, G. R. J. Hockey, C. W. Wyatt-Millington

      Pages 142-155

   4. Legal Aspects of Safety Critical Systems

      • Dai Davis

      Pages 156-170

6. Invited Paper

   1. Front Matter

      Pages 171-171

      PDF

   2. A Bayesian Model that Combines Disparate Evidence for the Quantitative Assessment of System Dependability

      • Bev Littlewood, David Wright

      Pages 173-188

7. Design

   1. Front Matter

      Pages 189-189

      PDF

Safety-related computer systems are those which may lead to loss of life, injury or plant and environmental damage. Such systems therefore have to be developed and implemented so that they meet strict require­ and security because their applications cover ments on safety, reliability nearly all areas of daily life and range from controlling and monitoring industrial processes, through robotics and power generation, to transport systems. Highly reliable electronic systems for safety-related applications represent an area in which industry has been involved for many years and which is now gaining increasing importance in academia. Their relevance also results from an increased perception of safety by society. Therefore, not only are technicians involved in this area, but psycho­ logical and sociological aspects also play a major role. Dealing with safety-related systems we have to consider the whole lifecycle of these systems, starting from specification up to implementation, assessment and operation. All those issues mentioned above are covered in this book, which represents the proceedings of the 14th International Conference on Computer Safety, Reliability and Security, SAFECOMP '95, held in Belgirate, Italy, 11-13 October 1995. The conference continues the series of SAFECOMP conferences which was originated by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7) and reflects the state of the art, experience and new trends in the area of safety-related computer systems.

• Diversity
• Standards
• automation
• computer
• design
• formal method
• formal methods
• modeling
• reliability
• requirements engineering
• simulation
• software
• structured analysis
• validation
• verification
• complexity

• Technischer Überwachungs-Verein Nord e. V., Hamburg, Germany

  Gerhard Rabe

Policies and ethics