CLASSIC
Modul: frif
Rolle: heuristic
Konfidenz: 90%
SNIP_CLASSIC_FRIF_SECTION_7_3_FlexRay_Interface_State_Machine
Wortlaut
7.3 FlexRay Interface State Machine
[SWS_FrIf_05115] ⌈In order to allow to control the communication operations of the
FlexRay system, the FrIf module shall implement a behavior, which is defined using
a simple state machine (one per FlexRay cluster), called FlexRay Interface State Machine⌋
Initial
FRIF_STATE_OFFLINE
FRIF_STATE_ONLINE
(2)
(3)
(1)
Figure 7.4: FlexRay Interface State Machine
State
Description
FRIF_STATE_OFFLINE
No communication services are executed (see Section 7.6
for details)
FRIF_STATE_ONLINE
All communication services (reception, transmission,
transmission confirmation) are executed (see Section 7.6 for
details).
Table 7.1: FlexRay State Machine Transitions (1)
[SWS_FrIf_05117]
Upstream requirements: SRS_Fr_05031
⌈During initialization of the FrIf by executing FrIf_Init() the FrIf_State for each cluster
shall be initialized with state ’FRIF_STATE_OFFLINE’.
The transitions are requested by an API service FrIf_SetState() which takes the Cluster
to process on and the Transistion name to invoke.⌋
[SWS_FrIf_05118] ⌈If the FrIf module’s environment calls the function FrIf_SetState
with parameter FrIf_StateTransition = FRIF_GOTO_ONLINE and if the current state for
the requested cluster is FRIF_STATE_OFFLINE, the FrIf module shall take the current
state of the requested cluster to FRIF_STATE_ONLINE.".
If the FrIf module’s environment calls the function FrIf_SetState with parameter FrIf_
StateTransition = FRIF_GOTO_ OFFLINE and if the current state for the requested
cluster is FRIF_STATE_ONLINE, the FrIf module shall take the current state of the
requested cluster to FRIF_STATE_OFFLINE.".
Otherwise, do not perform a state transition.⌋
For details see Figure 7.4 and Table 7.2
Transition Name
Transitions
(see Figure 7.4)
Description
FRIF_GOTO_ONLINE
(2)
Transition resulting in FrIf_State FRIF_
STATE_ONLINE
FRIF_GOTO_OFFLINE
(3)
Transition resulting in FrIf_State FRIF_
STATE_OFFLINE
Table 7.2: FlexRay State Machine Transitions (2)
[SWS_FrIf_05501] ⌈If the API FrIf_SetState with parameter FRIF_STATE_OFFLINE
is called, the FlexRay Interface module shall check the parameter "TxConfCounter"
for every PDU. If the value for the corresponding PDU is greater than 0, the FlexRay
Interface shall call the upper layer using the API LSduR_FrIfConfirmation(id, E_NOT_
OK).⌋
Note: It has to be ensured that the FlexRay Interface does not lose the TxConfCounter
values at the point in time the API FrIf_SetState with parameter FRIF_STATE_OFFLINE is called.
Versionen & Provenienz · Zugeordnete Anforderungen
Diese Angaben zeigt der Versions-Explorer.
Begründung & Zuweisungs-Evidenz
FlexRay Interface state enumeration definition
Dokumenten-Herkunft & Rückverfolgbarkeit
| Spezifikations-Dokument | SWS_FlexRayInterface.pdf |
|---|---|
| Dokumentseite | Seite 25 |
| Ziel-Modul | frif (classic) |
| Ziel-Anforderung | SWS_FrIf_05755 |
| Semantische Rolle | heuristic |
| Automatisierungs-Konfidenz | 0.90 |