Figure 7.7: State Change Sequence – Transition to machine state StateXYZ

1. Diagrammtyp & Architektur-Kontext

UML-Sequenzdiagramm zur Spezifikation des dynamischen Verhaltens im AUTOSAR-Adaptive-Platform-Modul Execution Management (EM). Das Diagramm stellt die maschinelle Zustandsänderung (Transition to Machine State <<StateXYZ>>) dar, die durch den State Management (SM) initiiert wird und das geordnete Herunterfahren nicht mehr benötigter Anwendungen sowie das Starten neuer Prozesse umfasst.

2. Komponenten, Entitäten & Schnittstellen

Das Diagramm definiert vier interagierende Instanzen mit ihren jeweiligen Lebenslinien:

• EM: Execution Management, zentrale Steuerungsinstanz für Prozesslebenszyklen und Zustandswechsel.
• SM: State Management, anfordernde Instanz des Maschinenzustandswechsels.
• App1: Zu beendende adaptive Anwendung.
• App2: Neu zu startende adaptive Anwendung.

Schnittstellen und Nachrichten:

• SetState("MachineState", StateXYZ): Zustandswechselanforderung von SM an EM.
• SIGTERM: POSIX-Signal von EM an App1 zur Aufforderung des geordneten Beendens.
• ApplicationClient::ReportApplicationState(kTerminating): Statusrückmeldung von App1 an EM.
• WaitForTermination(App1): Interner Synchronisationsaufruf von EM.
• CreateProcess(App2): Prozessinstanziierung durch EM.
• ApplicationClient::ReportApplicationState(kRunning): Bereitschaftsmeldung von App2 an EM.
• kSuccess: Rückmeldungen des erfolgreichen Starts an App2 und des Gesamterfolgs an SM.

3. Dynamisches Verhalten & Sequenzablauf

1. SM sendet SetState("MachineState", StateXYZ) an EM.
2. Schleife loop Shutdown:
   • EM sendet SIGTERM an die zu terminierende Instanz App1.
   • App1 meldet über ApplicationClient::ReportApplicationState(kTerminating) den Beginn des Beendigungsvorgangs.
   • EM blockiert bzw. synchronisiert intern über WaitForTermination(App1) auf das tatsächliche Prozessende.
3. Schleife loop Startup:
   • EM startet den Prozess für App2 mittels CreateProcess(App2).
   • Nach Hochlauf meldet App2 über ApplicationClient::ReportApplicationState(kRunning) die Betriebsbereitschaft.
   • EM bestätigt den Zustand an App2 mit kSuccess.
4. Nach Abschluss beider Schleifen meldet EM die erfolgreiche Transition mit kSuccess an SM zurück.

4. Normative Relevanz & Entwickler-Hinweise

Der Ablauf spezifiziert das normative Zusammenspiel zwischen State Management, Execution Management und den Prozessen bei Maschinenzustandsübergängen. Entwickler von Applikationen müssen sicherstellen, dass auf das Signal SIGTERM reagiert und vor dem Verlassen des Prozesses kTerminating gemeldet wird. Neu gestartete Prozesse müssen nach Initialisierung zwingend kRunning über den ApplicationClient an EM melden, bevor der Zustandswechsel für SM als abgeschlossen gilt.