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
× DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

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 Safe


No. of pages:
© Pergamon 1983
eBook ISBN:

About the Editor

J. A. Baylis

Ratings and Reviews