Fehlertolerierende Rechensysteme SpringerLink Skip to main content Advertisement Search Go to cart Search Conference proceedings © 1984

Fehlertolerierende Rechensysteme

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

Editors

K.-E. Großpietsch0, M. Cin1 K.-E. Großpietsch 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 M. Cin 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) 1247 Accesses 34 Citations

Sections

Table of contents About this book Keywords Editors and Affiliations Bibliographic Information

Buying options

eBook USD 109.00 Price excludes VAT (USA) ISBN: 978-3-642-69698-5 Instant PDF download Readable on all devices Own it forever Exclusive offer for individuals only Tax calculation will be finalised during checkout Buy eBook Softcover Book USD 149.00 Price excludes VAT (USA) ISBN: 978-3-540-13348-3 Dispatched in 3 to 5 business days Exclusive offer for individuals only Free shipping worldwide
Shipping restrictions may apply, check to see if you are impacted. Tax calculation will be finalised during checkout Buy Softcover Book Learn about institutional subscriptions This is a preview of subscription content, access via your institution.

Table of contents 35 papers

Search

Front Matter

Pages I-X PDF

Verteilte Systeme I Distributed systems I

The Architecture and the Fault-Treatment of MuTEAM

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

Anwenderwerkzeuge für das fehlertolerante Multimikrocomputersystem FUTURE

Franz Demmelmeier Pages 14-26

Implementing Fault-Tolerance in a Distributed System Architecture

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

Extending Resilient Objects Efficiently

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

Fehlertolerante Betriebssysteme Fault-tolerant operating systems

Ein fehlertolerantes UNIX TM -Prozeßsystem auf der Basis von Zuverlässigkeitsklassen

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

Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz

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

The Introduction of Fault-Tolerance in a Hierarchical Operating System

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

Verifikations- und Laufzeitvalidationsmethoden Verification and run-time validation techniques

Effiziente Verfahren zur online -Fehlererkennung in Baumstrukturen von Datenbanksystemen

Klaus Küspert Pages 89-100

CADAS A Tool for Designing Reliable Embedded Software and Supporting Testing in the Large

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

Automatische Verifikation logischer Entwürfe

W. Grass, N. Schielow Pages 113-126

Allgemeine Modelle General models

Modeling and Validating Broadcasting-Free Concurrent Systems

Stanislaw Budkowski Pages 127-138

Eine Theorie der Analyse und Konstruktion fehlertolerierender Systeme

B. Eggers, F. Belli Pages 139-149

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

Eugeniusz Eberbach, Jan R. Just Pages 150-163

Fehlertolerante Hardwarekomponenten Fault-tolerant hardware components

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

C. Efstathiou, C. Halatsis Pages 164-176

Systematic t-Error Correcting All Unidirectional Error Detecting Codes

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

Concurrent Error-Detection -Correction of Logical Operations

W. Michael Trautwein Pages 189-201

Zuverlässigkeitsmodelle Reliability models

Dependability Modeling and Evaluation of Software-and-Hardware Systems

J. C. Laprie Pages 202-215

Qantitative Bewertung der Zuverlässigkeit von Echtzeitprogrammsystemen

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

Issues in Reliability Modeling of Fault-Tolerant Computers

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

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. Back to top

Keywords

ComputerComputingSystemSystemsautomationcommunicationoperating system Back to top

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

Bibliographic Information

Book Title: Fehlertolerierende Rechensysteme Book Subtitle: 2. GI/NTG/GMR-Fachtagung / Fault-Tolerant Computing Systems 2nd GI/NTG/GMR Conference / Bonn, 19.–21. September 1984 Editors K.-E. Großpietsch, M. Cin Series Title: Informatik-Fachberichte DOI: https://doi.org/10.1007/978-3-642-69698-5 Publisher: Springer Berlin, Heidelberg eBook Packages: Springer Book Archive Copyright Information: Springer-Verlag Berlin Heidelberg 1984 Softcover ISBN: 978-3-540-13348-3 eBook ISBN: 978-3-642-69698-5 Series ISSN: 0343-3005 Edition Number: 1 Number of Pages: X, 433 Number of Illustrations: 1 b/w illustrations Topics: System Performance and Evaluation, Computer System Implementation, Computer Communication Networks, Processor Architectures, Computer Hardware, Communications Engineering, Networks Back to top Access via your institution

Buying options

eBook USD 109.00 Price excludes VAT (USA) ISBN: 978-3-642-69698-5 Instant PDF download Readable on all devices Own it forever Exclusive offer for individuals only Tax calculation will be finalised during checkout Buy eBook Softcover Book USD 149.00 Price excludes VAT (USA) ISBN: 978-3-540-13348-3 Dispatched in 3 to 5 business days Exclusive offer for individuals only Free shipping worldwide
Shipping restrictions may apply, check to see if you are impacted. Tax calculation will be finalised during checkout Buy Softcover Book Learn about institutional subscriptions