Figure 7.9: 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

Instanzen und Schnittstellen im Rahmen sd Transition to Machine State <<StateXYZ>>:

• EM: Execution Management.
• SM: State Management.
• App1: Zu terminierender Prozess (Lebenslinie endet mit X).
• App2: Dynamisch erzeugter Prozess (Lebenslinie endet mit X).

Spezifizierte Schnittstellen:

• SetState(FunctionGroupState &stateXYZ): ara::core::Future<void>: C++-API-Methode des State Managements an Execution Management mit synchroner Rückgabe eines ara::core::Future<void>.
• SIGTERM(allProcesses): Signal von EM an App1.
• :EXIT_SUCCESS: OS-Prozessbeendigungsmeldung von App1 an EM.
• CreateProcess(allApps): Prozessinstanziierungsnachricht an App2.
• ReportExecutionState(kRunning): Statusmeldung von App2 an EM.
• Gestrichelte Bestätigungsnachricht von EM an App2.
• SetState(): Transition completed <<future invocation>>: Asynchrone Einlösung des Future-Objekts von EM an SM.

3. Dynamisches Verhalten & Sequenzablauf

1. SM ruft SetState(FunctionGroupState &stateXYZ): ara::core::Future<void> auf EM auf; EM gibt synchron das Future-Objekt zurück.
2. Schleife loop [Terminating]:
   • EM sendet SIGTERM(allProcesses) an App1.
   • App1 beendet sich mit :EXIT_SUCCESS (Lebenslinie endet mit X).
3. Schleife loop [Starting]:
   • EM sendet CreateProcess(allApps) zur Instanziierung von App2.
   • App2 sendet ReportExecutionState(kRunning) an EM.
   • EM quittiert den Erhalt asynchron an App2.
4. Nach Abschluss aller Transitionen löst EM das Future über die asynchrone Benachrichtigung SetState(): Transition completed <<future invocation>> an SM ein.

4. Normative Relevanz & Entwickler-Hinweise

Normative Festlegung der ara::core-basierten Programmierschnittstelle: Der Zustandswechsel wird über typsichere C++-Objekte (FunctionGroupState) gesteuert und liefert ein ara::core::Future<void>, das bei Erreichen des Zielzustands aufgelöst wird. Schleifenzustände sind formal als [Terminating] und [Starting] deklariert. Applikationen melden ihren Zustand über ReportExecutionState(kRunning) und erhalten eine Quittierung durch EM.