FW Profile - C1 Implementation
|
Definition of the Delta Failure Detection (FD) Check. More...
Go to the source code of this file.
Macros | |
#define | HW_DEV_CUR_MAX_DELTA 0.9 |
Maximum nominal change in current absorbed by the Hardware Device. More... | |
#define | HW_DEV_TEMP_MAX_DELTA 80 |
Maximum nominal change in temperature of the Hardware Device. More... | |
#define | HW_DEV_DELTA_CNT_LIMIT 4 |
Counter limit for the Delta FD Check. More... | |
Functions | |
FwSmDesc_t | GetDeltaCheckSm () |
Retrieve the descriptor of the Delta FD Check State Machine. More... | |
Definition of the Delta Failure Detection (FD) Check.
This FD Check is encapsulated in a state machine which is derived from the FD Check State Machine. The Delta Check reports "anomaly detected" if either the current absorbed by the hardware device or its temperature changes by more than a certain threshold from one activation to the next (i.e. the check detects a "jump" in the value of either the current or the temperature of the hardware device).
Definition in file FwDaDeltaCheck.h.
#define HW_DEV_CUR_MAX_DELTA 0.9 |
Maximum nominal change in current absorbed by the Hardware Device.
If the current absorbed by the Hardware Device changes from one activation cycle to the next by more than HW_DEV_CUR_MAX_DELTA the Delta FD Check declares an anomaly and if the anomaly persists for longer than HW_DEV_DELTA_CNT_LIMIT cycles, the Hardware Device must be put in Stand-By.
Definition at line 28 of file FwDaDeltaCheck.h.
#define HW_DEV_DELTA_CNT_LIMIT 4 |
Counter limit for the Delta FD Check.
If the Delta FD Check detects an anomaly for longer than HW_DEV_DELTA_CNT_LIMIT cycles, then a failure is declared and the Recovery Action associated to the check is executed.
Definition at line 47 of file FwDaDeltaCheck.h.
#define HW_DEV_TEMP_MAX_DELTA 80 |
Maximum nominal change in temperature of the Hardware Device.
If the temperature of the Hardware Device changes from one activation cycle to the next by more than HW_DEV_TEMP_MAX_DELTA the Delta FD Check declares an anomaly and if the anomaly persists for longer than HW_DEV_DELTA_CNT_LIMIT cycles, the Hardware Device must be put in Stand-By.
Definition at line 38 of file FwDaDeltaCheck.h.
FwSmDesc_t GetDeltaCheckSm | ( | ) |
Retrieve the descriptor of the Delta FD Check State Machine.
The Delta 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.
The Delta FD Check State Machine is built as an extension of the generic FD Check State Machine (see FwDaFailDetCheck.h
) with the following changes:
DefAnomalyDetCheck
) is overridden to report "anomaly detected" if the current absorbed by the hardware device or its temperature have changed by more than, respectively, HW_DEV_CUR_MAX_DELTA and HW_DEV_TEMP_MAX_DELTA.DefRecoveryAction
) is overridden to send a command to switch off the Hardware Device.cntLimit
is set to HW_DEV_DELTA_CNT_LIMIT.Thus, this FD Check monitors the current absorbed by the Hardware Device and its temperature, if it finds that either has jumped by more than a certain threshold for more than HW_DEV_DELTA_CNT_LIMIT consecutive cycles, it commands the Hardware Device into STANDBY mode.
Definition at line 64 of file FwDaDeltaCheck.c.