Objektorientierte Daten- und Zeitmodelle für die Echtzeit ...

100 KAPITEL 6. FUNKTIONALE BESCHREIBUNG VON BILDFOLGENPROGRAMMEN
Für die Steuerung der Datenaktualisierung und die Synchronisation unterschiedlicher Daten
innerhalb eines Zyklus ist ein stärkerer Zeitbezug als der der Ø Ø℄ -Relation erforderlich.
Dem wird eine Klasse von weiteren Zugriffsrelationen gerecht, an deren Spitze Ø Ø steht.
Diese fordern für die zu verarbeitenden Daten explizit eine bestimmte Daten- oder Zykluszeit
(Ø bzw. Ø ), wobei sie gegebenfalls auch auf die Bereitstellung der Daten warten oder sie aktiv
herbeiführen. Ausgehend von diesen Daten sind mit negativen Indizes auch Zugriffe auf ältere
Werte möglich. Die Darstellungsformen für die genannten Relationen faßt Abb. 6.6 zusammen.
explizit ohne Zeitbezug:
Ø ℄ Ë
Ø ℄ Ë
℄
Ë
℄
Ë mit Angabe der Zykluszeit als Referenzzeit:
Ø Ø℄ Ë
Ø Ø℄ Ë
℄
Ë
℄
Ø Ë Ø
mit Zykluszeit oder Datenmeßzeit als Zeitbezug:
Ø Ø Ë
Ø Ø Ë
Ë Ø Ë
Abbildung 6.6: Darstellung des Zeitbezugs von Datenzugriffen.
Zeitliche Bezüge besitzen die folgende Semantik: Ø gibt den Zeitpunkt an, zu dem die Datenaufnahme
bzw. -messung erfolgen soll bzw. erfolgt sein sollte. Damit wird sichergestellt,
daß die Daten den Zustand des Systems zu einem konkreten Zeitpunkt beschreiben. Etwas
schwächer ist die Angabe von Ø . Dies erfordert, daß die Daten aus dem gleichen Verarbeitungszyklus,
also dem gleichen Iterationsschritt stammen. Dadurch wird i.d.R. auch sichergestellt,
daß nur Daten eines Aufnahmezeitpunktes verarbeitet werden. Darüber hinaus ermöglicht es
den konsistenten Datenzugriff auch dann, wenn die genaue Datenaufnahmezeit (noch) nicht
bekannt ist. Als Zykluszeit wird typischerweise die Zykluszeit, mit der der Funktoraufruf erfolgte,
verwendet. Die Datenmeßzeit kann dagegen beispielsweise von einen bereits ermittelten
Eingangswert stammen:
Zykluszeit: Ë Ø Ø Ø
℄
Datenmeßzeit: Ë Ë Ø Ø Ø Ë Verhalten bei Zugriffen auf fehlende Daten: Als einen zweiten Aspekt des Datenzugriffs
sollen spezielle Relationen es ermöglichen, Richtlinien für das Verhalten der Funktoren
vorzugeben, falls bei einem zeitgebundenen Datenzugriff (noch) kein Datenwert für den angegebenen
Zeitpunkt verfügbar ist. Die folgenden, in Abb. 6.7 zusammengefaßten Relationen
stellen damit Spezialisierungen der Ø Ø -Relation dar.
Eine erste Möglichkeit besteht darin, Zugriffe, die durch die Datensequenz nicht unmittelbar
befriedigt werden können, mit einer entsprechenden Statusmeldung abzubrechen. Der Funktor
Ø
S A
S B
S A
S B
S A
S B
[0]
[-1]
[0] t
[-1]
t
t
t-1
F
F
F