Dependable Computing - EDCC-2 Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings / edited by Andrzej Hlawiczka, Joao G.S. Silva, Luca Simoncini.

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...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hlawiczka, Andrzej (Editor), Silva, Joao G.S (Editor), Simoncini, Luca (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996.
Edition:	1st ed. 1996.
Series:	Lecture Notes in Computer Science, 1150 Springer eBook Collection.
Subjects:	Computer engineering. Computers. Special purpose computers. Computer system failures. Computer hardware. Software engineering. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

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
Constraint based system-level diagnosis of multiprocessors
A unified theory for f1/f2-diagnosable communication networks.

Dependable Computing - EDCC-2 Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings / edited by Andrzej Hlawiczka, Joao G.S. Silva, Luca Simoncini.

Similar Items