Dependable computing - EDCC-3 : Third European Dependable Computing Conference, Prague, Czech Republic, September 15 17, 1999 : proceedings
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...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | , , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
1667 |
| Soggetti: | |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Dependable computing, EDCC-3, Third European Dependable Computing Conference, Prague, Czech Republic, September 1999, proceedings, Jan Hlavička, Erik Maehle, András Pataricza (eds.), 1999, Berlin, Springer, 1 vol. (XVIII-454 p.), Lecture notes in computer science, 3-540-66483-1 • Dependable Computing - EDDC-3, Texte imprimé, 9783662192429 |
Sommario:
- 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.