FW Profile - C1 Implementation
FwDaDeltaCheck.h File Reference

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...
 

Detailed Description

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).

Author
Vaclav Cechticky, Alessandro Pasetti

Definition in file FwDaDeltaCheck.h.

Macro Definition Documentation

#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.

Function Documentation

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:

  • The Default Anomaly Detection Check (function 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.
  • The Default Recovery Action (function DefRecoveryAction) is overridden to send a command to switch off the Hardware Device.
  • The counter limit 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.

Returns
the descriptor of the FD Check State Machine or NULL if the state machine could not be created.

Definition at line 64 of file FwDaDeltaCheck.c.

P&P Software GmbH, Copyright 2011, All Rights Reserved