27 static float prevCurMeasurement = 0;
37 static float prevTempMeasurement = 0;
52 static void DeltaAnomalyDetCheck(
FwSmDesc_t smDesc);
61 static void DeltaRecoveryAction(
FwSmDesc_t smDesc);
94 static void DeltaAnomalyDetCheck(
FwSmDesc_t smDesc) {
115 static void DeltaRecoveryAction(
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.
float GetHwDevTemp()
This function returns the temperature of the Hardware Device.
Identifier of the Delta FD Check (see FwDaDeltaCheck.h)
void DefAnomalyDetCheck(FwSmDesc_t smDesc)
Default implementation of the Anomaly Detection Check.
Outcome generated when the Anomaly Detection Check detects no anomaly.
#define HW_DEV_CUR_MAX_DELTA
Maximum nominal change in current absorbed by the Hardware Device.
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...
Definition of the Delta Failure Detection (FD) Check.
FwSmDesc_t GetDeltaCheckSm()
Retrieve the descriptor of the Delta FD Check State Machine.
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.
#define TR_HW_DEV_OFF
Name of the transition from ON to OFF in the HW Device 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.
void FwSmMakeTrans(FwSmDesc_t smDesc, FwSmCounterU2_t transId)
Trigger a transition in a state machine.
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.
#define HW_DEV_DELTA_CNT_LIMIT
Counter limit for the Delta FD Check.
Definition of the Failure Detection (FD) Check State Machine.
FwSmDesc_t GetHwDevSm()
Retrieve the descriptor of the Hardware Device State Machine.
FDCheckData_t * GetFDCheckData(FwSmDesc_t smDesc)
Get the pointer to the state machine data of an FD Check State Machine.
#define HW_DEV_TEMP_MAX_DELTA
Maximum nominal change in temperature of the Hardware Device.