127 printf(
", %s --> SUSPECTED", PrintFDCheckId(fdcData->
fdCheckId));
133 printf(
", %s --> FAILED", PrintFDCheckId(fdcData->
fdCheckId));
139 printf(
", %s --> HEALTHY", PrintFDCheckId(fdcData->
fdCheckId));
182 if (fdCheckSm != NULL)
#define TR_FD_CHECK_ENABLE
Name of the transition to enable a FD Check.
FDCheckOutcome_t detectionCheckOutcome
The outcome of the last call to the Anomaly Detection Check.
void FwSmAddTransStaToSta(FwSmDesc_t smDesc, FwSmCounterU2_t transId, FwSmCounterS1_t srcId, FwSmCounterS1_t destId, FwSmAction_t trAction, FwSmGuard_t trGuard)
Create a transition from a proper state to a proper state and add it to a state machine.
#define FW_TR_EXECUTE
Identifier of "Execute" transition in a state machine.
void * FwSmGetData(FwSmDesc_t smDesc)
Get the pointer to the state machine data in the state machine descriptor.
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.
#define FD_CHECK_DISABLED
Name of the DISABLED state in the FD Check State Machine.
#define CPS2
A choice pseudo-state identifier.
void DefRecoveryAction(FwSmDesc_t smDesc)
Default implementation of the Recovery Action.
Identifier of the Delta FD Check (see FwDaDeltaCheck.h)
#define TR_FD_CHECK_RESET
Name of the transition to reset a FD Check.
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.
FwSmDesc_t FwSmCreate(FwSmCounterS1_t nOfStates, FwSmCounterS1_t nOfChoicePseudoStates, FwSmCounterS1_t nOfTrans, FwSmCounterS1_t nOfActions, FwSmCounterS1_t nOfGuards)
Create a new state machine descriptor.
void FwSmAddTransStaToCps(FwSmDesc_t smDesc, FwSmCounterU2_t transId, FwSmCounterS1_t srcId, FwSmCounterS1_t destId, FwSmAction_t trAction, FwSmGuard_t trGuard)
Create a transition from a proper state to a choice pseudo-state and add it to a state machine...
int cntLimit
The number of consecutive anomalies which must be detected in order for the FD Check to enter state F...
#define FD_CHECK_FAILED
Name of the FAILED state in the FD Check State Machine.
#define TR_FD_CHECK_DISABLE
Name of the transition to disable a FD Check.
FDCheckId_t
Type for the identifiers of the FD Checks.
#define FD_CHECK_SUSPECTED
Name of the SUSPECTED state in the FD Check State Machine.
FDCheckId_t fdCheckId
Identity of the FD Check to which this data structure is attached.
void FwSmAddChoicePseudoState(FwSmDesc_t smDesc, FwSmCounterS1_t choiceId, FwSmCounterS1_t nOfOutTrans)
Create a choice pseudo-state with the given characteristics and add it to a state machine...
Header file to define all constants and types for the state machine module of the FW Profile...
int FwSmBool_t
Type used for booleans (0 is "false" and 1 is "true").
#define FD_CHECK_HEALTHY
Name of the HEALTHY sub-state in 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...
#define CPS1
A choice pseudo-state identifier.
Structure representing a state machine descriptor.
Identifier of the Temperature FD Check (see FwDaTempCheck.h)
FwSmCounterS1_t FwSmGetCurState(FwSmDesc_t smDesc)
Return the identifier of the current state in a state machine (or zero if the state machine is stoppe...
Definition of the Failure Detection (FD) Check State Machine.
void FwSmAddState(FwSmDesc_t smDesc, FwSmCounterS1_t stateId, FwSmCounterS1_t nOfOutTrans, FwSmAction_t entryAction, FwSmAction_t exitAction, FwSmAction_t doAction, FwSmDesc_t esmDesc)
Create a state with the given characteristics and add it to a state machine.
void FwSmAddTransIpsToSta(FwSmDesc_t smDesc, FwSmCounterS1_t destId, FwSmAction_t trAction)
Create a transition from the initial pseudo-state to a proper state and add it to a state machine...
void FwSmAddTransCpsToSta(FwSmDesc_t smDesc, FwSmCounterS1_t srcId, FwSmCounterS1_t destId, FwSmAction_t trAction, FwSmGuard_t trGuard)
Create a transition from a choice pseudo-state to a proper state and add it to a state machine...
Declaration of the auxiliary interface for a FW State Machine.
FDCheckData_t * GetFDCheckData(FwSmDesc_t smDesc)
Get the pointer to the state machine data of an FD Check State Machine.
Identifier of the Current FD Check (see FwDaCurCheck.h)