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 BibTeX

Verteilte System I / Distributed systems I

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

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 BibTeX
• Thomas Risse, R. Brause, Mario Dal Cin, Elmar Dilger, J. Lutz: Entwurf und Struktur einer Betriebssystemschicht zur Implementierung von Fehlertoleranz. 66-76 BibTeX
• Marius D. Soneru, Wing H. Huen: The introduction of fault-tolerance in a hierarchical operating system. 77-88 BibTeX

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

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

Allgemeine Modelle / General models

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

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 BibTeX
• Dimitris Nikolos, Nikolaos Gaitanis, George Philokyprou: Systematic t-error correcting all unidirectional error detecting codes. 177-188 BibTeX
• W. Michael Trautwein: Concurrent error-detection/-correction of logical operations. 189-201 BibTeX

Zuverlässigkeitsmodelle / Reliability models

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

Verteilte System II / Distributed system II

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

Diagnose auf Systemebene / Diagnosis at system level

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

Protokolle / Protocols

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

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 BibTeX
• Hugues Deneux, Pascale Thévenod-Fosse: Random testing of LSI self-checking circuits. 380-390 BibTeX
• H. Sahami, Bernard Courtois: Functional testing vs. structural testing of RAMs. 391-403 BibTeX

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 BibTeX
• Janusz Rajski, Jerzy Tyszer: The detection of small size multiple faults by single fault test sets n programmable logic arrays. 417-425 BibTeX