Safety of Computer Control Systems 1985 (Safecomp '85)
Achieving Safe Real Time Computer Systems
- 1st Edition - January 1, 1985
- Imprint: Pergamon
- Editor: W. J. Quirk
- Language: English
- Paperback ISBN:9 7 8 - 1 - 4 8 3 1 - 7 5 0 6 - 5
- eBook ISBN:9 7 8 - 1 - 4 8 3 1 - 9 0 8 7 - 7
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… Read more
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteSafety 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.
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
- Edition: 1
- Published: January 1, 1985
- No. of pages (eBook): 192
- Imprint: Pergamon
- Language: English
- Paperback ISBN: 9781483175065
- eBook ISBN: 9781483190877
WQ
W. J. Quirk
Affiliations and expertise
Atomic Energy Research Establishment, Harwell, UK