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.
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
- 1st January 1983
- eBook ISBN: