Cargando…
Dependable Computing - EDCC 2005 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings /
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing inte...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
| Edición: | 1st ed. 2005. |
| Colección: | Programming and Software Engineering,
3463 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Keynote I
- A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm
- Session 1A: Distributed Algorithms
- Building and Using Quorums Despite any Number of Process of Crashes
- Failure Detection with Booting in Partially Synchronous Systems
- Total Order Communications: A Practical Analysis
- Gracefully Degrading Fair Exchange with Security Modules
- Session 1B: Fault Tolerant Design and Protocols
- Adding Fault-Tolerance Using Pre-synthesized Components
- Efficiency of Dynamic Arbitration in TDMA Protocols
- An Architectural Framework for Detecting Process Hangs/Crashes
- Energy Efficient Configuration for QoS in Reliable Parallel Servers
- Session 2A: Practical Experience Reports and Tools I
- Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems
- Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA
- Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF
- Session 2B: Assessment and Analysis
- An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System
- The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision
- Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)
- Panel
- Dependability Challenges and Education Perspectives
- Keynote II
- Availability in Industry and Science - A Business Perspective -
- Session 3A: Measurement
- Fast Run-Time Reconfiguration for SEU Injection
- Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency
- A Data Mining Approach to Identify Key Factors in Dependability Experiments
- Session 3B: Practical Experience Reports and Tools II
- PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis
- A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems
- A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems
- Session 4A: Hardware Verification
- Deterministic Test Vector Compression / Decompression Using an Embedded Processor
- Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs
- Session 4B: Fast Abstracts I Session 5A: Dependable Networking
- Structure-Based Resilience Metrics for Service-Oriented Networks
- Efficient Protection of Many-to-One Communications
- Session 5B: Fast Abstracts II Session 6A: Practical Experience Reports and Tools III
- Impact of Faults in Combinational Logic of Commercial Microcontrollers
- Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System
- COMPAS - Compressed Test Pattern Sequencer for Scan Based Circuits
- Session 6B: Reliability Engineering and Testing
- Fault Links: Exploring the Relationship Between Module and Fault Types
- Model-Based Identification of Fault-Prone Components
- Regression Test Selection for Testable Classes.