Dependable Computing - EDCC-2

1. Proving safety properties for embedded control systems

   • Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi

   Pages 321-332

2. Enhancing dependability of cooperative applications in partitionable environments

   • François J. N. Cosquer, Pedro Antunes, Paulo Veríssimo

   Pages 333-352

3. Efficient message logging for uncoordinated checkpointing protocols

   • Achour Mostefaoui, Michel Raynal

   Pages 353-364

4. Atomic updates of replicated data

   • Rachid Guerraoui, Rui Oliveira, André Schiper

   Pages 365-381

5. Removal of all faulty nodes from a fault-tolerant service by means of distributed diagnosis with imperfect fault coverage

   • André Postma, Gerie Hartman, Thijs Krol

   Pages 383-402

6. Constraint based system-level diagnosis of multiprocessors

   • J. Altmann, T. Bartha, A. Pataricza, A. Petri, P. Urbán

   Pages 403-420

7. A unified theory for f1/f2-diagnosable communication networks

   • Guy G. Berthet, Henri J. Nussbaumer

   Pages 421-438

8. Back Matter

   PDF

This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996.
The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146 referees. The papers are organized in sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, verification, replication and distribution, and system level diagnosis.

• Distributed Fault Tolerance
• Fault-Tolerant Design
• Fehlertoleranter Entwurf
• Hardware
• Hardware Design
• Hardwareentwurf
• Systems Performance
• Systems Verification
• Verteilte Fehlertoleranz
• modeling
• verification

Policies and ethics