27 static void CurAnomalyDetCheck(
FwSmDesc_t smDesc);
36 static void CurRecoveryAction(
FwSmDesc_t smDesc);
69 static void CurAnomalyDetCheck(
FwSmDesc_t smDesc) {
78 static void CurRecoveryAction(
FwSmDesc_t smDesc) {
FDCheckOutcome_t detectionCheckOutcome
The outcome of the last call to the Anomaly Detection Check.
FwSmDesc_t GetFailDetCheckSm()
Retrieve the descriptor of the FD Check State Machine.
Outcome generated when the Anomaly Detection Check detects an anomaly.
#define FD_CHECK_ENABLED
Name of the ENABLED state in the FD Check State Machine.
Declaration of the dynamical creation interface for a FW State Machine.
Declaration of the execution interface for a FW State Machine.
void DefRecoveryAction(FwSmDesc_t smDesc)
Default implementation of the Recovery Action.
FwSmDesc_t GetCurCheckSm()
Retrieve the descriptor of the Current FD Check State Machine.
Definition of the Current Failure Detection (FD) Check.
void DefAnomalyDetCheck(FwSmDesc_t smDesc)
Default implementation of the Anomaly Detection Check.
Outcome generated when the Anomaly Detection Check detects no anomaly.
Declaration of the configuration interface for a FW State Machine.
Definition of the interface to access the Hardware Device.
int cntLimit
The number of consecutive anomalies which must be detected in order for the FD Check to enter state F...
#define HW_DEV_CUR_CNT_LIMIT
Counter limit for the Current FD Check.
Definition of the Current Failure Recovery Action (RA).
FDCheckId_t fdCheckId
Identity of the FD Check to which this data structure is attached.
void FwSmOverrideAction(FwSmDesc_t smDesc, FwSmAction_t oldAction, FwSmAction_t newAction)
Override an action (either a state action or a transition action) in a derived state machine...
FwSmDesc_t FwSmCreateDer(FwSmDesc_t smDesc)
Create the descriptor of a derived state machine.
Type for the data of an FD Check State Machine.
FwSmDesc_t FwSmGetEmbSm(FwSmDesc_t smDesc, FwSmCounterS1_t i)
Return the state machine embedded in the i-th state of the argument state machine.
float GetHwDevCur()
This function returns the current absorbed by the Hardware Device.
#define HW_DEV_CUR_MAX_NOM
Maximum nominal current absorbed by the Hardware Device.
Structure representing a state machine descriptor.
void FwSmSetData(FwSmDesc_t smDesc, void *smData)
Set the pointer to the state machine data in the state machine descriptor.
Definition of the Failure Detection (FD) Check State Machine.
FwPrDesc_t GetCurRecActionPr()
Retrieve the descriptor of the Current Recovery Action Procedure.
FDCheckData_t * GetFDCheckData(FwSmDesc_t smDesc)
Get the pointer to the state machine data of an FD Check State Machine.
Identifier of the Current FD Check (see FwDaCurCheck.h)
Declaration of the execution interface for a FW Procedure.
void FwPrStart(FwPrDesc_t prDesc)
Start a procedure.