Skip to main content
SpringerLink
Log in
Book cover

Dependable Computing - EDCC-2

Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Andrzej Hlawiczka
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. João Gabriel Silva
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Luca Simoncini
    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 1150)

Included in the following conference series:

Conference proceedings info: EDCC 1996.

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 54.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 (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Friends: A flexible architecture for implementing fault tolerant and secure distributed applications

    • Jean-Charles Fabre, Tanguy Pérennou
    Pages 1-20

  3. Adaptable fault tolerance for distributed process control using exclusively standard components

    • Jürgen Bohne, Reny Grönberg
    Pages 21-34

  4. On stratified sampling for high coverage estimations

    • David Powell, Michel Cukier, Jean Arlat
    Pages 35-54

  5. Fault injection evaluation of assigned signatures in a RISC processor

    • Pedro Furtado, Henrique Madeira
    Pages 55-72

  6. An evaluation of the error detection mechanisms in MARS using software-implemented fault injection

    • Emmerich Fuchs
    Pages 73-90

  7. Dependability modeling and analysis of complex control systems: An application to railway interlocking

    • Manuela Nelli, Andrea Bondavalli, Luca Simoncini
    Pages 91-110

  8. The effect of interfailure time variability on the software reliability growth modelling

    • Peter Popov
    Pages 111-128

  9. Dependability evaluation of a computing system for traction control of electrical locomotives

    • Silke Draber, Bernhard Eschermann
    Pages 129-140

  10. Dependability models of RAID using stochastic activity networks

    • Vicente Santonja, Marina Alonso, Javier Molero, Juan J. Serrano, Pedro Gil, Rafael Ors
    Pages 141-158

  11. Compiler assisted self-checking of structural integrity using return address hashing

    • Uwe Wildner
    Pages 159-177

  12. Single source fault-tolerant broadcasting for two-dimensional meshes without virtual channels

    • D. R. Avresky, Chris M. Cunningham
    Pages 178-189

  13. On-line testing of an off-the-shelf microprocessor board for safety-critical applications

    • F. Corno, M. Damiani, L. Impagliazzo, P. Prinetto, M. Rebaudengo, G. Sartore et al.
    Pages 190-201

  14. The logic threshold based voting: A model for local feedback bridging fault

    • M. Renovell, P. Huc, Y. Bertrand
    Pages 203-213

  15. On the yield of VLSI processors with on-chip CPU cache

    • D. Nikolos, H. T. Vergos
    Pages 214-229

  16. Design of dependable hardware: What BIST is most efficient?

    • Andrzej Kraśniewski
    Pages 231-245

  17. Pseudorandom testing of microprocessors at instruction/data flow level

    • Janusz Sosnowski, A. Kuśmierczyk
    Pages 246-263

  18. Multi-level test generation and fault diagnosis for finite state machines

    • R. Ubar, M. Brik
    Pages 264-281

  19. Dynamic testing from bounded data type specifications

    • Agnès Arnould, Pascale Le Gall, Bruno Marre
    Pages 283-302

  20. A theory of specification-based testing for object-oriented software

    • Stéphane Barbey, Didier Buchs, Cécile Péraire
    Pages 303-320
Back to top

Other volumes

  1. Dependable Computing — EDCC-2

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation