Table of contents

  1. Front Matter
  2. Matti A. Hiltunen, Richard D. Schlichting
    Pages 1-20
  3. João Gabriel Silva, Luís Moura Silva, Henrique Madeira, Jorge Bernardino
    Pages 39-55
  4. Carsta Petersohn, Cornelis Huizing, Jan Peleska, Willem-Paul de Roever
    Pages 57-76
  5. Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini
    Pages 77-94
  6. Silvano Chiaradonna, Andrea Bondavalli, Lorenzo Strigini
    Pages 95-114
  7. Andrzej KraŚniewski, Leszek B. Wroński
    Pages 178-195
  8. Henrique Madeira, Mário Rela, Francisco Moreira, João Gabriel Silva
    Pages 197-216
  9. Rolf Johansson
    Pages 217-231
  10. Hong Zhu, P. A. V. Hall, J. H. R. May, T. Cockram
    Pages 233-249
  11. P. Thévenod-Fosse, C. Mazuet, Y. Crouzet
    Pages 250-267
  12. G. Masseboeuf, J. Pulou, J. L. Rainard
    Pages 269-288

About these proceedings


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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58426-1
  • Online ISBN 978-3-540-48785-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors