4. Fehlertolerierende Rechensysteme 1989: Baden-Baden, Germany

@proceedings{DBLP:conf/icftcs/1989,
  editor    = {Winfried G{\"o}rke and
               Holger S{\"o}rensen},
  title     = {Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems,
               Automatisierungssysteme, Methoden, Anwendungen / Automation Systems,
               Methods, Applications; 4. Internationale GI/ITG/GMA-Fachtagung,
               Baden-Baden, 20.-22. September 1989, Proceedings},
  booktitle = {Fehlertolerierende Rechensysteme},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {214},
  year      = {1989},
  isbn      = {3-540-51565-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Eröffnungssitzung / Opening Session

• Rolf Isermann: Höhere Zuverlässigkeit durch modellgestützte Fehlerdiagnose am Beispiel von Werkzeugmaschinen. 1-14 BibTeX

Sicherheitsaspekte / Safety Aspects

• R. Faller, H. Schütz: Baumusterprüfung und Struktur einer sicherheitsgerichteten speicherprogrammierbaren Steureung. 15-28 BibTeX
• H.-J. Kartenberg: Eigensichere und hochverfügbare Meßdatenverarbeitung in Industrieanlagen. 29-41 BibTeX
• Uwe K. Krogmann: Failure Detection, Isolation and Dynamic Reconfiguration of Spatio-Temporal, Skew Redundant Aircraft Motion Sensing Systems. 42-56 BibTeX
• Barry W. Johnson: Design and Analysis of Fault-Tolerant Systems for Industrial Applications. 57-73 BibTeX

Fehlertolerante Hardware / Fault-Tolerant Hardware

• Matthias Wesseling, Ulrich Ramacher, Karl Goser: Evaluation and Comparison of Selected WSI Reconfiguration Architectures in Terms of Yield and Yield per Area. 74-84 BibTeX
• Maurizio A. Bonuccelli, Luca Simoncini: A Fault-Tolerant Distributed Control VLSI Permutation Network. 85-99 BibTeX

Anwendungen / Applications

• Wilfried Heß: Quantitative Bewertung der Fehlertoleranz am Beispiel eines verteilten Prozeß-Leitsystems. 100-111 BibTeX
• Gabriele Raichle: Das digitale Vermittlungssystem EWSD - ein Beispiel für ein fehlertolerantes Realzeitsystem. 112-123 BibTeX
• Cristian Constantinescu, Calin Sandovici: Microcomputer-Based, Gracefully Degrading Industrial Controller. 124-133 BibTeX
• John P. J. Kelly: Current Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal Specifications? 134-149 BibTeX

Entwurf fehlertoleranter Rechensysteme / Design of Fault-Tolerant Computing Systems

• Christine Morin: A Fault-Tolerant Implementation of CSP Input-Output Commands. 150-162 BibTeX
• Andrea Clematis, Vittoria Gianuzzi: A Conversation Structure for Remote Procedure Call Oriented Languages. 163-173 BibTeX

Fehlerdiagnose in verteilten System / Fault Diagnosis in Distributed Systems

• Francesca Saglietti: The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Avaiability. 174-185 BibTeX
• Mario Dal Cin: On Distributed System-Level Self-Diagnosis. 186-196 BibTeX
• Arun K. Somani, Merat Bagha: Meshkin: A Fault Tolerant Computer Architecture with Distributed Fault Detection and Reconfiguration. 197-208 BibTeX

Transaktionssysteme / Transaction Processing

• Ralf Schumann, Michael Mock: Efficient Commit/Abort Procedures in the RelaX Distributed Transaction Layer. 209-220 BibTeX
• Volker Bohn, Th. Wagner: Transaktionsketten - Konzept und Implementierung. 221-232 BibTeX
• Wolfgang Graetsch, T. Brand: UNIX Fehlertoleranz mit dem Queue and Count Verfahren. 233-243 BibTeX

Zuverlässigkeitsbewertung / Reliability Evaluation

• Winfrid G. Schneeweiss: Approximate Dependability Analysis of a Duplex-Bus Based Diagnostic LAN. 244-255 BibTeX
• Heinz Kantz, Marco Mulazzani: PMS-Models in SHARPE. 256-267 BibTeX
• K. H. Kim: Approaches for System-Level Fault Tolerance in Distributed Real-Time Computer Systems. 268-282 BibTeX

Kommunikationssysteme / Communication Systems

• Klaus Echtle, Arnold Niedermaier: Eine senderanonyme fehlertolerante Kommunikationsstruktur. 283-295 BibTeX

Fehlerinjektion / Fault Injection

• Johan Karlsson, Ulf Gunneflo, Jan Torin: The Effects of Heavy-Ion Induced Single Event Upsets in the MC6809E Microprocessor. 296-307 BibTeX
• Andreas Damm: Self-Checking Coverage of Components of a Distributed Real-Time System. 308-319 BibTeX

Fehlererkennung / Fault Detection

• Uwe Gläser, U. Steinhausen: Fehlererkennung und Fehlertoleranz beim assoziativen RAM(ARAM)-Speicher. 320-333 BibTeX
• Uwe Glässer: Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwürfe. 334-342 BibTeX

Signaturanalyse / Signature Analysis

• Janusz Sosnowski: Concurrent Error Detection Using Signature Monitors. 343-355 BibTeX
• Andrzej Hlawiczka: Signature Analysis Testing with Bottom-Top Exclusive Or Type MISR. 356-367 BibTeX

Testerzeugung / Test Generation

• Dariusz Badura: Efficiency of Self-Test Path as a Test Pattern Generator and Test Response Compactor. 368-378 BibTeX
• Yongzhang Chen: Mehrfach-Literalfehler in logischen Schaltungen. 379-389 BibTeX