Figure 7.21: Processing ActionListItem StopStateMachine

1. Diagrammtyp & Architektur-Kontext

UML-Sequenzdiagramm aus der Spezifikation des State Managements der AUTOSAR Adaptive Platform. Das Diagramm spezifiziert die Verarbeitung des ActionListItem StopStateMachine und stellt die Interaktion zwischen der übergeordneten Steuerungskomponente (Controller), der ausführenden Zustandsmaschine (Agent) sowie den ara::com-Services zur Steuerung und Zustandsbenachrichtigung dar.

2. Komponenten, Entitäten & Schnittstellen

Beteiligte Lebenslinien und Entitäten:

• «State Machine» Controller: Übergeordnete Kontrollinstanz im State Management, die das Stoppen des Agenten initiiert und auf die Bestätigung wartet.
• «State Machine» Agent: Die konkrete Zustandsmaschineninstanz, die gestoppt und deinitialisiert wird (mit Lebenslinien-Terminierungssymbol X).
• «Service[Agent]» StateMachineService: Service-Schnittstelle zur Bereitstellung von Steuerungsoperationen für den Agenten.
• «Service[Agent]» StateMachineNotification: Service-Schnittstelle zur Übermittlung von Zustandsänderungsnachrichten/Events des Agenten.

Nachrichten und Steuerungsaktionen:

• Stop: Asynchrone/synchrone Aufrufforderung vom Controller an den Agent.
• StopOffer: Service-De-Registrierung an StateMachineService und StateMachineNotification.
• transition to Off State: Interne Selbsttransition des Agent in den Zustand Off.
• stopped: Rückmeldung/Signal vom Agent an den Controller über den Abschluss des Stoppvorgangs.
• No action: Interne Rückmeldung/Leerlaufaktion des Controller.

3. Dynamisches Verhalten & Sequenzablauf

Der Ablauf wird durch einen alt-Kombinationsblock bedingt:

1. Fall [Agent running]:
   • Der Controller sendet Stop an den Agent.
   • Gemäß SWS_SM_00619 ruft der Agent StopOffer sowohl für StateMachineService als auch für StateMachineNotification auf. Damit ist die Zustandsmaschine von außen nicht mehr erreichbar (Kommentar: StateMachine not accessible from outside any more).
   • Gemäß SWS_SM_00651 vollzieht der Agent eine Selbsttransition transition to Off State und führt die damit verbundene ActionItemList aus (processing ActionItemList associated with Off state).
   • Gemäß SWS_SM_00614 wird die Lebenslinie des Agent nach Ausführung der Aktionen und Übermittlung der Rückmeldung stopped an den Controller beendet.
2. Fall [Agent stopped]:
   • Gemäß SWS_SM_00615 erfolgt bei bereits gestopptem Agenten keine Aktion (No action am Controller).

4. Normative Relevanz & Entwickler-Hinweise

Das Diagramm definiert das normativ verbindliche Verhalten beim Stoppen einer State Machine:

• SWS_SM_00619: Fordert zwingend das Zurückziehen der Serviceangebote (StopOffer) für Kontroll- und Notifikationsservices vor dem eigentlichen Zustandswechsel, um Race Conditions durch externe Aufrufe während des Herunterfahrens auszuschließen.
• SWS_SM_00651: Verpflichtet den Agenten zur Ausführung der mit dem Off-Zustand verknüpften Aktionen vor der vollständigen Deaktivierung.
• SWS_SM_00614: Spezifiziert die Terminierung des Agenten und die Rückmeldung stopped an den Controller nach Abschluss der Off-Aktionen.
• SWS_SM_00615: Legt fest, dass ein Stopp-Aufruf auf einer bereits inaktiven Maschine idempotent ohne Seiteneffekte bleibt.

Entwickler von Adaptive State-Management-Plattformmodulen müssen sicherstellen, dass externe Schnittstellen deregistriert sind, bevor die Deinitialisierungsaktionen des Off-Zustands ausgeführt und Quittungen an den Controller gemeldet werden.