Figure 7.19: 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]:
   • Anforderung SWS_SM_00614 definiert den Einstieg in den Ablauf.
   • 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).
   • Der Agent sendet die Abschlussmeldung stopped an den Controller und terminiert seine Lebenslinie.
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_00614: Spezifiziert den Kontext bzw. die Handhabung des Stop-Befehls.
• 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_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.