Figure 7.9: State Change Sequence – Transition to machine state StateXYZ
eb1c2bc8b85deb976d541ef8403f2ef293ffc24dc5c3a3f936e39112760e3388
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 spezifiziert die Interaktion folgender Instanzen im Rahmen sd Transition to Machine State <<StateXYZ>>:
EM: Execution Management.SM: State Management.App1: Bestehende Prozessinstanz, deren Lebenslinie im Shutdown terminiert wird (X).App2: Neu instanziierter Prozess, dessen Lebenslinie durch die Erzeugungsnachricht beginnt und am Ende explizit terminiert wird (X).
Schnittstellen und Nachrichten:
SetState("MachineFG", StateXYZ): Funktionsgruppen-Zustandswechselanforderung vonSManEM.- Asynchrone Rückkehr der Aktivierung an
SM. SIGTERM(allProcesses): Terminierungssignal vonEMan alle zu beendenden Prozesse (App1).:EXIT_SUCCESS: Exit-Statusmeldung des Betriebssystems vonApp1anEM.CreateProcess(allApps): Prozesskreierungsnachricht vonEMdirekt auf die Kopfbox vonApp2.ExecutionClient::ReportExecutionState(kRunning): Laufzeitmeldung vonApp2anEM.:Transition completed: Abschlussquittierung vonEManSM.
3. Dynamisches Verhalten & Sequenzablauf
SMfordert überSetState("MachineFG", StateXYZ)den Wechsel der FunktionsgruppeMachineFGan. Der Aufruf kehrt unmittelbar asynchron anSMzurück.- Schleife
loop [Shutdown]:EMsendetSIGTERM(allProcesses)an den ProzessApp1.App1beendet sich und liefert:EXIT_SUCCESSanEM; die Lebenslinie vonApp1endet mit einem Zerstörungs-Symbol (X).
- Schleife
loop [Startup]:EMsendetCreateProcess(allApps)und erzeugt damit dynamisch die InstanzApp2.App2meldet nach erfolgreichem StartExecutionClient::ReportExecutionState(kRunning)anEM.
- Nach Abschluss der Schleifen sendet
EMdie Nachricht:Transition completedanSM. Beide Lebenslinien vonEMundSMlaufen weiter.
4. Normative Relevanz & Entwickler-Hinweise
Normativ wird der Zustandsübergang auf Funktionsgruppen (MachineFG) bezogen. Die Prozessbeendigung erfordert keine explizite Meldung von kTerminating mehr, sondern wird über das Beenden des Betriebssystem-Prozesses (:EXIT_SUCCESS) detektiert. Neu gestartete Prozesse werden zur Laufzeit instanziiert und müssen sich weiterhin aktiv mit kRunning bei EM registrieren. Der Abschluss des Wechsels wird SM durch :Transition completed signalisiert.
Zugeordnete Anforderungen
Diese Angaben zeigt der Versions-Explorer.