56 if (curRecAction != NULL)
60 curRecAction =
FwPrCreate(nOfANodes,nOfDNodes,nOfFlows,nOfActions,nOfGuards);
73 static void HwDevSwitchOff(
FwPrDesc_t prDesc) {
78 static void HwDevToStandBy(
FwPrDesc_t prDesc) {
FwPrCounterU3_t FwPrGetNodeExecCnt(FwPrDesc_t prDesc)
Return the Node Execution Counter.
Declaration of the configuration interface for a FW Procedure.
Definition of the Current Failure Detection (FD) Check.
Definition of the interface to access the Hardware Device.
int FwPrBool_t
Type used for booleans (0 is "false" and 1 is "true").
#define TR_HW_DEV_SBY
Name of the transition from OPERATIONAL to STANDBY in the HW Device State Machine.
void FwPrAddFlowActToFin(FwPrDesc_t prDesc, FwPrCounterS1_t srcId, FwPrGuard_t cfGuard)
Create a control flow from an action node to the final node and add it to a procedure.
void FwPrAddFlowActToAct(FwPrDesc_t prDesc, FwPrCounterS1_t srcId, FwPrCounterS1_t destId, FwPrGuard_t cfGuard)
Create a control flow from an action node to another action node and add it to a procedure.
Definition of the Current Failure Recovery Action (RA).
FwPrDesc_t FwPrCreate(FwPrCounterS1_t nOfANodes, FwPrCounterS1_t nOfDNodes, FwPrCounterS1_t nOfFlows, FwPrCounterS1_t nOfActions, FwPrCounterS1_t nOfGuards)
Create a new procedure descriptor.
#define CUR_REC_ACTION_N1
Number of wait cycles between the command sending the Hardware Device to Stand-By and the command swi...
#define TR_HW_DEV_OFF
Name of the transition from ON to OFF in the HW Device State Machine.
void FwSmMakeTrans(FwSmDesc_t smDesc, FwSmCounterU2_t transId)
Trigger a transition in a state machine.
signed char FwPrCounterS1_t
Type used for signed counters with a "short" range.
Structure representing a procedure descriptor.
FwSmDesc_t GetHwDevSm()
Retrieve the descriptor of the Hardware Device State Machine.
void FwPrAddFlowIniToAct(FwPrDesc_t prDesc, FwPrCounterS1_t destId, FwPrGuard_t cfGuard)
Create a control flow from the initial node to an action node and add it to a procedure.
Declaration of the dynamical creation interface for a FW Procedure.
void FwPrAddActionNode(FwPrDesc_t prDesc, FwPrCounterS1_t nodeId, FwPrAction_t action)
Create an action node with the given characteristics and add it to a procedure.
FwPrDesc_t GetCurRecActionPr()
Retrieve the descriptor of the Current Recovery Action Procedure.
Declaration of the execution interface for a FW Procedure.