Zusammenfassung
Das durch die Deutsche Forschungsgemeinschaft (DFG) geförderte Graduiertenkolleg „Intelligente Systeme für 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 Zuverlässigkeit/Fehlertoleranz von informationsverarbeitenden Systemen.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literatur
B. Alpern and F. B. Schneider. Defining liveness. Information Processing Letters, 21: 181–185, 1985.
A. Arora and S. Kulkarni. Detectors and correctors: A theory of fault-tolerance components. In Proc. of the 18th IEEE Int. Conf. on Distr. Comp. Sys., Mai 1998.
A. Arora and S. S. Kulkarni. Component based design of multitolerant systems. IEEE Transactions on Software Engineering, 24 (1): 63–78, Jan. 1998.
U. Banerjee. Loop Transformations for Restructuring Compilers: The Foundations. Kluwer Academic Publishers, 1993.
U. Banerjee. Loop Transformations for Restructuring Compilers: Loop Parallelization. Kluwer Academic Publishers, 1994.
J. Becker. A Partitioning Compiler for Computers with Xputer-based Accelerators. Dissertation, Universität Kaiserslautern, 1997.
E. W. Dijkstra. Self stabilizing systems in spite of distributed control. Communications of the ACM, 17 (11): 643–644, 1974.
K. Echtle. Fehlermodellierung bei Simulation und Verifikation von Fehlertoleranz-Algorithmen für Verteilte Systeme. In F. Belli, S. Pfleger, und M. Seifert (Hg.), Software-Fehlertoleranz und -Zuverlässigkeit, Inf.-Fachberichte (Bd. 83), S. 73–88. Springer, 1984.
K. Echtle und A. Masurn. Understanding cooperative byzantine failures: A novel failure classification to enable efficient fault-tolerant protocols. In Proc. of the IEEE Workshop on Fault-Tolerant Parallel and Distr. Sys.,San Juan, Puerto Rico, USA, Apr. 1999. Kluwer.
F. C. Gärtner. Specifications for fault tolerance: A comedy of failures. Technischer Bericht TUD-BS-1998–03, TU Darmstadt, Fachbereich Informatik, Okt. 1998.
L. Lamport. Proving the correctness of multiprocess programs. IEEE Transactions on Software Engineering, 3 (2): 125–143, März 1977.
L. Lamport. A simple approach to specifying concurrent systems. Communications of the ACM, 32 (1): 32–45, Jan. 1989.
Z. Liu und M. Joseph. Transformation of programs for fault-tolerance. Formal Aspects of Computing, 4 (5): 442–469, 1992.
J. Rushby. Critical system properties: Survey and taxonomy. Reliability Engineering and System Safety, 43 (2): 189–219, 1994.
O. Schneider. Transformationen von Schleifenindizes zur Parallelisierung von VHDLVerhaltenscode. Diplomarbeit, TU Darmstadt, 1999.
A. Spector und D. Gifford. The space shuttle primary computer system. Communications of the ACM, 27 (9): 874–900, 1984.
M. Theisen, J. Becker, M. Glesner, und T. Caohuu. Parallel hardware compilation in complex hardware software systems based on high-level code transformations. In ARCS’99: 15. GI ITG-Fachtagung: Architektur von Rechensystemen, Jena, Okt. 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gärtner, F.C., Theisen, M. (1999). Transformationen zur parallelisierten und fehlertoleranten Informationsverarbeitung. In: Beiersdörfer, K., Engels, G., Schäfer, W. (eds) Informatik’99. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-01069-3_31
Download citation
DOI: https://doi.org/10.1007/978-3-662-01069-3_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66450-5
Online ISBN: 978-3-662-01069-3
eBook Packages: Springer Book Archive