Figure 7.5: States of an explicit synchronized schedule table (not all conditions for transitions

1. Diagrammtyp & Architektur-Kontext

UML-Zustandsdiagramm (State Machine) für das AUTOSAR Classic Platform OS (SWS OS). Das Diagramm spezifiziert die Lebenszyklus- und Synchronisationszustände einer explizit synchronisierten Schedule Table (ScheduleTableType).

2. Komponenten, Entitäten & Schnittstellen

Zustände (ScheduleTableStatusType):

• SCHEDULETABLE_STOPPED
• SCHEDULETABLE_NEXT
• SCHEDULETABLE_WAITING
• SCHEDULETABLE_RUNNING
• SCHEDULETABLE_RUNNING_AND_SYNCHRONOUS (im Diagramm als SCHEDULETABLE_RUNNING_AND... abgeschnitten)

API-Dienste / Trigger:

• StartScheduleTableRel()
• StartScheduleTableAbs()
• StartScheduleTableSync()
• StopScheduleTable()
• NextScheduleTable()
• SyncScheduleTable()
• SetScheduleTableAsync()
• Internes Ereignis: „previous“ ScheduleTable ends
• Synchronisationsbedingungen basierend auf ABS(CounterValue-GlobalValue) relativ zu PRECISION

3. Dynamisches Verhalten & Sequenzablauf

• Aus SCHEDULETABLE_STOPPED:
  • StartScheduleTableRel() oder StartScheduleTableAbs() führt nach SCHEDULETABLE_RUNNING.
  • StartScheduleTableSync() führt nach SCHEDULETABLE_WAITING.
  • NextScheduleTable() führt nach SCHEDULETABLE_NEXT.
• Aus SCHEDULETABLE_NEXT:
  • Bei Eintritt des Ereignisses „previous“ ScheduleTable ends wechselt der Zustand nach SCHEDULETABLE_RUNNING.
  • Aufruf von StopScheduleTable() führt zurück nach SCHEDULETABLE_STOPPED.
• Aus SCHEDULETABLE_WAITING:
  • Aufruf von SyncScheduleTable() führt nach SCHEDULETABLE_RUNNING_AND_SYNCHRONOUS.
  • Aufruf von StopScheduleTable() führt zurück nach SCHEDULETABLE_STOPPED.
• Aus SCHEDULETABLE_RUNNING:
  • Bedingung ABS(CounterValue-GlobalValue) <= PRECISION überführt in SCHEDULETABLE_RUNNING_AND_SYNCHRONOUS.
  • Aufruf von StopScheduleTable() führt zurück nach SCHEDULETABLE_STOPPED.
• Aus SCHEDULETABLE_RUNNING_AND_SYNCHRONOUS:
  • SetScheduleTableAsync() oder ABS(CounterValue-GlobalValue) > PRECISION führt zurück nach SCHEDULETABLE_RUNNING.
  • Aufruf von StopScheduleTable() führt zurück nach SCHEDULETABLE_STOPPED.

4. Normative Relevanz & Entwickler-Hinweise

Normativ bindende Zustandsübergangslogik für OS-Implementierungen bezüglich explizit synchronisierter Schedule Tables. Implementierer müssen sicherstellen, dass Aufrufe von StopScheduleTable() aus sämtlichen aktiven Zuständen (WAITING, RUNNING, RUNNING_AND_SYNCHRONOUS, NEXT) stets den Zustand SCHEDULETABLE_STOPPED herstellen. Synchronisationsabweichungen gegenüber der globalen Zeitbasis werden über die konfigurierte Schwelle PRECISION evaluiert, um zwischen synchronem und asynchronem Laufzustand zu schalten.