Skip to main content
SpringerLink
Log in

Fehlertolerierende Rechensysteme

2. GI/NTG/GMR-Fachtagung / Fault-Tolerant Computing Systems 2nd GI/NTG/GMR Conference / Bonn, 19.–21. September 1984

  • Conference proceedings
  • © 1984

Overview

Editors:
  1. K.-E. Großpietsch

    1. Institut für Systemtechnik (F2), Gesellschaft für Mathematik und Datenverarbeltung mbH Bonn, St. Augustin, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. M. Cin

    1. Institut für Informationsverarbeitung, Universität Tübingen, Tübingen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Informatik-Fachberichte (INFORMATIK, volume 84)

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

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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 (35 papers)

  1. Front Matter

    Pages I-X
    Download chapter PDF

  2. Verteilte Systeme I / Distributed systems I

    1. The Architecture and the Fault-Treatment of MuTEAM

      • P. Corsini, L. Simoncini, L. Strigini
      Pages 1-13

    2. Anwenderwerkzeuge für das fehlertolerante Multimikrocomputersystem FUTURE

      • Franz Demmelmeier
      Pages 14-26

    3. Implementing Fault-Tolerance in a Distributed System Architecture

      • E. Nett, K.-E. Grosspietsch, J. Kaiser, R. Kröger
      Pages 27-39

    4. Extending Resilient Objects Efficiently

      • Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle
      Pages 40-51

  3. Fehlertolerante Betriebssysteme / Fault-tolerant operating systems

    1. Ein fehlertolerantes UNIX(TM)-Prozeßsystem auf der Basis von Zuverlässigkeitsklassen

      • T. Brand, H. Kästner, F. Demmelmeier, G. Koller
      Pages 52-65

    2. Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz

      • Th. Risse, R. Brause, M. Dal Cin, E. Dilger, J. Lutz
      Pages 66-76

    3. The Introduction of Fault-Tolerance in a Hierarchical Operating System

      • Marius D. Soneru, Wing H. Huen
      Pages 77-88

  4. Verifikations- und Laufzeitvalidationsmethoden / Verification and run-time validation techniques

    1. Effiziente Verfahren zur “online”-Fehlererkennung in Baumstrukturen von Datenbanksystemen

      • Klaus Küspert
      Pages 89-100

    2. CADAS: A Tool for Designing Reliable Embedded Software and Supporting Testing “in the Large”

      • M. A. J. Burford, F. Belli
      Pages 101-112

    3. Automatische Verifikation logischer Entwürfe

      • W. Grass, N. Schielow
      Pages 113-126

  5. Allgemeine Modelle / General models

    1. Modeling and Validating Broadcasting-Free Concurrent Systems

      • Stanislaw Budkowski
      Pages 127-138

    2. Eine Theorie der Analyse und Konstruktion fehlertolerierender Systeme

      • B. Eggers, F. Belli
      Pages 139-149

    3. An Uniform Approach to the Operating System in Fault-Tolerant Distributed Computer Systems

      • Eugeniusz Eberbach, Jan R. Just
      Pages 150-163

  6. Fehlertolerante Hardwarekomponenten / Fault-tolerant hardware components

    1. Modular Design of Totally Self-Checking Checkers for 1-Out-of-N Codes

      • C. Efstathiou, C. Halatsis
      Pages 164-176

    2. Systematic t-Error Correcting All Unidirectional Error Detecting Codes

      • D. Nikolos, N. Gaitanis, G. Philokyprou
      Pages 177-188

    3. Concurrent Error-Detection/-Correction of Logical Operations

      • W. Michael Trautwein
      Pages 189-201

  7. Zuverlässigkeitsmodelle / Reliability models

    1. Dependability Modeling and Evaluation of Software-and-Hardware Systems

      • J. C. Laprie
      Pages 202-215

    2. Qantitative Bewertung der Zuverlässigkeit von Echtzeitprogrammsystemen

      • D. Balzer, B. Böhme
      Pages 216-227

    3. Issues in Reliability Modeling of Fault-Tolerant Computers

      • Kishor Trivedi, Joanne Bechta Dugan, Robert Geist, Mark Smotherman
      Pages 228-239
Back to top

Keywords

About this book

In the last decade of Computer Science development, we can observe a growing interest in fault-tolerant computing. This interest is the result of a rising number of appl'ications where reliable operation of computing systems is an essential requirement. Besides basic research in the field of fault-tolerant computing, there is an increasing num­ ber of systems especially designed to achieve fault-tolerance. It is the objective of this conference to offer a survey of present research and development activities in these areas. The second GI/NTG/GM~ Conference on Fault-Tolerant Computing Systems has had a preparatory time of about two years. In March 1982, the first GI conference concerning fault-tolerant computing systems was held in Munich. One of the results of the conference was to bring an organiza­ tional framework to the FTC community in Germany. This led to the founding of the common interest group "Fault-Tolerant Computing Systems" of the Gesellschaft fur Informatik (GI), the Nachrichtentechnische Gesellschaft (NTG), and the Gesellschaft fur MeB- und Regelungstechnik (VDI/VDE-GMR) in November 1982. At that time, it was also decided to schedule a biannual conference on fault-tolerant computing systems. One of the goals of this second conference is to strengthen the relations with the international FTC community; thus, the call for papers was extended not only to German-speaking countries, but to other countries as well.

Editors and Affiliations

  • Institut für Systemtechnik (F2), Gesellschaft für Mathematik und Datenverarbeltung mbH Bonn, St. Augustin, USA

    K.-E. Großpietsch

  • Institut für Informationsverarbeitung, Universität Tübingen, Tübingen, Germany

    M. Cin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation