2. Fehlertolerierende Rechensysteme 1984: Bonn, Germany

@proceedings{DBLP:conf/icftcs/1984,
  editor    = {Karl-Erwin Gro{\ss}pietsch and
               Mario Dal Cin},
  title     = {Fehlertolerierende Rechensysteme, 2. GI/NTG/GMR-Fachtagung, Bonn,
               19.-21. September 1984, Proceedings},
  booktitle = {Fehlertolerierende Rechensysteme},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {84},
  year      = {1984},
  isbn      = {3-540-13348-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Eröffnungssitzung / Opening session

• T. Anderson: Can design faults be tolerated? 426-433

Verteilte System I / Distributed systems I

• Paolo Corsini, Luca Simoncini, Lorenzo Strigini: The architecture and the fault-treatment of MuTEAM. 1-13
• Franz Demmelmeier: Anwenderwerkzeuge für das fehlertolerante Multimikrocomputersystem FUTURE. 14-26
• Edgar Nett, Karl-Erwin Großpietsch, Jörg Kaiser, Reinhold Kröger: Implementing fault-tolerance in a distributed system architecture. 27-39
• Kenneth P. Birman, Thomas A. Joseph, Thomas Räuchle: Extending resilient objets efficiently. 40-51

Fehlertolerante Betriebssysteme / Fault-tolerant operating systems

• T. Brand, H. Kästner, F. Demmelmeier, G. Koller: Ein fehlertolerantes UNIX^(TM) Prozesssystem auf der Basis von Zuverlässigkeitsklassen. 52-65
• Thomas Risse, R. Brause, Mario Dal Cin, Elmar Dilger, J. Lutz: Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz. 66-76
• Marius D. Soneru, Wing H. Huen: The introduction of fault-tolerance in a hierarchical operating system. 77-88

Vertifikations- und Laufzeitvalidationsmethoden / Verification and run-time validation techniques

• Klaus Küspert: Effiziente Verfahren zur 'online'-Fehlererkennung in Baumstrukturen von Datenbankssystemen. 89-100
• M. A. J. Burford, Fevzi Belli: CADAS: A tool for designing reliable embedded software and supporting testing 'in the large'. 101-126

Allgemeine Modelle / General models

• Stanislaw Budkowski: Modelling and validating broadcasting-free concurrent systems. 127-138
• B. Eggers, Fevzi Belli: Eine Theories der Analyse und Konstruktion fehlertolerierender Systeme. 138-149
• Eugeniusz Eberbach, Jan R. Just: An uniform approach to the operating system in fault-tolerant distributed computer systems. 150-163

Fehlertolerante Hardwarekomponenten / Fault-tolerant hardware components

• Costas Efstathiou, Constantine Halatsis: Modular design of totally self-checking checkers for 1-out-of-n codes. 164-176
• Dimitris Nikolos, Nikolaos Gaitanis, George Philokyprou: Systematic t-error correcting all unidirectional error detecting codes. 177-188
• W. Michael Trautwein: Concurrent error-detection/-correction of logical operations. 189-201

Zuverlässigkeitsmodelle / Reliability models

• Jean-Claude Laprie: Dependability modelling and evaluation of software and hardware systems. 202-215
• Dieter Balzer, Bernd Böhme: Quantitative Bewertung der Zuverlässigkeit von Echtzeitprogrammsystemen. 216-227
• Kishor S. Trivedi, Joanne Bechta Dugan, Robert Geist, Mark Smotherman: Issues in reliability modeling of fault-tolerant computers. 228-239
• Winfrid G. Schneeweiss: Einzelfehler tolerierende Kommunikationsnetze. 240-251

Verteilte System II / Distributed system II

• D. Bernhardt, A. Klein: Implementation of a fault-tolerant file management system. 252-264
• Werner Schröck: Ein Fehlertolerantes Lokales Netz mit Schleifenstruktur auf Lichtwellenleiter-Basis. 265-279
• Hubert Mäncher: Synchronization tools and a restart method in the fault-tolerant distributed automation system FIPS. 280-291

Diagnose auf Systemebene / Diagnosis at system level

• Elmar Dilger: Distributed self-diagnosis and fault-tolerant communication in parallel mutliprocessor networks. 292-300
• Klaus Moritzen: System level fault-diagnosis in distributed systems. 301-312
• Horst Federmutz: Selbstdiagnoseverfahren auf der Grundlage der mathematischen Logik. 313-324
• Maciej Modrzejewski: Tests with fault-localizing capabilities improve system level diagnosis. 325-336

Protokolle / Protocols

• Klaus Echtle: Bestimmung der Protokol-Menge für verteilte Fehlermaskierungs-Systeme. 337-352
• Bernd Baumgarten, Peter Ochsenschläger: Modeling and verification of a checkpoint-restart-protocol. 353-363

Hardware- Testmethoden I / Hardware testing methods I

• Li Shen, Stephen Y. H. Su: VLSI functional testing using critical path traces at hardware description language level. 364-379
• Hugues Deneux, Pascale Thévenod-Fosse: Random testing of LSI self-checking circuits. 380-390
• H. Sahami, Bernard Courtois: Functional testing vs. structural testing of RAMs. 391-403

Hardware Testmethoden II / Hardware testing methods II

• Andrzej Hlawiczka: Compression of multiple-valued data serial streams by means of parallel LFSR signature analyzer. 404-416
• Janusz Rajski, Jerzy Tyszer: The detection of small size multiple faults by single fault test sets n programmable logic arrays. 417-425