Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung

Das durch die Deutsche Forschungsgemeinschaft (DFG) geforderte Graduiertenkolleg „Intelligente Systeme fur die Informations- und Automatisierungstechnik“ (ISIA) untersucht und erarbeitet Methoden und Mechanismen zur verbesserten Entwicklung von intelligenten Systemen. In diesem Artikel werden beispielhaft zwei im Rahmen dieses Projektes entstandene Arbeiten vorgestellt, die ein gemeinsames Grundkonzept in zwei Varianten erforschen. Beide Arbeiten benutzen Eigenschaftstransformationen, zum einen zur Steigerung der Effizienz, zum anderem zur Verbesserung der Zuverlassigkeit/Fehlertoleranz von informationsverarbeitenden Systemen.

[1]  John Rushby,et al.  Critical system properties: survey and taxonomy , 1994 .

[2]  Felix C. Freiling.  Specifications for Fault Tolerance: A Comedy of Failures , 1998 .

[3]  Jürgen Becker,et al.  Parallel Hardware Compilation in Complex Hardware/Software Systems based on High-Level Code Transformations , 1999, ARCS.

[4]  徐健,et al.  OKT , 1993 .

[5]  Anish Arora,et al.  Component Based Design of Multitolerant Systems , 1998, IEEE Trans. Software Eng..

[6]  Anish Arora,et al.  Detectors and correctors: a theory of fault-tolerance components , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[7]  Utpal Banerjee,et al.  Loop Transformations for Restructuring Compilers: The Foundations , 1993, Springer US.

[8]  Klaus Echtle.  Fehlermodellierung bei Simulation und Verifikation von Fehlertoleranz-Algorithmen für verteilte Systeme , 1984, Software-Fehlertoleranz und -Zuverlässigkeit.

[9]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[10]  Bowen Alpern,et al.  Defining Liveness , 1984, Inf. Process. Lett..

[11]  David K. Gifford,et al.  The space shuttle primary computer system , 1984, CACM.

[12]  Leslie Lamport,et al.  Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.

[13]  Leslie Lamport,et al.  Artificial Intelligence and Language Processing ]acques Cohen Editor a Simple Approach to Specifying Concurrent Systems , 2022 .