<E-Book>
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
(Lecture Notes in Computer Science. ISSN:16113349 ; 1150)
Edition | 1st ed. 1996. |
---|---|
Publisher | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
Year | 1996 |
Language | English |
Size | XVI, 444 p : online resource |
Authors | Hlawiczka, Andrzej editor Silva, Joao G.S editor Simoncini, Luca editor SpringerLink (Online service) |
Subjects | LCSH:Computer engineering LCSH:Computer networks LCSH:Computer science LCSH:Computers, Special purpose LCSH:Electronic digital computers -- Evaluation All Subject Search LCSH:Computers LCSH:Software engineering FREE:Computer Engineering and Networks FREE:Theory of Computation FREE:Special Purpose and Application-Based Systems FREE:System Performance and Evaluation FREE:Computer Hardware FREE:Software Engineering |
Notes | 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 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 HTTP:URL=https://doi.org/10.1007/3-540-61772-8 |
TOC
Hide book details.
E-Book | Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
---|---|---|---|---|---|---|---|---|---|---|---|---|
E-Book | オンライン | 電子ブック |
|
|
Springer eBooks | 9783540706779 |
|
電子リソース |
|
EB00225906 |
Hide details.
Material Type | E-Book |
---|---|
Classification | LCC:TK7885-7895 LCC:TK5105.5-5105.9 DC23:621.39 DC23:004.6 |
ID | 4001090680 |
ISBN | 9783540706779 |