goerke@ira.uka.de (Winfried Goerke Universitaet Karlsruhe) (07/19/89)
4th International Conference on Fault-Tolerant Computing Systems Automation Systems - Methods - Applications September 20-22, 1989, Baden-Baden, Germany organized by Joint Technical Group "Fault-Tolerant Computing Systems" of GI/ITG/GMA (Society for Informatics, Communication Engineering Society, Measurement and Automation Engineering Society in Germany) Conference Program Opening Session Invited Paper Chairperson: W. Goerke R. Isermann (Univ. Darmstadt): Hoehere Zuverlaessigkeit durch modellgestuetzte Fehlerdiagnose am Beispiel von Werkzeugmaschinen Safety Aspects Chairperson: U. Voges R. Faller (TUEV-Bayern, Muenchen), H. Schuetz (Siemens, Erlangen): Baumusterpruefung und Struktur einer sicherheitsgerichteten speicherprogrammierbaren Steuerung H.-J. Kartenberg (Westfaelische Berggewerkschaftskasse, Bochum): Eigensichere und hochverfuegbare Messdatenverarbeitung in Industrieanlagen U. K. Krogmann (Bodenseewerk Geraetetechnik, Ueberlingen): Failure Detection, Isolation and Dynamic Reconfiguration of Spatio-Temporal, Skew Redundant Aircraft Motion Sensing Systems Invited Paper Chairperson: E. Maehle B. W. Johnson (Univ. Virginia, Charlottesville): Design and Analysis of Fault-Tolerant Systems for Industrial Applications Fault-Tolerant Hardware M. Wesseling, U. Ramacher (Siemens, Muenchen), K. Goser (Univ. Dortmund): Evaluation and Comparison of Selected WSI Reconfiguration Architectures in Terms of Yield and Yield per Area M. A. Bonuccelli (Univ. Pisa), L. Simoncini (Univ. Reggio Calabria): A Fault-Tolerant Distributed Control VLSI Permutation Network Applications Chairperson: E. Schmitter W. Hess (Hartmann & Braun, Frankfurt): Quantitative Bewertung der Fehlertoleranz am Beispiel eines verteilten Prozess-Leitsystems G. Raichle (Siemens, Muenchen): Das digitale Vermittlungssystem EWSD - ein Beispiel fuer ein fehlertolerantes Realzeitsystem C. Constantinescu (Polytechn. Inst. Bukarest), C. Sandovici (Res. Inst. f. Comp. Techn. and Informatics, Bukarest): Microcomputer-Based, Gracefully Degrading Industrial Controller Invited Paper Chairperson: B. Eggers J. P. J. Kelly (Univ. California, Santa Barbara): Current Experiences with Fault Tolerant Software Design: Dependability Through Diverse Formal Specifications? Design of Fault-Tolerant Computing Systems C. Morin (IRISA, Rennes): A Fault-Tolerant Implementation of CSP Input-Output Commands A. Clematis (Istit. Matem. Appl. del CNR, Genova), V. Gianuzzi (Univ. Genova): A Conversation Structure for Remote Procedure Call Oriented Languages Fault Diagnosis in Distributed Systems Chairperson: K. Echtle F. Saglietti (Ges. fuer Reaktorsicherheit, Garching): The Impact of Voter Granularity in Fault-Tolerant Software on System Reliability and Availability M. Dal Cin (Univ. Frankfurt): On Distributed System-Level Self-Diagnosis A. K. Somani, M. Bagha (Univ. Washington, Seattle): Meshkin: A Fault Tolerant Computer Architecture with Distributed Fault Detection and Reconfiguration Transaction Processing Chairperson: E. Nett R. Schumann, M. Mock (GMD, St. Augustin): Efficient Commit/Abort Procedures in the RelaX Distributed Transaction Layer V. Bohn, Th. Wagner (Univ. Kaiserslautern): Transaktionsketten - Konzept und Implementierung W. Graetsch, T. Brand (Nixdorf, Paderborn): UNIX Fehlertoleranz mit dem Queue and Count Verfahren Reliability Evaluation Chairperson: M. Dal Cin W. Schneeweiss (Fernuniv. Hagen): Approximate Dependability Analysis of a Duplex-Bus Based Diagnostic LAN H. Kantz, M. Mulazzani (Techn. Univ. Wien): PMS-Models in SHARPE Invited Paper Chairperson: W. Schneeweiss K. H. Kim (Univ. California, Irvine): Approaches for System-Level Fault Tolerance in Distributed Real-Time Computer Systems Communication Systems K. Echtle, A. Niedermaier (Univ. Karlsruhe): Eine senderanonyme fehlertolerante Kommunikationsstruktur Fault Injection Chairperson: F. Belli J. Karlsson, U. Gunneflo, J. Torin (Univ. Goeteborg): The Effects of Heavy-Ion Induced Single Event Upsets in the MC6809E Microprocessor A. Damm (Techn. Univ. Wien): Self-Checking Coverage of Components of a Distributed Real-Time System Fault Detection Chairperson: H. Soerensen U. Glaeser, U. Steinhausen (GMD, St. Augustin): Fehlererkennung und Fehlertoleranz beim assoziativen RAM(ARAM)-Speicher U. Glaesser (Univ. Gesamthochschule Paderborn): Ein regelbasiertes System zur Testbarkeitsanalyse hierarchisch aufgebauter Schaltungsentwuerfe Signature Analysis Chairperson: K.E. Grosspietsch J. Sosnowski (Inst. of Computer Science, Warschau): Concurrent Error Detection Using Signature Monitors A. Hlawiczka (Techn. Univ. Gliwice): Signature Analysis Testing with Bottom-Top Exclusive Or Type MISR Test Generation Chairperson: E. Dilger D. Badura (Univ. of Silesia, Sosnowiec): Efficiency of Self-Test Path as a Test Pattern Generator and Test Response Compactor Y. Chen (Univ. Chongqing): Mehrfach-Literalfehler in logischen Schaltungen Conference organization Baden-Baden is a well-known resort place located in the northern Black Forest mountains close to Karlsruhe, Germany, and Strasbourg, France. All the contributions mentioned are being published as conference proceedings available at the conference by Springer-Verlag in the series "Informatikfachberichte" as those of the preceding conferences. The conference languages will be English and German without simultaneous translation. More than half of the contributions will be presented in English. The regular registration fee will be DM 550.- (around $220.-). It can be reduced to DM 500.- for authors and members of the organizing societies and to DM 350.- for university members (verification required). A printed version of the conference program including information on registration and accomodation is available upon request from: Mr. H. Wiefels, VDI/VDE-GMA, P.O.B. 1139, 4000 Duesseldorf 1, Germany, Tel. (0049) 211 6214 302, or from the conference chairman Prof. Dr.-Ing. W. Goerke, Universitaet Karlsruhe, by e-mail <goerke@ira.uka.de>.