Safety of Computer Control Systems 1983 (Safecomp ' 83) - 1st Edition - ISBN: 9780080305639, 9781483153704

Safety of Computer Control Systems 1983 (Safecomp ' 83)

1st Edition

Achieving Safe Real Time Computer Systems

Editors: J. A. Baylis
eBook ISBN: 9781483153704
Imprint: Pergamon
Published Date: 1st January 1983
Page Count: 282
Sales tax will be calculated at check-out Price includes VAT/GST
Price includes VAT/GST

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.


Safety of Computer Control Systems 1983: Achieving Safe Real Time Computer Systems contains the proceedings of the Third IFAC/IFIP Workshop held at Cambridge, UK on September 20-22, 1983. Composed of 36 chapters, separated into the eight sessions of the workshop, this book begins with a discussion of the safety and reliability of computer control systems. Subsequent chapters explore the systems design for safety and reliability; fault tolerance, recovery, and use of redundancy; and aspects of fault tolerance for system reliability. Other chapters detail specification techniques; system development and quality assurance; verifications and validations; case studies; as well as scheduling, networks, and communications.

Table of Contents

Session 1 - Safety and Reliability Assessment

Safety Integrity Assessment of Programmable Electronic Systems

Reliability Analysis (Hardware) of a Core Temperature Safety System

Application of Finite State Models for System Design and Reliability Assessment

Reliability Prediction: A Matter of Logic

Session 2 - Design for Safety and Reliability

Modular Encapsulations Communicating between Clean Interfaces and the Unavoidable Overhead

Incorporation of Recovery and Repair Time in the Reliability Modeling of Fault-Tolerant System

Software Security Analysis - A Short Appreciation

Session 3 - Fault Tolerance, Recovery and the use of Redundancy

Practical Fault Tolerant Software for Asynchronous Systems

The Impact of Software Fault Tolerant Techniques on Software Complexity in Real Time Systems

The Application of Fault Tolerant Techniques to a Real Time System

Fail-Safe Computer-Based Plant Protection Systems

The Man-Machine Interface for a Fault Tolerant Control System

Fault Detection and Recovery Techniques in CUTLASS

Session 4 - Aspects of Fault Tolerance for System Reliability

Session 5 - Specification Techniques, System Development and QA

Fault-Avoidance and Fault-Removal Features of the Computer-Aided Development and Support System: EPOS

The Specification System X-SPEX - Introduction and Experience

A Language for Formal Description of Real Time Systems

Software Quality Control and Assurance

Software Quality - A Practical Approach

Quality of the Software Development Process

Building Reliable Software for Spacelab

Software for Computers in the Safety Systems of Nuclear Power Plants

Session 6 - Verifications and Validations

Verification of Safety

Safety Assessment of the Software of a Control Rod Motion Computer

Software Validation for a Railway Signaling System

A Practical Methodology for Safety Software Development, Verification and Validation

Session 7 - Case Studies

MINOS: Systems Reliability and Reusable Software

PLC's into Offshore Shut-Down Systems

A High Integrity Software Based Turbine Governing System

Coordinated Control of Electrical Drives

Experience with the Installation of Software Quality Assurance in Small Embedded-Computer Projects

Session 8 - Scheduling, Networks, Communications

Electromagnetic Compatibility of Marine Computer Systems

The ADNET Communications System: Inter-Process Communication in a Fault Tolerant Local Area Network

Evaluation of a Back-Up Activation Mechanism to Achieve Fail-Safe Operation in Distributed Multiprocess Systems

A Highly Available Multimicroprocessor System for Real-Time Applications

TREX/MCS: A Fault Tolerant Multicomputer System

REBECCA: A Dependable Communication Support System for a Distributed Monitoring and Safety System

Author Index


No. of pages:
© Pergamon 1983
eBook ISBN:

About the Editor

J. A. Baylis

Ratings and Reviews