Description |
1 online resource (XVI, 440 pages) : illustrations |
Series |
Lecture notes in computer science ; 1150. 1611-3349
|
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 |
Summary |
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 |
Bibliography |
Includes bibliographical references and index |
Subject |
Fault-tolerant computing -- Congresses
|
|
Electronic digital computers -- Reliability -- Congresses
|
|
Electronic digital computers -- Reliability
|
|
Fault-tolerant computing
|
|
Storingsbestendige computersystemen.
|
Genre/Form |
Conference papers and proceedings
|
|
Congressen (vorm)
|
Form |
Electronic book
|
Author |
Hławiczka, Andrzej.
|
|
Silva, João Gabriel.
|
|
Simoncini, Luca.
|
|
European Dependable Computing Conference, EDCC (2nd : 1996 : Taormina, Italy)
|
ISBN |
9783540706779 |
|
3540706771 |
|