27 static void TempAnomalyDetCheck(
FwSmDesc_t smDesc);
35 static void TempRecoveryAction(
FwSmDesc_t smDesc);
43 if (tempFdcSm != NULL)
68 static void TempAnomalyDetCheck(
FwSmDesc_t smDesc) {
77 static void TempRecoveryAction(
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.
#define HW_DEV_TEMP_MAX_NOM
Maximum nominal temperature of the Hardware Device.
void DefRecoveryAction(FwSmDesc_t smDesc)
Default implementation of the Recovery Action.
float GetHwDevTemp()
This function returns the temperature of the Hardware Device.
Definition of the Temperature Failure Recovery Action (RA).
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...
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.
Definition of the Temperature Failure Detection (FD) Check.
FwSmDesc_t FwSmGetEmbSm(FwSmDesc_t smDesc, FwSmCounterS1_t i)
Return the state machine embedded in the i-th state of the argument state machine.
#define HW_DEV_TEMP_CNT_LIMIT
Counter limit for the Temperature FD Check.
Structure representing a state machine descriptor.
Identifier of the Temperature FD Check (see FwDaTempCheck.h)
FwSmDesc_t GetTempCheckSm()
Retrieve the descriptor of the Temperature FD Check State Machine.
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 GetTempRecActionPr()
Retrieve the descriptor of the Temperature Recovery Action Procedure.
FDCheckData_t * GetFDCheckData(FwSmDesc_t smDesc)
Get the pointer to the state machine data of an FD Check State Machine.
Declaration of the execution interface for a FW Procedure.
void FwPrStart(FwPrDesc_t prDesc)
Start a procedure.