download - SPES 2020

Kosimulation in SPES
Abbildung 2.2: Schnappschuss einer Federation zu einem Zeitpunkt, in dem sich die logischen
Zeiten aller Federates 10 betragen. Falls der Lookahead aller Federates
Null ist, können nur TSO-Nachrichten mit Zeitstempel t ′ = 10 an die
Empfängerfederates weitergeleitet werden. Beträgt der Lookahead dagegen L =
5, können alle TSO-Nachrichten mit Zeitstempel kleiner gleich 15 übermittelt
werden. [11]
2.2.3 Time Regulating Federates
Falls ein Federate TSO-Nachrichten senden will, muss der bei der RTI anfragen, das time
regulating Flag zu setzen. Nachdem die RTI dieses bestätigt, ist der Typ des Federates time
regulating.
Beim Setzen des Flags muss der Federate einen Lookahead angeben. Ein Lookahead ist
dabei eine positive Zahl, mit der der kleinst mögliche Zeitstempel bestimmt wird, den der Federate
einer TSO-Nachricht zuweisen kann [6]. Der kleinst mögliche Zeitstempel ergibt sich
dabei aus der Summe der aktuellen logischen Zeit des Federates und des Lookaheads.
Beantragt ein time constrained Federate bei der RTI seine logische Zeit auf einen bestimmten
Wert fortschreiten zu lassen, garantiert dieser Federate damit gleichzeitig, dass es keine TSO-
Nachrichten mit Zeitstempeln versieht, die kleiner sind als die Summe aus beantragter Zeit und
Lookahead (bzw. kleiner gleich dieser Summe, falls der Lookahead Null ist).
Abbildung 2.2 verdeutlicht den Nutzen des Lookaheads: Abgebildet ist ein Schnappschuss
einer Federation, in dem die logischen Zeiten aller Federates 10 betragen. Die Boxen stehen
für TSO-Nachrichten, die von den jeweiligen Federates noch nicht empfangen wurden, schon
aber in der RTI eingegangen sind und gepuffert wurden. Der Federate D bearbeitet zur aktuellen
Zeit die TSO-Nachricht mit Zeitstempel t ′ = 10. Nach dem Bearbeiten könnte der Federate allen
anderen Federates eine TSO-Nachricht senden. Ist der Lookahead von Federate D Null, so kann
Federate D diese Nachricht mit Zeitstempel 10 versehen. In Abbildung 2.2 ist dies durch die
roten Pfeile dargestellt. Damit müssten aber alle anderen Federates warten, bis Federate D seine
logische Zeit fortschreitet, um sicher zu gehen, dass sie eine solche Nachricht mit Zeitstempel
10 nicht in der Vergangenheit empfangen können. Ist der Lookahead jedoch auf beispielsweise
5 gesetzt, so können alle Federates ihre logischen Zeiten bis auf 15 fortschreiten lassen, ohne
auf Federate D warten zu müssen. Somit können alle in der Abbildung grün markierten TSO-
7/ 18