Dependable Computing - EDCC-2 Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings
This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996. The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146 referees. The papers are organized in...
Other Authors: | , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1996, 1996
|
Edition: | 1st ed. 1996 |
Series: | Lecture Notes in Computer Science
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Constraint based system-level diagnosis of multiprocessors
- A unified theory for f1/f2-diagnosable communication networks
- Friends: A flexible architecture for implementing fault tolerant and secure distributed applications
- Adaptable fault tolerance for distributed process control using exclusively standard components
- On stratified sampling for high coverage estimations
- Fault injection evaluation of assigned signatures in a RISC processor
- An evaluation of the error detection mechanisms in MARS using software-implemented fault injection
- Dependability modeling and analysis of complex control systems: An application to railway interlocking
- The effect of interfailure time variability on the software reliability growth modelling
- Dependability evaluation of a computing system for traction control of electrical locomotives
- Dependability models of RAID using stochastic activity networks
- Compiler assisted self-checking of structural integrity using return address hashing
- Single source fault-tolerant broadcasting for two-dimensional meshes without virtual channels
- On-line testing of an off-the-shelf microprocessor board for safety-critical applications
- The logic threshold based voting: A model for local feedback bridging fault
- On the yield of VLSI processors with on-chip CPU cache
- Design of dependable hardware: What BIST is most efficient?
- Pseudorandom testing of microprocessors at instruction/data flow level
- Multi-level test generation and fault diagnosis for finite state machines
- Dynamic testing from bounded data type specifications
- A theory of specification-based testing for object-oriented software
- Proving safety properties for embedded control systems
- Enhancing dependability of cooperative applications in partitionable environments
- Efficient message logging for uncoordinated checkpointing protocols
- Atomic updates of replicated data
- Removal of all faulty nodes from a fault-tolerant service by means of distributed diagnosis with imperfect fault coverage