Safety of Computer Control Systems 1985 (Safecomp '85) - 1st Edition - ISBN: 9780080325705, 9781483190877

Safety of Computer Control Systems 1985 (Safecomp '85)

1st Edition

Achieving Safe Real Time Computer Systems

Editors: W. J. Quirk
eBook ISBN: 9781483190877
Imprint: Pergamon
Published Date: 1st January 1985
Page Count: 192
Sales tax will be calculated at check-out Price includes VAT/GST
Price includes VAT/GST

Institutional Subscription

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

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


No. of pages:
© Pergamon 1985
eBook ISBN:

About the Editor

W. J. Quirk

Affiliations and Expertise

Atomic Energy Research Establishment, Harwell, UK

Ratings and Reviews