42 static void HwDevOperational(
FwPrDesc_t prDesc);
69 if (tempRecAction != NULL)
73 tempRecAction =
FwPrCreate(nOfANodes,nOfDNodes,nOfFlows,nOfActions,nOfGuards);
92 static void HwDevSwitchOff(
FwPrDesc_t prDesc) {
97 static void HwDevToStandBy(
FwPrDesc_t prDesc) {
102 static void HwDevOperational(
FwPrDesc_t prDesc) {
FwPrCounterU3_t FwPrGetNodeExecCnt(FwPrDesc_t prDesc)
Return the Node Execution Counter.
Declaration of the configuration interface for a FW Procedure.
void FwPrAddFlowActToDec(FwPrDesc_t prDesc, FwPrCounterS1_t srcId, FwPrCounterS1_t destId, FwPrGuard_t cfGuard)
Create a control flow from an action node to a decision node and add it to a procedure.
float GetHwDevTemp()
This function returns the temperature of the Hardware Device.
#define TEMP_REC_ACTION_N1
Number of wait cycles between the command sending the Hardware Device to Stand-By and the check on th...
Definition of the Current Failure Detection (FD) Check.
Definition of the Temperature Failure Recovery Action (RA).
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.
FwPrDesc_t FwPrCreate(FwPrCounterS1_t nOfANodes, FwPrCounterS1_t nOfDNodes, FwPrCounterS1_t nOfFlows, FwPrCounterS1_t nOfActions, FwPrCounterS1_t nOfGuards)
Create a new procedure descriptor.
#define TR_HW_DEV_OPER
Name of the transition from STANDBY to OPERATIONAL in the HW Device State Machine.
#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.
void FwPrAddDecisionNode(FwPrDesc_t prDesc, FwPrCounterS1_t nodeId, FwPrCounterS1_t nOfOutFlows)
Create a decision node with the given characteristics and add it to a procedure.
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.
#define TEMP_REC_ACTION_T1
Temperature threshold for the Temperature Recovery Action.
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 GetTempRecActionPr()
Retrieve the descriptor of the Temperature Recovery Action Procedure.
void FwPrAddFlowDecToAct(FwPrDesc_t prDesc, FwPrCounterS1_t srcId, FwPrCounterS1_t destId, FwPrGuard_t cfGuard)
Create a control flow from a decision node to an action node and add it to a procedure.
Declaration of the execution interface for a FW Procedure.