Dependable Computing for Critical Applications
The International Working Conference on Dependable Computing for Critical Applications was the first conference organized by IFIP Working Group 10. 4 "Dependable Computing and Fault Tolerance", in cooperation with the Technical Committee on Fault-Tolerant Computing of the IEEE Computer Soc...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Vienna
Springer Vienna
1991, 1991
|
Edition: | 1st ed. 1991 |
Series: | Dependable Computing and Fault-Tolerant Systems
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Validation
- Dependable Computing in the UK
- Software Validation by means of Statistical Testing: Retrospect and Future Direction
- Design Diversity Assessment
- Failure Masking: a Source of Failure Dependency in Multi-Version Programs
- Recovery Block Reliability Analysis with Failure Clustering
- Application-Oriented Systems
- Safety and Fault-Tolerance in Computer-Controlled Railway Signalling System
- Dependability of Digital Computers On Board Airplanes
- Longlife Dependable Computers for Spacecrafts
- Experimental Evaluation
- A Fault Behavior Model for an Avionic Microprocessor: a Case-Study
- Experimental Evaluation of Computing System Dependability by using Heavy-Ion Radiation from Californium-252
- Modeling and Evaluation
- A Unified Approach for Specifying Measures of Performance, Dependability and Performability
- Successive Operational Periods as Measures of Dependability
- Architecture
- A Data-Driven Dependability Assurance Scheme with Applications to Data and Design Diversity
- Implementing Distributed Capabilities Without a Trusted Kernel
- Resynchronization Interfaces: Sources of Metastability Errors in Computing Systems
- Design for Security
- Fragmented Data Processing: an Approach to Secure and Reliable Processing in Distributed Computing Systems
- Security and Fault Tolerance
- Integration Problems in Fault Tolerant, Secure Computer Design
- Concurrent Error Detection using Signature Monitoring and Encryption
- Fault-Tolerant Distributed Systems
- A Linguistic Approach to Failure-Handling in Distributed Systems
- Fault-Tolerant Membership Service in a Synchronous Distributed Real-Time System
- Author Index