Dependable computing : EDDC-3 [i.e EDCC-3] : Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999 : proceedings

Dependable Computing — EDCC-3: Third European Dependable Computing Conference Prague, Czech Republic, September 15–17, 1999 Proceedings
Author: Jan Hlavička, Erik Maehle, András Pataricza
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-66483-3
DOI: 10.1007/3-540-48254-7

Table of Contents:

• Reliable and Secure Operation of Smart Cards
• 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
• Software Reliability Engineering Risk Management for the New Millenium
• List of Fast Abstracts
• 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
• 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
• Fault Injection into VHDL Models: Experimental Validation of a Fault-Tolerant Microcomputer System
• Can Software Implemented Fault-Injection be Used on Real-Time Systems?
• 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
• 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

Includes bibliographical references and index