Figure 7.25: Value of configured StateMachineNotification::CurrentState field

1. Diagrammtyp & Architektur-Kontext

• Klassifikation: Zeitablauf-/Timing-Diagramm (State Transition Timeline) gemäß AUTOSAR Adaptive Platform (AP), Spezifikation State Management (SWS StateManagement).
• Technischer Zweck: Spezifikation des deterministischen Verhaltens und Wertverlaufs des ara::com-Servicefelds StateMachineNotification::CurrentState während Zustandsübergängen einer logischen State Machine (SM1) und der zugeordneten Function Group (FG1).
• Funktionale Einordnung: Entkopplung zwischen der logischen Zustandsebene des State Managements (SM), der physischen Prozessausführungsebene des Execution Managements (EM / Function Group States) und der extern sichtbaren Service-Notifikation an abhängige adaptive Applikationen.

2. Komponenten, Entitäten & Schnittstellen

• Akteure & Entitäten:
  • SMController Application: Applikationskomponente, die reguläre Zustandswechsel anfordert (z. B. Start-/Betriebsmodi).
  • Platform Health Management (PHM) / Execution Management (EM): Sicherheits- und Überwachungsinstanzen, die Fehler melden (z. B. Alive/Deadline-Supervision-Verletzung in PHM oder Prozessterminierung in EM) und Recovery-/Fallback-Transitionen triggern.
  • State Management (SM): Kernkomponente zur Orchestrierung; führt die logische Zustandsmaschine StateMachine1 (SM1).
  • Execution Management (EM) / Function Group (FG1): Ausführungsumgebung, die die tatsächlichen Prozesszustände (Off, Running, Fallback) kontrolliert.
• Schnittstellen & Felder:
  • StateMachineNotification: Service-Interface zur Zustandsübermittlung an Clients.
  • CurrentState: Konfiguriertes ara::com::Field (Getter/Notifier) innerhalb von StateMachineNotification.
• Zustandswerte & Datentypen:
  • Diskrete Betriebszustände: Off, Running, Fallback.
  • Transienter Zwischenzustand: inTransition (normiert durch SWS_SM_00616).

3. Dynamisches Verhalten & Sequenzablauf

Phase 1: Ausgangszustand

• StateMachine1 State: SM1:Off
• StateMachineNotification::CurrentState: Off
• FG1-Status: Off

Phase 2: Regulärer Zustandsübergang (Trigger: SMController)

1. Trigger (grüne Markierung): SMController fordert Transition von Off nach Running an.
2. Sofortige SM-Reaktion: Die logische Zustandsmaschine wechselt unmittelbar auf SM1:Running.
3. Feld-Signalisierung (SWS_SM_00616): Das Feld StateMachineNotification::CurrentState wird unverzüglich auf den Wert inTransition gesetzt.
4. Physische Transition: EM initiiert die Prozessaktivierungen/Konfigurationswechsel für FG1 (Transitionsrampe von Off nach Running).
5. Abschlussmeldung (SWS_SM_00617, schwarz-gestrichelte Linie): Sobald EM bestätigt, dass alle Prozesse von FG1 den Zustand Running erreicht haben, aktualisiert SM das Feld CurrentState von inTransition auf Running.

Phase 3: Fehlergetriebener Zustandsübergang (Trigger: PHM oder EM)

1. Trigger (rote Markierung): PHM oder EM meldet eine Funktions- bzw. Prozessanomalie an das State Management.
2. Sofortige SM-Reaktion: Die logische State Machine springt auf SM1:Fallback.
3. Feld-Signalisierung (SWS_SM_00616): StateMachineNotification::CurrentState wechselt unmittelbar wieder in den Status inTransition.
4. Physische Transition: EM führt die definierte Fallback-Aktion durch (z. B. Stoppen fehlerhafter Prozesse, Starten von Degraded-Mode-Prozessen für FG1: Fallback).
5. Abschlussmeldung (SWS_SM_00617, schwarz-strichpunktierte Linie): Nach Vollzug des FG-Zustandswechsels durch EM schaltet CurrentState von inTransition verbindlich auf Fallback.

4. Normative Relevanz & Entwickler-Hinweise

• Vermeidung von Race Conditions (API-Vertrag):
  • Applikationen dürfen aus einer erfolgreichen Anforderung an SM nicht auf die sofortige Verfügbarkeit der Zielumgebung schließen.
  • Solange Prozesse durch EM gestartet/terminiert werden, liefert CurrentState.Get() bzw. das Notifier-Event zwingend inTransition (SWS_SM_00616).
• Client-Implementierung:
  • Abonnenten des StateMachineNotification-Feldes müssen den Zustand inTransition explizit in ihren Zustandsprüfungen behandeln.
  • Funktionale Service-Aufrufe an Applikationen der Ziel-Function-Group dürfen erst freigegeben werden, wenn CurrentState den eigentlichen Zielzustand (Running bzw. Fallback) signalisiert (SWS_SM_00617).
• Deterministisches Fehler-Handling:
  • Auch asynchrone, unvorhergesehene Umschaltungen via PHM/EM erzwingen dieselbe Benachrichtigungskette (inTransition → Zielzustand). Ein Überspringen von inTransition ist normativ unzulässig.