Safety of Computer Control Systems 1983 (Safecomp ' 83)
Achieving Safe Real Time Computer Systems
- 1st Edition - September 13, 2014
- Latest edition
- Editor: J. A. Baylis
- Language: English
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… Read more
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 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
- Edition: 1
- Latest edition
- Published: September 13, 2014
- Language: English
Read Safety of Computer Control Systems 1983 (Safecomp ' 83) on ScienceDirect