SNIP_CLASSIC_FRSM_SECTION_7_3_9_Transitions

7.3.9 Transitions The following diagram shows the FrSM state machine. FrSM [TrcvCtrl] [CcCtrl] FRSM_ECU_ACTIVE FRSM_ECU_PASSIVE
                           NoCom FullCom FRSM_READY FRSM_HALT_REQ FRSM_STARTUP FRSM_WAKEUP FRSM_KEYSLOT_ONLY FRSM_ONLINE_PASSIVE FRSM_ONLINE Initial FRSM_LOW_NUMBER_OF_COLDSTARTERS T20a T06 T10a T09a T16a T08 T05 T101 T04a, T04b T10b T12 T20b T32 T16b T108 T00 T02a, T02b T11a, T11b T40 T31, T34 T01a, T01b, T01c T13 T17 T21 T15 FrSM_SetEcuPassive(FALSE) T115 FrSM_SetEcuPassive(TRUE) [T20c] T33 T03a, T03b, T03c, T03d, T03e T14 T41 T09b T30 Figure 7.1: FrSM state machine Note that the states are described in Chapter 7.3.2. The following table defines the events and conditions that trigger the transitions of FrSM state machine and the actions that are executed within the transitions. Each row of the table contains a requirement which should be interpreted as follows. If the FrSM module is in the source state of the transition in column "Transition" as defined in [SWS_FrSM_00093] and when the condition in column "Event [Condition]" holds and if the event in column "Event [Condition]" occurs, then the actions in column "Actions" shall be executed and afterwards the FrSM module shall change its state to the target state of the transition in column "Transition" as defined in [SWS_FrSM_00093]. In case different actions have to be performed in a transition T, there can be multiple rows in the table. The rows are denoted as T (a), T (b) etc. in this case. Note that the conditions ensure that only one of the possibilities matches. [SWS_FrSM_00093] ⌈The FrSM shall execute the actions of the transition in the order that is defined in the table within [SWS_FrSM_00105].⌋ [SWS_FrSM_00145] ⌈After every transition to a different state, the FrSM shall inform the BswM by calling BswM_FrSM_CurrentState.⌋ [SWS_FrSM_00105] ⌈ Transition Event [Condition] Actions T00 FrSM_Init() FE_CONFIG T01 (a) [ reqComMode = FullCom ∧FrSMIsWakeupEcu ∧WUReason = NO_WU_BY_BUS ∧¬ FrSMIsDualChannelNode ] FE_TRCV_NORMAL startupCounter := 1 wakeupType := SingleChannelWakeup wakeupTransmitted := false FE_WAKEUP start t1 start t3 T01 (b) [ reqComMode = FullCom ∧FrSMIsWakeupEcu ∧WUReason = NO_WU_BY_BUS ∧FrSMIsDualChannelNode ] FE_TRCV_NORMAL startupCounter := 1 wakeupType := DualChannelWakeup FE_SET_WU_CHANNEL_INITIAL wakeupTransmitted := false FE_WAKEUP start t3 start t4 T01 (c) [ reqComMode = FullCom ∧FrSMIsWakeupEcu ∧WUReason = PARTIAL_WU_BY_BUS ] FE_TRCV_NORMAL startupCounter := 1 wakeupType := DualChannelWakeupForward FE_SET_WU_CHANNEL_FORWARD FE_WAKEUPwakeupTransmitted := false FE_WAKEUP start t3 T02 (a) [ reqComMode = FullCom ∧( ¬ FrSMIsWakeupEcu ∨WUReason = ALL_WU_BY_BUS ) ∧¬ FrSMDelayStartupWithoutWakeup ] FE_TRCV_NORMAL startupCounter := 1 wakeupType := NoWakeup FE_START FE_ALLOW_COLDSTART start t2 start t3 T02 (b) [ reqComMode = FullCom ∧( ¬ FrSMIsWakeupEcu ∨WUReason = ALL_WU_BY_BUS ) ∧FrSMDelayStartupWithoutWakeup ] FE_TRCV_NORMAL startupCounter := 1 wakeupType := NoWakeup FE_START start t1 start t2 start t3 T03 (a) [ wakeupFinished ∧reqComMode = FullCom ∧FrSMNumWakeupPatterns = 1 ∧wakeupType = SingleChannelWakeup ] FE_START cancel t1 start t1 start t2 ▽ △ Transition Event [Condition] Actions T03 (b) [ wakeupFinished ∧reqComMode = FullCom ∧FrSMNumWakeupPatterns > 1 ∧wakeupTransmitted ∧wakeupType = SingleChannelWakeup ] FE_START start t2 IF t1_IsActive: cancel t1 ELSE: FE_ALLOW_COLDSTART T03 (c) [ wakeupFinished ∧reqComMode = FullCom ∧FrSMNumWakeupPatterns > 1 ∧¬ wakeupTransmitted ∧wakeupType = SingleChannelWakeup ] FE_START start t2 T03 (d) [ wakeupFinished ∧reqComMode = FullCom ∧wakeupType = DualChannelWakeup ∧wakeupTransmitted ∧¬ busTrafficDetected ] FE_START start t2 T03 (e) [ wakeupFinished ∧reqComMode = FullCom ∧wakeupType = DualChannelWakeupForward ] FE_START FE_ALLOW_COLDSTART start t2 cancel t4 T04 (a) t1 [ reqComMode = FullCom ∧vPOC!State̸ = Normal Active ] FE_ALLOW_COLDSTART T04 (b) t4 [ reqComMode = FullCom ∧wakeupType = DualChannelWakeup ∧vPOC!State̸ = Normal Active ] FE_ALLOW_COLDSTART T05 t2 [ startupCounter ≤ FrSMStartupRepetitionsWithWakeup ∧reqComMode = FullCom ∧wakeupType̸ = NoWakeup ∧vPOC!State̸ = Normal Active] FE_CONFIG FE_WAKEUP startupCounter := startupCounter + 1 start t4 (dual channel node only) T06 t2 [ ( FrSMStartupRepetitionsWithWakeup < startupCounter ∧wakeupType = NoWakeup ) ∧startupCounter ≤FrSMStartup Repetitions ∧reqComMode = FullCom ∧vPOC!State̸ = Normal Active ] FE_CONFIG FE_START FE_ALLOW_COLDSTART startupCounter := startupCounter + 1 start t2 ▽