Dependable Computing - EDCC-1

1. MLDD(Multi-Layered Design Diversity) architecture for achieving high design fault tolerance capabilities

   • Aki Watanabe, Ken Sakamura

   Pages 336-349

2. Reconfiguration and checkpointing in massively parallel systems

   • Bernd Bieker, Geert Deconinck, Erik Maehle, Johan Vounckx

   Pages 351-370

3. An approach for hierarchical system level diagnosis of massively parallel computers combined with a simulation-based method for dependability analysis

   • J. Altmann, F. Balbach, A. Hein

   Pages 371-385

4. Hierarchical checking of multiprocessors using watchdog processors

   • I. Majzik, A. Pataricza, M. Dal Cin, W. Hohl, J. Hönig, V. Sieh

   Pages 386-403

5. Dependability: The challenge for the future of computing and communication technologies

   • Jean-Claude Laprie

   Pages 405-408

6. Position paper

   • Algirdas Avizienis

   Pages 409-410

7. Position paper

   • Jan Hlavicka

   Pages 411-411

8. Position paper

   • Michele Morganti

   Pages 412-413

9. Some lessons from the SW2000 workshop

   • Brian Randell

   Pages 414-416

10. Dependable computing and its industrial use

    • Ernst Schmitter

    Pages 417-418

11. An effective reconfiguration process for fault-tolerant VLSI/WSI array processors

    • Yung-Yuan Chen, Ching-Hwa Cheng, Yung-Ci Chou

    Pages 419-438

12. Concurrent error detection in fast FNT networks

    • Jamel M. Tahir, Satnam S. Dlay, Raouf N. Gorgui-Naguib, Oliver R. Hinton

    Pages 439-452

13. Feasible regions quantify the configuration power of arrays with multiple fault types

    • Laurence E. LaForge

    Pages 453-469

14. Software reliability analysis of three successive generations of a Switching System

    • M. Kaâniche, K. Kanoun, M. Cukier, M. Bastos Martini

    Pages 471-490

15. Performance of consistent checkpointing in a modular operating system: Results of the FTM experiment

    • Gilles Muller, Mireille Hue, Nadine Peyrouze

    Pages 491-508

16. Ring-banyan network: A fault tolerant multistage interconnection network and its fault diagnosis

    • Jae-Hyun Park, Heung-Kyu Lee, Ju-Hyun Cho

    Pages 509-528

17. Reconfiguration of faulty hypercubes

    • Dimiter R. Avresky, Khalid M. Al-Tawil

    Pages 529-545

18. Fault-tolerance on boolean n-cube architectures

    • Chu-Sing Yang, Shun-Yue Wu

    Pages 546-559

19. Relative signatures for fault tolerance and their implementation

    • Martin Leu

    Pages 561-580

20. GatoStar: A fault tolerant load sharing facility for parallel applications

    • Bertil Folliot, Pierre Sens

    Pages 581-598

This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing.
The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.

• DOM
• Dependable Computing
• Fehlertolerierende Systeme
• Safety-Critical Systems
• Sicherheitsrelevante Systeme
• Software Reliability
• Software-Zuverlässigkeit
• System
• Zuverlässiger Rechnen
• communication
• complexity
• configuration
• logic
• operating system
• processor
• quality control, reliability, safety and risk

Policies and ethics