Ebook: 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 sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, verification, replication and distribution, and system level diagnosis.

---

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 sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, verification, replication and distribution, and system level diagnosis.

---

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 sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, verification, replication and distribution, and system level diagnosis.
Content:
Front Matter....Pages -
Friends: A flexible architecture for implementing fault tolerant and secure distributed applications....Pages 1-20
Adaptable fault tolerance for distributed process control using exclusively standard components....Pages 21-34
On stratified sampling for high coverage estimations....Pages 35-54
Fault injection evaluation of assigned signatures in a RISC processor....Pages 55-72
An evaluation of the error detection mechanisms in MARS using software-implemented fault injection....Pages 73-90
Dependability modeling and analysis of complex control systems: An application to railway interlocking....Pages 91-110
The effect of interfailure time variability on the software reliability growth modelling....Pages 111-128
Dependability evaluation of a computing system for traction control of electrical locomotives....Pages 129-140
Dependability models of RAID using stochastic activity networks....Pages 141-158
Compiler assisted self-checking of structural integrity using return address hashing....Pages 159-177
Single source fault-tolerant broadcasting for two-dimensional meshes without virtual channels....Pages 178-189
On-line testing of an off-the-shelf microprocessor board for safety-critical applications....Pages 190-201
The logic threshold based voting: A model for local feedback bridging fault....Pages 203-213
On the yield of VLSI processors with on-chip CPU cache....Pages 214-229
Design of dependable hardware: What BIST is most efficient?....Pages 231-245
Pseudorandom testing of microprocessors at instruction/data flow level....Pages 246-263
Multi-level test generation and fault diagnosis for finite state machines....Pages 264-281
Dynamic testing from bounded data type specifications....Pages 283-302
A theory of specification-based testing for object-oriented software....Pages 303-320
Proving safety properties for embedded control systems....Pages 321-332
Enhancing dependability of cooperative applications in partitionable environments....Pages 333-352
Efficient message logging for uncoordinated checkpointing protocols....Pages 353-364
Atomic updates of replicated data....Pages 365-381
Removal of all faulty nodes from a fault-tolerant service by means of distributed diagnosis with imperfect fault coverage....Pages 383-402
Constraint based system-level diagnosis of multiprocessors....Pages 403-420
A unified theory for f1/f2-diagnosable communication networks....Pages 421-438
Back Matter....Pages -

---

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 sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, verification, replication and distribution, and system level diagnosis.
Content:
Front Matter....Pages -
Friends: A flexible architecture for implementing fault tolerant and secure distributed applications....Pages 1-20
Adaptable fault tolerance for distributed process control using exclusively standard components....Pages 21-34
On stratified sampling for high coverage estimations....Pages 35-54
Fault injection evaluation of assigned signatures in a RISC processor....Pages 55-72
An evaluation of the error detection mechanisms in MARS using software-implemented fault injection....Pages 73-90
Dependability modeling and analysis of complex control systems: An application to railway interlocking....Pages 91-110
The effect of interfailure time variability on the software reliability growth modelling....Pages 111-128
Dependability evaluation of a computing system for traction control of electrical locomotives....Pages 129-140
Dependability models of RAID using stochastic activity networks....Pages 141-158
Compiler assisted self-checking of structural integrity using return address hashing....Pages 159-177
Single source fault-tolerant broadcasting for two-dimensional meshes without virtual channels....Pages 178-189
On-line testing of an off-the-shelf microprocessor board for safety-critical applications....Pages 190-201
The logic threshold based voting: A model for local feedback bridging fault....Pages 203-213
On the yield of VLSI processors with on-chip CPU cache....Pages 214-229
Design of dependable hardware: What BIST is most efficient?....Pages 231-245
Pseudorandom testing of microprocessors at instruction/data flow level....Pages 246-263
Multi-level test generation and fault diagnosis for finite state machines....Pages 264-281
Dynamic testing from bounded data type specifications....Pages 283-302
A theory of specification-based testing for object-oriented software....Pages 303-320
Proving safety properties for embedded control systems....Pages 321-332
Enhancing dependability of cooperative applications in partitionable environments....Pages 333-352
Efficient message logging for uncoordinated checkpointing protocols....Pages 353-364
Atomic updates of replicated data....Pages 365-381
Removal of all faulty nodes from a fault-tolerant service by means of distributed diagnosis with imperfect fault coverage....Pages 383-402
Constraint based system-level diagnosis of multiprocessors....Pages 403-420
A unified theory for f1/f2-diagnosable communication networks....Pages 421-438
Back Matter....Pages -
....