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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Hlavicka, Jan (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Maehle, Erik (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Pataricza, Andras (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
• Έκδοση: 1st ed. 1999.
• Σειρά: Lecture Notes in Computer Science, 1667
• Θέματα: Computers.; Computer engineering.; Computer hardware.; Computer communication systems.; Special purpose computers.; Computer system failures.; Theory of Computation.; Computer Engineering.; Computer Hardware.; Computer Communication Networks.; Special Purpose and Application-Based Systems.; System Performance and Evaluation.

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

Πίνακας περιεχομένων:

• Keynote Speech
• Reliable and Secure Operation of Smart Cards
• Session 1: Dependability Modelling
• Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems
• Evaluation of Video Communication over Packet Switching Networks
• Dependability Evaluation of a Distributed Shared Memory Multiprocessor System
• Session 2a: Panel
• Software Reliability Engineering Risk Management for the New Millenium
• Session 2b: Fast Abstracts
• List of Fast Abstracts
• Session 3: Protocols
• Muteness Failure Detectors: Specification and Implementation
• A Fault Tolerant Clock Synchronization Algorithm for Systems with Low-Precision Oscillators
• Avoiding Malicious Byzantine Faults by a New Signature Generation Technique
• An Experimental Evaluation of Coordinated Checkpointing in a Parallel Machine
• Session 4: Fault Injection 1
• MAFALDA: Microkernel Assessment by Fault Injection and Design Aid
• Assessing Error Detection Coverage by Simulated Fault Injection
• Considering Workload Input Variations in Error Coverage Estimation
• Session 5: Fault Injection 2
• Fault Injection into VHDL Models: Experimental Validation of a Fault-Tolerant Microcomputer System
• Can Software Implemented Fault-Injection be Used on Real-Time Systems?
• Session 6: Safety
• Integrated Safety in Flexible Manufacturing Systems
• A Method for Implementing a Safety Control System Based on Its Separation into Safety-Related and Non-Safety-Related Parts
• Session 7: Hardware Testing
• Design of Totally Self-Checking Code-Disjoint Synchronous Sequential Circuits
• Path Delay Fault Testing of a Class of Circuit-Switched Multistage Interconnection Networks
• Diagnostic Model and Diagnosis Algorithm of a SIMD Computer
• Session 8: Built-In Self-Test
• Pseudorandom, Weighted Random and Pseudoexhaustive Test Patterns Generated in Universal Cellular Automata
• A New LFSR with D and T Flip-Flops as an Effective Test Pattern Generator for VLSI Circuits
• Transparent Word-Oriented Memory BIST Based on Symmetric March Algorithms
• Session 9: Networks and Distributed Systems
• Achieving Fault-Tolerant Ordered Broadcasts in CAN
• Directional Gossip: Gossip in a Wide Area Network
• Efficient Reliable Real-Time Group Communication for Wireless Local Area Networks
• Session 10: Software Testing and Self-Checking
• A Case Study in Statistical Testing of Reusable Concurrent Objects
• Fault-Detection by Result-Checking for the Eigenproblem1
• Concurrent Detection of Processor Control Errors by Hybrid Signature Monitoring.