8. EDCC 2010: Valencia, Spain

Eighth European Dependable Computing Conference, EDCC-8 2010, Valencia, Spain, 28-30 April 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4007-8

Fault Injection

Daniel Skarin, Raul Barbosa, Johan Karlsson:
Comparing and Validating Measurements of Dependability Attributes. 3-12
Ute Schiffel, André Schmitt, Martin Süßkraut, Christof Fetzer:
Slice Your Bug: Debugging Error Detection Mechanisms Using Error Injection Slicing. 13-22
Roberto Natella, Domenico Cotroneo:
Emulation of Transient Software Faults for Dependability Assessment: A Case Study. 23-32
Naaliel Mendes, João Durães, Henrique Madeira:
Evaluating and Comparing the Impact of Software Faults on Web Servers. 33-42

Jean-Charles Fabre, Marc-Olivier Killijian, Thomas Pareaud:
Towards On-line Adaptation of Fault Tolerance Mechanisms. 45-54
Alberto Paz, Francisco Perez-Sorrosal, Marta Patiño-Martínez, Ricardo Jiménez-Peris:
Scalability Evaluation of the Replication Support of JOnAS, an Industrial J2EE Application Server. 55-60
Ruben Alexandersson, Peter Öhman:
On Hardware Resource Consumption for Aspect-Oriented Implementation of Fault Tolerance. 61-66
Alfons Crespo, Ismael Ripoll, Miguel Masmano:
Partitioned Embedded Architecture Based on Hypervisor: The XtratuM Approach. 67-72

Patrick J. Graydon, John C. Knight:
Software Process Synthesis in Assurance Based Development of Dependable Systems. 75-84
Matthew Leeke, Arshad Jhumka:
Towards Understanding the Importance of Variables in Dependable Software. 85-94
Simona Bernardi, José Merseguer, Robyn R. Lutz:
Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile. 95-104

François Bonnet, Michel Raynal:
Early Consensus in Message-Passing Systems Enriched with a Perfect Failure Detector and Its Application in the Theta Model. 107-116
Dan Dobre, Matthias Majuntke, Marco Serafini, Neeraj Suri:
HP: Hybrid Paxos for WANs. 117-126
Sara Tucci Piergiovanni, Roberto Baldoni:
Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency. 127-134
Marin Bertier, François Bonnet, Anne-Marie Kermarrec, Vincent Leroy, Sathya Peri, Michel Raynal:
D2HT: The Best of Both Worlds, Integrating RPS and DHT. 135-144
Paolo Masci, Silvano Chiaradonna, Felicita Di Giandomenico:
Dependability Analysis of Diffusion Protocols in Wireless Networks with Heterogeneous Node Capabilities. 145-154
Martin Mitzlaff, Michael Lang, Rüdiger Kapitza, Wolfgang Schröder-Preikschat:
A Membership Service for a Distributed, Embedded System Based on a Time-Triggered FlexRay Network. 155-162

Jesper Grønbæk, Hans-Peter Schwefel, Jens Kristian Kjaergard, Thomas Skjødeberg Toftegaard:
Assessing the Impact of Imperfect Diagnosis on Service Reliability: A Parsimonious Model Approach. 165-174
Roberto Jung Drebes, Takashi Nanya:
Analysis of Inter-Module Error Propagation Paths in Monolithic Operating System Kernels. 175-184
Satoshi Iwata, Kenji Kono:
Narrowing Down Possible Causes of Performance Anomaly in Web Applications. 185-190
Julia L. Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller:
Finding Error Handling Bugs in OpenSSL Using Coccinelle. 191-196

Ludovic Pietre-Cambacedes, Marc Bouissou:
Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP). 199-208
Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi:
Online Monitoring of Software System Reliability. 209-218

Jon Perez, Mikel Azkarate-askasua, Antonio Perez:
Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC. 221-229
Matthias Függer, Andreas Dielacher, Ulrich Schmid:
How to Speed-Up Fault-Tolerant Clock Generation in VLSI Systems-on-Chip via Pipelining. 230-239

Last update Tue May 21 16:33:33 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page