Springer Berlin Realzeit-Programmierung

Das Buch führt in die verschiedenen Techniken der Realzeit- und Parallel-Programmierung ein. Hierzu werden u.a. die unterschiedlichen Konzepte von drei Realzeit-Sprachen (Ada, Modula-2, Pearl) anhand von praktischen Beispielen erläutert. Besonderes Gewicht wird auf die abstrakte Modellierung der Abläufe in einem Realzeitsystem gelegt, etwa mit Hilfe von Zustandsdiagrammen, Petrinetzen und Rendezvous. Anschliessend wird die Umsetzung des Modells in ein Realzeit-Programm gemäss den verschiedenen Programmiertechniken aufgezeigt. Der Synchronisierung von parallelen Rechenprozessen wird besondere Bedeutung beigemessen. Der Leser wird Schritt für Schritt in die komplexen Zusammenhänge eingeführt, viele Abbildungen und Beispiele erleichtern das Verständnis.