3. Fehlertolerierende Rechensysteme 1987: Bremerhaven, Germany

Fevzi Belli, Winfried Görke (Eds.): Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems, 3. Internationale GI/ITG/GMA-Fachtagung, Bremerhaven, 9.-11. September 1987, Proceedings. Informatik-Fachberichte 147 Springer 1987, ISBN 3-540-18294-2

@proceedings{DBLP:conf/icftcs/1987,
  editor    = {Fevzi Belli and
               Winfried G{\"o}rke},
  title     = {Fehlertolerierende Rechensysteme / Fault-Tolerant Computing Systems,
               3. Internationale GI/ITG/GMA-Fachtagung, Bremerhaven, 9.-11.
               September 1987, Proceedings},
  booktitle = {Fehlertolerierende Rechensysteme},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {147},
  year      = {1987},
  isbn      = {3-540-18294-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Eröffnungssitzung / Opening Session

Nancy G. Leveson: Software Fault Tolerance in Safety-Critical Applications. 1-12

Vertrauenswürdige Systeme / Dependable Systems

Timm Grams: Biased Programming Faults - How to Overcome Them?. 13-23
Klaus Leist: Sicherheitsgerichtete speicherprogrammierbare Steuerung mit TÜV-Prüfung. 24-35
Michael Waidner, Birgit Pfitzmann: Verlusttolerante elektronische Brieftaschen. 36-50
David A. Rennels: Design Issues in High Performance Fault-Tolerant Multicomputers. 51-60

Hardware-Implementierte Fehlertoleranz / Hardware-Implemented Fault Tolerance

Jörg Kaiser, Edgar Nett, Reinhold Kröger: Mutabor - An Intelligent Memory Management Unit for an Object Oriented Architecture Supporting Error Recovery. 61-71
H. P. Holzapfel, K. H. Korninger: Fault-Tolerant VLSI Processor. 72-82

Testerzeugunt / Test Generation

Mireille Jacomino, J. L. Rainard, Rene David: Fault Detection By Consumption Measurement in CMOS Circuits. 83-94
Z. Abazi, Pascale Thévenod-Fosse: MICROPROCESSOR BOARDS: Compact Markov Models for Random Test Length Calculation. 95-106

Expertensysteme und Testerzeugung / Expert Systems and Test Generation

Elpida T. Keravnou, L. Johnson: NEOCRIB: An Expert Fault Finding System that Articulates the Competence of Field Engineers. 107-118
Mehrdad Bidjan-Irani, Uwe Glässer, Franz J. Rammig: Knowledge Based Tools for Testability Checking. 119-128
Reinhard Reisig: Test Pattern Obtainment from Algorithmic Descriptions. 129-140
Ioannis Stamelos, C. Halatsis: Efficient test Generation for Register Transfer Level Descriptions. 141-152

Selbsttest / Self-Test

Janusz Sosnowski: Experiments with Transient Fault Upsets in Microprocessor Controllers. 153-164
Andrzej Hlawiczka, Dariusz Badura: Universal Test Controller Chip for Board Self Test. 165-175
Z. Benyò: Systematische Erweiterung der Selbsttestmöglichkeiten von Baugruppen mit Mikroprozessoren. 176-190

Systemdiagnose und Fehlerbehebung / System Diagnosis and Error Recovery

Mario Dal Cin: Ein Diagnoseverfahren für Systeme mit mehreren Verarbeitungseinheiten. 191-199
Frank Paszota: Investigation of Distributed algorithms for System Self-Diagnosis. 200-212
L. Lehmann, J. Brehm: Rollback Recovery in Multiprocessor Ring Configurations. 213-223

Fehlertolerant Kommunikationssysteme / System-Tolerant Communication Systems

Thomas Risse: Modelling Interrupt Based Interprocessor Communication by Time Petri Nets. 224-234
Richard Vogt: Ein Verfahren zur Fehlerausgrenzung und Fehlertolerierung in busorientierten Rechensystemen. 235-248
M. Scevarolli, Luca Simoncini: Reliable Multicast Protocols for a Token Ring Architecture. 249-262

Software-Fehlertoleranz und -Zuverlässigkeit / Software Fault Tolerance and Software Reliability

Bev Littlewood, Douglas R. Miller: A Conceptual Model of the Effect of Diverse Methodologies on Coincident Failures in Multi-Version Software. 263-272
Massimo Ancona, Andrea Clematis, Gabriella Dodero, Eduardo B. Fernández, Vittoria Gianuzzi: A System Architecture for Software Fault Tolerance. 273-283
Francesca Saglietti, Manfred Kersken: Quantitative Assessment of Fault-Tolerant Software Architecture. 284-297
Dimitris Christodoulakis, Grammati E. Pantziou: Another Software Reliability Prediction Model. 298-303

Zuverlässigkeitsbewertung / Reliability Evaluation

Winfrid G. Schneeweiss: The Distribution of Computer Life after Tolerable Faults. 304-313
László T. Kóczy: Maximal Availability of Tree-Structured Fault-Tolerant Systems. 314-323

Fehlerbehandlung in verteilten Systemen / Error Processing in Distributed Systems

Theo Härder: Fehlertoleranz-Aspekte in Transaktionssystemen. 324-335
Erhard Rahm: A Reliable and Efficient Synchronization Protocol for Database Sharing Systems. 336-347
Klaus Echtle: Fault Tolerance based on Time-Staggered Redundancy. 348-361
Andreas Damm: Fault-Tolerant Distributed Real-Time System: MARS. 362-373

Anwendungen / Applications

L. Pachali, M. Kuhn: An Automated Material Flow Control System on a Fault-Tolerant Computer System for an Industrial Serial Manufacturer - A Report upon Practical Experience. 374-375
Stefan Klusmeier: Konzept und Einsatzerfahrung mit Marathon/32 und RELIANCE. 376-377

Systeme I / Systems I

T. Kloppenburg: LOGISIRE, a Safe Computer System for Process Automation. 378-382
E. H. Schmid, I. Rehbein, J. Timmermann: Ausfallsicheres Betriebs- und Wartungszentrum BSE. 383-386

Systeme II / Systems II

K. Chmillon, J. Heger, H. Herzberger: A Fault-Tolerant Multiple Processor for Front-End Process Control. 387-388