FW Profile - C1 Implementation
|
Implementation of FD Check State Machine. More...
Go to the source code of this file.
Functions | |
FDCheckData_t * | GetFDCheckData (FwSmDesc_t smDesc) |
Get the pointer to the state machine data of an FD Check State Machine. More... | |
void | DefAnomalyDetCheck (FwSmDesc_t smDesc) |
Default implementation of the Anomaly Detection Check. More... | |
void | DefRecoveryAction (FwSmDesc_t smDesc) |
Default implementation of the Recovery Action. More... | |
FwSmDesc_t | GetFailDetCheckSm () |
Retrieve the descriptor of the FD Check State Machine. More... | |
Implementation of FD Check State Machine.
Definition in file FwDaFDCheck.c.
void DefAnomalyDetCheck | ( | FwSmDesc_t | smDesc | ) |
Default implementation of the Anomaly Detection Check.
This default implementation always returns: "no anomaly detected".
smDesc | the state machine descriptor |
Definition at line 164 of file FwDaFDCheck.c.
void DefRecoveryAction | ( | FwSmDesc_t | smDesc | ) |
Default implementation of the Recovery Action.
This default implementation returns without doing anything.
smDesc | the state machine descriptor |
Definition at line 171 of file FwDaFDCheck.c.
FwSmDesc_t GetFailDetCheckSm | ( | ) |
Retrieve the descriptor of the FD Check State Machine.
The FD Check State Machine is a singleton. The first time this function is called, it creates and configures the state machine descriptor. Subsequently, it always returns the same descriptor.
Definition at line 176 of file FwDaFDCheck.c.
FDCheckData_t* GetFDCheckData | ( | FwSmDesc_t | smDesc | ) |
Get the pointer to the state machine data of an FD Check State Machine.
This function is a wrapper for the FwSmGetData
function. Function FwSmGetData
is defined at the level of the State Machine Module and returns the pointer to the state machine data as a pointer to void
. This function cast this pointer to point to FDCheckData_t
.
smDesc | the state machine descriptor |
Definition at line 159 of file FwDaFDCheck.c.