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.

lgrsnf/Cs_Computer science/CsLn_Lecture notes/D/Dependable Computing - EDCC-2(LNCS1150, Springer, 1996)(ISBN 3540617728)(T)(O)(452s)_CsLn_.djvu

nexusstc/Dependable Computing — EDCC-2: Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 Proceedings/892198e26884ec8a306619d31356df41.djvu

zlib/Computers/Computer Science/Jean-Charles Fabre, Tanguy Pérennou (auth.), Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini (eds.)/Dependable Computing — EDCC-2: Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 Proceedings_762810.djvu

Andrzej Hławiczka; João Gabriel Silva; Luca Simoncini; European Dependable Computing Conference, EDCC

Andrzej Hlawiczka; Joao G.S Silva; Luca Simoncini; SpringerLink (Online service)

European Dependable Computing Conference (2nd : 1996 : Taormina, Italy)

Andrzej Hławiczka, João Gabriel Silva, Luca Simoncini (eds.)

Andrzej Hlawiczka; EDCC

Springer Berlin Heidelberg : Imprint: Springer

Springer Spektrum. in Springer-Verlag GmbH

Steinkopff. in Springer-Verlag GmbH

Lecture Notes in Computer Science, 1150, 1st ed. 1996, Berlin, Heidelberg, 1996

Lecture notes in computer science,, 1150, Berlin, New York, Germany, 1996

Lecture notes in computer science, Vol. 1150, Berlin, 1996

1 edition, September 30, 1996

Germany, Germany

1996, 2007

Kolxo3

lg964888

{"container_title":"Lecture Notes in Computer Science","edition":"1","isbns":["3540617728","3540706771","9783540617723","9783540706779"],"issns":["0302-9743","1611-3349"],"last_page":444,"publisher":"Springer","series":"Lecture Notes in Computer Science 1150"}

Includes bibliographical references and index.

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 f 1 /f 2 -diagnosable communication networks....Pages 421-438

The dependability research community has designed and experimented a number of mechanisms which have now reached full maturity.

Lecture Notes in Computer Science
Erscheinungsdatum: 18.09.1996

2011-01-06