FW Profile - C1 Implementation
FwDaFDCheck.c File Reference

Implementation of FD Check State Machine. More...

Go to the source code of this file.

Functions

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

Detailed Description

Implementation of FD Check State Machine.

Author
V. Cechticky and A. Pasetti

Definition in file FwDaFDCheck.c.

Function Documentation

void DefAnomalyDetCheck ( FwSmDesc_t  smDesc)

Default implementation of the Anomaly Detection Check.

This default implementation always returns: "no anomaly detected".

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

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

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

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.

Parameters
smDescthe state machine descriptor
Returns
pointer to the state machine data

Definition at line 159 of file FwDaFDCheck.c.

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