57 #ifndef FWDAFDCHECK_H_ 58 #define FWDAFDCHECK_H_ 64 #define FD_CHECK_DISABLED 1 66 #define FD_CHECK_ENABLED 2 68 #define FD_CHECK_HEALTHY 1 70 #define FD_CHECK_SUSPECTED 2 72 #define FD_CHECK_FAILED 3 75 #define TR_FD_CHECK_ENABLE 1 77 #define TR_FD_CHECK_DISABLE 2 79 #define TR_FD_CHECK_RESET 3 FDCheckOutcome_t detectionCheckOutcome
The outcome of the last call to the Anomaly Detection Check.
FDCheckOutcome_t
Type for the outcome of the Anomaly Detection Check.
Outcome generated when the Anomaly Detection Check detects an anomaly.
Declaration of the execution interface for a FW State Machine.
Identifier of the Delta FD Check (see FwDaDeltaCheck.h)
Outcome generated when the Anomaly Detection Check detects no anomaly.
int cntLimit
The number of consecutive anomalies which must be detected in order for the FD Check to enter state F...
FDCheckId_t
Type for the identifiers of the FD Checks.
FDCheckId_t fdCheckId
Identity of the FD Check to which this data structure is attached.
FwSmDesc_t GetFailDetCheckSm()
Retrieve the descriptor of the FD Check State Machine.
Type for the data of an FD Check State Machine.
int counter
The number of consecutive anomalies which have been detected by the Anomaly Detection Check...
void DefAnomalyDetCheck(FwSmDesc_t smDesc)
Default implementation of the Anomaly Detection Check.
Structure representing a state machine descriptor.
Identifier of the Temperature FD Check (see FwDaTempCheck.h)
FDCheckData_t * GetFDCheckData(FwSmDesc_t smDesc)
Get the pointer to the state machine data of an FD Check State Machine.
void DefRecoveryAction(FwSmDesc_t smDesc)
Default implementation of the Recovery Action.
struct FDCheckData FDCheckData_t
Type for the data of an FD Check State Machine.
Identifier of the Current FD Check (see FwDaCurCheck.h)