Holiday book sale: Save up to 30% on print and eBooks. No promo code needed.
Save up to 30% on print and eBooks.
Safety of Computer Control Systems 1985 (Safecomp '85)
Achieving Safe Real Time Computer Systems
1st Edition - January 1, 1985
Editor: W. J. Quirk
eBook ISBN:9781483190877
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
LIMITED OFFER
Save 50% on book bundles
Immediately download your ebook while waiting for your print delivery. No promo code is needed.
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 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