+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Dependable Computing - Eddc-3 : Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings - Jan Hlavicka

Dependable Computing - Eddc-3

Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999, Proceedings

By: Jan Hlavicka (Editor), Erik Maehle (Editor), Andras Pataricza (Editor)

Paperback Published: 1st September 1999
ISBN: 9783540664833
Number Of Pages: 462

Share This Book:

Paperback

$158.39
or 4 easy payments of $39.60 with Learn more
Ships in 10 to 15 business days

Earn 317 Qantas Points
on this Book

The idea of creating the European Dependable Computing Conference (EDCC) was born at the moment when the Iron Curtain fell. A group of enthusiasts, who were pre viously involved in research and teaching in the ?eld of fault tolerant computing in different European countries, agreed that there is no longer any point in keeping pre viously independent activities apart and created a steering committee which took the responsibility for preparing the EDCC calendar and appointing the chairs for the in dividual conferences. There is no single European or global professional organization that took over the responsibility for this conference, but there are three national in terest groups that sent delegates to the steering committee and support its activities, especially by promoting the conference materials. As can be seen from these materi als, they are the SEE Working Group "Dependable Computing" (which is a successor organizationof AFCET)in France, theGI/ITG/GMATechnicalCommitteeonDepend ability and Fault Tolerance in Germany, and the AICA Working Group "Dependability of Computer Systems" in Italy. In addition, committees of several global professional organizations, such as IEEE and IFIP, support this conference. Prague has been selected as a conference venue for several reasons. It is an easily accessible location that may attract many visitors by its beauty and that has a tradition in organizing international events of this kind (one of the last FTSD conferences took place here).

Keynote Speech
Reliable and Secure Operation of Smart Cardsp. 3
Dependability Modelling
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systemsp. 7
Evaluation of Video Communication over Packet Switching Networksp. 24
Dependability Evaluation of a Distributed Shared Memory Multiprocessor Systemp. 42
Panel
Software Reliability Engineering - Risk Management for the New Milleniump. 63
Fast Abstracts
List of Fast Abstractsp. 67
Protocols
Muteness Failure Detectors: Specification and Implementationp. 71
A Fault Tolerant Clock Synchronization Algorithm for Systems with Low-Precision Oscillatorsp. 88
Avoiding Malicious Byzantine Faults by a New Signature Generation Techniquep. 106
An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machinep. 124
Fault Injection 1
MAFALDA: Microkernel Assessment by Fault Injection and Design Aidp. 143
Assessing Error Detection Coverage by Simulated Fault Injectionp. 161
Considering Workload Input Variations in Error Coverage Estimationp. 171
Fault Injection 2
Fault Injection into VHDL Models: Experimental Validation of a Fault-Tolerant Microcomputer Systemp. 191
Can Software Implemented Fault-Injection be Used on Real-Time Systems?p. 209
Safety
Integrated Safety in Flexible Manufacturing Systemsp. 229
A Method for Implementing a Safety Control System Based on Its Separation into Safety-Related and Non-Safety-Related Partsp. 239
Hardware Testing
Design of Totally Self-Checking Code-Disjoint Synchronous Sequential Circuitsp. 251
Path Delay Fault Testing of a Class of Circuit-Switched Multistage Interconnection Networksp. 267
Diagnostic Model and Diagnosis Algorithm of a SIMD Computerp. 283
Built-In Self-Test
Pseudorandom, Weighted Random and Pseudoexhaustive Test Patterns Generated in Universal Cellular Automatap. 303
A New LFSR with D and T Flip-Flops as an Effective Test Pattern Generator for VLSI Circuitsp. 321
Transparent Word-Oriented Memory BIST Based on Symmetric March Algorithmsp. 339
Networks and Distributed Systems
Achieving Fault-Tolerant Ordered Broadcasts in CANp. 351
Directional Gossip: Gossip in a Wide Area Networkp. 364
Efficient Reliable Real-Time Group Communication for Wireless Local Area Networksp. 380
Software Testing and Self-Checking
A Case Study in Statistical Testing of Reusable Concurrent Objectsp. 401
Fault-Detection by Result-Checking for the Eigenproblemp. 419
Concurrent Detection of Processor Control Errors by Hybrid Signature Monitoringp. 437
Author Indexp. 455
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540664833
ISBN-10: 3540664831
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 462
Published: 1st September 1999
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.46
Weight (kg): 0.67

Earn 317 Qantas Points
on this Book