Figure 7.5: Global Supervision Status

1. Diagrammtyp & Architektur-Kontext

UML-Zustandsdiagramm (State Machine Diagram) zur Modellierung des globalen Überwachungsstatus (Global Supervision Status) innerhalb des Platform Health Management (PHM) der AUTOSAR Adaptive Platform. Das Diagramm definiert die Zustände und Zustandsübergänge bei der Aggregation lokaler Überwachungsergebnisse über den gesamten Lebenszyklus einer Funktionsgruppe oder Plattforminstanz hinweg.

2. Komponenten, Entitäten & Schnittstellen

Das Diagramm spezifiziert fünf Hauptzustände, drei Verzweigungsknoten (Choice/Junction-Pseudozustände) sowie einen initialen Pseudozustand:

• Initialzustand: Schwarzer Vollkreis mit initialer Transition (1).
• Zustände:
  • kDEACTIVATED: Ruhezustand der Überwachung vor Aktivierung oder nach Rückführung.
  • kOK: Regulärer Betriebszustand mit fehlerfreier Überwachung.
  • kFAILED: Fehlerzustand bei Nichterfüllung lokaler Überwachungskriterien.
  • kEXPIRED: Kritischer Fehlerzustand nach Überschreiten von Überwachungslimits.
  • kSTOPPED: Gestoppter Endzustand der Überwachung ohne ausgehende Transitionen.
• Verzweigungen: Drei Rauten zur bedingten Weiterleitung basierend auf dem aggregierten Status lokaler Überwachungen.
• Schnittstellen: Übergänge sind als nummerierte Transitionen (1) bis (17) modelliert.

3. Dynamisches Verhalten & Sequenzablauf

• Initialisierung: Eintritt über Pseudozustand (1) in kDEACTIVATED.
• Aktivierung & Verzweigung aus kDEACTIVATED: Transition führt auf zwei kaskadierte Rauten:
  • Übergang (2) nach kOK.
  • Übergang (3) nach kFAILED.
  • Übergang (4) nach kEXPIRED.
  • Übergang (5) nach kSTOPPED.
• Übergänge aus kOK:
  • Deaktivierung über (6) nach kDEACTIVATED.
  • Fehlerdetektion über (7) direkt nach kFAILED.
  • Verzweigungsraute aus kOK führt über (8) nach kEXPIRED oder über (9) nach kSTOPPED.
• Übergänge aus kFAILED:
  • Erholung über (10) zurück nach kOK.
  • Verzweigungsraute aus kFAILED führt über (11) nach kEXPIRED oder über (12) nach kSTOPPED.
  • Re-Deaktivierung über (14) nach kDEACTIVATED.
• Übergänge aus kEXPIRED:
  • Eskalation über (13) nach kSTOPPED.
  • Re-Deaktivierung über (15) nach kDEACTIVATED.
  • Wiederherstellung über (16) nach kOK.
  • Fehlerzustandsübergang über (17) nach kFAILED.
• Verhalten von kSTOPPED:
  • Zustand fungiert als Senke/Terminalzustand; es existieren keine ausgehenden Transitionen.

4. Normative Relevanz & Entwickler-Hinweise

Normativ bindende Spezifikation der PHM-Zustandsmaschine gemäß C++-Bezeichnerkonventionen der AUTOSAR Adaptive Platform. Die Implementierung muss sicherstellen, dass kSTOPPED ein terminaler Zustand ohne direkte Reaktivierungspfade im globalen Überwachungsautomaten ist. Übergänge aus kEXPIRED sind auf kDEACTIVATED (15), kOK (16), kFAILED (17) und kSTOPPED (13) beschränkt.