Figure 7.17: Extended transition request table

Die Hintergrundsuche wurde gestartet; die Analyse wird unmittelbar nach Rückmeldung fortgeführt.

1. Diagrammtyp & Architektur-Kontext

• Klassifikation: Tabellarische Spezifikations- und Konfigurationsdarstellung (Zustandsübergangstabelle / Decision Table für Mealy-/Moore-Mischautomaten) im Kontext des AUTOSAR Adaptive Platform (AP) State Management.
• Funktionale Einordnung: Kernbestandteil des Functional Clusters State Management (ara::sm, AUTOSAR_AP_SWS_StateManagement). Es definiert die deterministische Auswertung von Eingangs-Triggern zur Steuerung interner Zustandsmaschinen (StateMachine), welche funktionale Gruppen (Function Groups, ara::exec) und Netzwerkzustände koordinieren (RS_SM_00001, RS_SM_00401).
• Architektonischer Zweck: Gegenüber einer einfachen Übergangstabelle (reines Mapping Trigger Value → Next State) führt die Extended Transition Request Table den Ist-Zustand (Current State) als explizite Vorbedingung ein. Damit werden kontextsensitive, zyklische oder zustandsabhängige Transitionen bei identischen Triggern ermöglicht.

2. Komponenten, Entitäten & Schnittstellen

• Tabellenelemente & Datenstrukturen:
  • Trigger Value (Spalte 1): Diskreter Modus-Eingangswert bzw. Event-Indikator. Das Schaubild exemplifiziert dies anhand von Netzwerk-Zuständen eines Network Management Handles (NmNetworkHandle):
    • Nh1_NoCom: Indikation/Anforderung des Status No Communication auf Kanal 1 (RS_SM_00005).
    • Nh1_FullCom: Indikation/Anforderung des Status Full Communication auf Kanal 1.
  • Current State (Spalte 2): Gültiger Ausgangszustand der State Machine vor Eintritt des Triggers (Werte: Off, Camera Active, sowie die initiale, graue Leerzeile/Wildcard).
  • Next State (Spalte 3): Deterministischer Folge- bzw. Zielzustand der State Machine (Werte: Camera Active, Off).
• Modellierungssemantik der Zeilen:
  • Zeile 1 (Graue Leerzeile / Wildcard): Unkonditionierter Eintrag (Current State = [Any / Empty]). Dient im Metamodell als Fallback- oder Default-Regel, falls für einen Trigger keine spezifische Zustandseinschränkung existiert.
  • Zeile 2: Bedingter Übergang: Wenn Trigger == Nh1_NoCom und Current State == Off, wechselt der Automat nach Camera Active.
  • Zeile 3: Reversibler Gegenübergang: Wenn Trigger == Nh1_FullCom und Current State == Camera Active, wechselt der Automat nach Off.
• Beziehungen & Metamodell-Mapping (ARXML):
  • Entspricht der Modellierung von StateManagementTransitionRequestTable in Relation zu StateManagementTrigger (Typ: NetworkHandle), StateManagementState und verknüpften ActionList-Entitäten.

3. Dynamisches Verhalten & Sequenzablauf

• Trigger-Evaluation (SWS_SM_00620):
  1. Eintreffen eines Triggers über Field-Update, Event oder API-Aufruf (hier Statusänderung des NmNetworkHandle Nh1 zwischen FullCom und NoCom).
  2. Tabellenprüfung: Abgleich des Wertepaares (Trigger Value, Current State). Exakte Treffer (Full Match) besitzen Vorrang vor Wildcard-Einträgen (Partial/Any Match).
• Zustandswechsel & Aktionsausführung (SWS_SM_00621):
  1. Identifikation des Next State.
  2. Abbruchsemantik: Bei Akzeptanz einer neuen Transition werden laufende ActionListItems des verlassenen Zustands bzw. der vorherigen Transition unverzüglich abgebrochen bzw. invalidiert (kOperationCanceled an ausstehenden Future-Objekten).
  3. Zustandsaktualisierung auf den neuen Zustandswert.
  4. Triggerung der dem Next State zugeordneten ActionList (z. B. Anforderung von Function-Group-Zuständen via ara::exec::FunctionGroupState).
• Fehler- und Ausnahmepfade:
  • Trifft ein Trigger ein, für den weder ein passender Current State noch eine Wildcard hinterlegt ist, erfolgt kein Zustandswechsel. Der Trigger wird verworfen (Logging über ara::log).

4. Normative Relevanz & Entwickler-Hinweise

• Konfigurationskonsistenz (ARXML / Execution Manifest):
  • Tabellen müssen konfliktfrei und deterministisch modelliert sein. Das Tupel (Trigger Value, Current State) muss eineindeutig auf genau einen Next State abbilden.
• Kopplung State Management & Network Management (RS_SM_00005, SWS_SM_00620):
  • Die direkte Verknüpfung von NmNetworkHandle-Zuständen mit State-Machine-Transitionen erfordert eine sorgfältige Vermeidung zirkulärer Abhängigkeiten (z. B. State Machine schaltet Process Group ab, die für NM-Kommunikation erforderlich ist, während NM-Status als Trigger dient).
• Applikations- und Stack-Design:
  • Applikationen, die Transitionen anfordern, müssen asynchron ausgelegt sein: Da externe Trigger (wie NM-Änderungen) laufende Transitionen unterbrechen können, dürfen Aufrufer nicht auf einer synchronen Vollendung verharren, sondern müssen Abbruchcodes (kOperationCanceled) fehlersicher behandeln.