Realzeit-Programmierung

ISBN-13: 9783540671213 / Niemiecki / Twarda / 2000 / 357 str.

Ataeddin Ghassemi-Tabrizi

Spis treści

Motivation und Zielsetzung.- Grundlagen.- Realzeit-Programmierverfahren.- Realzeit-Programmiersprachen.- Synchronisierung von Rechenprozessen.- Petri-Netze zur Modellierung von Synchronisierungen.- Semaphore.- Monitor.- Rendezvous.- Typische Synchronisierungsaufgaben.- Problemorientierte Modellierung der Software für Realzeitsysteme.- Literatur.- Sachverzeichnis

Blurb

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.