Dependable Computing - EDCC-1

1. Front Matter

   PDF

2. A model for adaptive fault-tolerant systems

   • Matti A. Hiltunen, Richard D. Schlichting

   Pages 1-20

3. Designing secure and reliable applications using fragmentation-redundancy-scattering: an object-oriented approach

   • Jean-Charles Fabre, Yves Deswarte, Brian Randell

   Pages 21-38

4. A fault-tolerant mechanism for simple controllers

   • João Gabriel Silva, Luís Moura Silva, Henrique Madeira, Jorge Bernardino

   Pages 39-55

5. Formal semantics for Ward & Mellor's transformation schemas and the specification of fault-tolerant systems

   • Carsta Petersohn, Cornelis Huizing, Jan Peleska, Willem-Paul de Roever

   Pages 57-76

6. Formal reasoning on fault coverage of fault tolerant techniques: A case study

   • Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini

   Pages 77-94

7. On performability modeling and evaluation of software fault tolerance structures

   • Silvano Chiaradonna, Andrea Bondavalli, Lorenzo Strigini

   Pages 95-114

8. Optimal design of fault-tolerant soft-real-time systems with imprecise computations

   • Cesare Antonelli, Vincenzo Grassi

   Pages 115-130

9. Computational restrictions for SPN with generally distributed transition times

   • Andrea Bobbio, Miklós Telek

   Pages 131-148

10. Test generation for digital systems based on alternative graphs

    • Raimund Ubar

    Pages 149-164

11. The Configuration Ratio: A model for simulating CMOS intra-gate bridge with variable logic thresholds

    • M. Renovell, P. Huc, Y. Bertrand

    Pages 165-177

12. Coverage of delay faults: When 13% and 99% mean the same

    • Andrzej KraŚniewski, Leszek B. Wroński

    Pages 178-195

13. RIFLE: A general purpose pin-level fault injector

    • Henrique Madeira, Mário Rela, Francisco Moreira, João Gabriel Silva

    Pages 197-216

14. On single event upset error manifestation

    • Rolf Johansson

    Pages 217-231

15. Injecting faults into environment simulators for testing safety critical software

    • Hong Zhu, P. A. V. Hall, J. H. R. May, T. Cockram

    Pages 233-249

16. On statistical structural testing of synchronous data flow programs

    • P. Thévenod-Fosse, C. Mazuet, Y. Crouzet

    Pages 250-267

17. Hierarchical test analysis of VLSI circuits for random BIST

    • G. Masseboeuf, J. Pulou, J. L. Rainard

    Pages 269-288

18. Zero aliasing compression based on groups of weakly independent outputs in circuits with high complexity for two fault models

    • Peter Böhlau

    Pages 289-306

19. Systematic and design diversity — Software techniques for hardware fault detection

    • Tomislav Lovric

    Pages 307-326

20. Detection of permanent hardware faults of a floating point adder by pseudoduplication

    • Stefan Gerber, Michael Goessel

    Pages 327-335

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