Skip to main content
SpringerLink
Log in

Dependable Computing - EDCC-1

First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Klaus Echtle
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dieter Hammer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. David Powell
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 852)

Included in the following conference series:

Conference proceedings info: EDCC 1994.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (40 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Dependable Computing — EDCC-1

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation