Programmierung von Echtzeitsystemen mit hoher Zuverlässigkeit

Zusammenfassung

Es folgt in Kap. 5 die Betrachtung der Voraussetzungen für eine Programmiersprache zur zuverlässigen Implementierung mithilfe adäquater Sprachelemente für Echtzeitanforderungen. Hierbei geht es um die verlässliche Realisierung von Algorithmen, die Modularisierung unter dem Aspekt des „information hiding“, die typstrenge Behandlung von Variablen, Referenzen und objektorientierten Strukturen. Der Einsatz von Sprachmitteln zur Definition nebenläufiger Strukturen und deren Kommunikation unter zeitlichen Randbedingungen sind weitere Aspekte. Die Behandlung von synchronen Ausnahmen wie die Division durch Null usw. ist durch eine Programmiersprache zu beherrschen. Konkrete Beispiele zeigen Defizite in existierenden Sprachen und mögliche Alternativen.