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. Anschließend wird die Umsetzung des Modells in ein Realzeit-Programm gemäß 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. TOC:Motivation und Zielsetzung.- Grundlagen.- Realzeit-Programmierverfahren.- Synchrone Programmierung.- Asynchrone Programmierung.- Realzeit-Programmiersprachen.- Modula-2.- Pearl.- Ada.- Synchronisierung von Rechenprozessen.- Petrinetze zur Modellierung von Synchronisierungen.- Semaphore.- Monitor.- Rendezvous.- Typische Synchronisierungsaufgaben.- Problemorientierte Modellierung der Software für Realzeitsysteme.- Anhang.- Literatur.