Safety of Computer Control Systems 1985 (Safecomp '85)

Safety of Computer Control Systems 1985 (Safecomp '85)

Achieving Safe Real Time Computer Systems

1st Edition - January 1, 1985

Write a review

  • Editor: W. J. Quirk
  • eBook ISBN: 9781483190877

Purchase options

Purchase options
DRM-free (PDF)
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order


Safety of Computer Control Systems 1985 (Safecomp '85): Achieving Safe Real Time Computer Systems presents the proceedings of the Fourth IFAC Workshop, held in Como, Italy, on October 1–3, 1985. This book discusses a wide range of topics ranging from direct process control through robotics to operator assistance. Organized into 28 chapters, this compilation of papers begins with an overview of the implementation of atomic actions by means of concurrent programming constructs. This text then examines the safety-related applications that usually demand the provision of redundant resources within the system. Other chapters consider the safe performance of an industrial robot system that relies on several factors. This book discusses as well the increasing demand for Computer Assisted Decision Making (CADM) both in engineering and service industries. The final chapter deals with the ways of reducing the effects of an error introduced during the design of a program. This book is a valuable resource for software engineers.

Table of Contents

  • Session 1 - Distributed Systems

    Structuring Processes as a Sequence of Nested Atomic Actions

    A Dynamic System Architecture for Safety Related Systems

    Session 2 - Man-Machine Interface

    Safety Integrity Assessment of Robot Systems

    Reliability and Integrity of Computer Assisted Decision Making Process

    A Soft Control Desk for Power Generation

    Session 3 - Verification and Validation

    Design Verification for (Safety Related) Software Systems

    Verification and Validation Program for a Distributed Computer System for Safety Application

    Validation of a Computerized Operator Support System

    A Tool for Specification Analysis: 'Complete' Decision Tables

    Session 4 - Reliability and Safety Assessment

    Software Tools as an Aid for Hardware and Software Reliability Analysis

    On Some New Reliability Importance Measures

    Reliability Evaluation of a Safety Related Operating System

    Computer Aided Design for Reliability Assessment, a Package Specification

    Session 5 - Hardware

    Real-Time Systems with Highly Reliable Storage Media: a Case Study

    Requirements and Design for a Distributed Computerized System for Safety and Control Applications

    Design of a Self-Checking Microprocessor for Real-Time Applications

    Fault Handling Capabilities in Bus Architectures

    Session 6 - Fault Tolerance

    Broadcast Remote Procedure Calls for Resilient Computation

    Stable Paths for an Efficient Recovery in Real-Time Distributed Systems

    Fuzzy Based Safety System as a Part of Computer Control Software

    Modeling the Effect of Transient Faults in Fault Tolerant Computer Systems

    Specification and Design of Reliable Systems in Terms of Unreliable Components

    Reliability Versus Safety

    Fault Tolerant Software Techniques for a Railway Electronic Interlocking Device

    Session 7 - Diversity

    Project on Diverse Software - an Experiment in Software Reliability

    Correlated Failures in Multi-Version Software

    Software Fault-Tolerance and Design Diversity: Past Experience and Future Evolution

    Software Fault-Tolerance by Design Diversity - DEDIX: A Tool for Experiments

    Author Index

    Subject Index

Product details

  • No. of pages: 192
  • Language: English
  • Copyright: © Pergamon 1985
  • Published: January 1, 1985
  • Imprint: Pergamon
  • eBook ISBN: 9781483190877

About the Editor

W. J. Quirk

Affiliations and Expertise

Atomic Energy Research Establishment, Harwell, UK

Ratings and Reviews

Write a review

There are currently no reviews for "Safety of Computer Control Systems 1985 (Safecomp '85)"