Real-time programming (Q4494741)

Realzeitsysteme sind in der Regel Multitasking-Systeme, bei denen jeweils eine Task für einen Vorgang des Gesamtsystems verantwortlich ist. Die Vorgänge wirken zusammen und erfüllen gemeinsam einen Zweck, also besteht eine logische Abhängigkeit zwischen ihnen. Die Kausalität die sich bei sequentiellen Programmen auf eine Task beschränkt, erstreckt sich somit bei Realzeitsystemen auf die Operationen mehrerer Tasks. Die parallel ablaufenden Operationen mehrerer Tasks müssen in diesen Systemen miteinander synchronisiert werden. Gemeinsam genutzte Ressourcen müssen geperrt und freigegeben werden. Es werden gängige Programmierverfahren für Realzeitsysteme untersucht und erläutert. Semaphore, Monitore und Rendezvous-Konzept werden zur Lösung realistischer Problemstellungen eingesetzt. Außerdem werden Spezifikationsmethoden für Realzeitsysteme behandelt: Endliche Automaten zur Festlegung des dynamischen Verhaltens der jeweils intern sequentiell arbeitenden Komponenten und Petri-Netze aber auch Rendezvous zur Modellierung der Synchronisierung unter den parallel arbeitenden Tasks. In einem eigenen Kapitel werden typische Synchronisationsaufgaben mittels Semaphoren mittels Monitor und mittels Rendezvous gelöst und jeweils mittels Petrinetz veranschaulicht. Ein umfassendes Beispiel bildet den Abschluss des praxisorientierten Lehrbuchs. Als Programmiersprachen werden Ada, Modula-2 und Pearl eingesetzt.