118 printf(
"\nStarting again after a failure has been detected and handled ...");
#define TR_FD_CHECK_ENABLE
Name of the transition to enable a FD Check.
Declaration of the configuration interface for a FW Procedure.
Declaration of the execution interface for a FW State Machine.
float GetHwDevTemp()
This function returns the temperature of the Hardware Device.
FwSmDesc_t GetCurCheckSm()
Retrieve the descriptor of the Current FD Check State Machine.
Definition of the Current Failure Detection (FD) Check.
Definition of the Temperature Failure Recovery Action (RA).
#define TR_FD_CHECK_RESET
Name of the transition to reset a FD Check.
Header file to define all constants and types for the procedure module of the FW Profile.
Declaration of the configuration interface for a FW State Machine.
Definition of the interface to access the Hardware Device.
void FwPrStop(FwPrDesc_t prDesc)
Stop a procedure.
void FwSmExecute(FwSmDesc_t smDesc)
Convenience method to execute a state machine.
Definition of the Current Failure Recovery Action (RA).
Definition of the Delta Failure Detection (FD) Check.
FwSmErrCode_t FwSmCheckRec(FwSmDesc_t smDesc)
Recursively check the configuration of a state machine and all its embedded state machines...
FwSmDesc_t GetDeltaCheckSm()
Retrieve the descriptor of the Delta FD Check State Machine.
#define N_CYCLE
Number of cycles executed by the Demo Application.
Header file to define all constants and types for the state machine module of the FW Profile...
#define HW_DEV_OFF
Name of the OFF state in the HW Device State Machine.
#define TR_HW_DEV_OPER
Name of the transition from STANDBY to OPERATIONAL in the HW Device State Machine.
Definition of the Temperature Failure Detection (FD) Check.
void FwSmStart(FwSmDesc_t smDesc)
Start a state machine.
float GetHwDevCur()
This function returns the current absorbed by the Hardware Device.
void FwSmMakeTrans(FwSmDesc_t smDesc, FwSmCounterU2_t transId)
Trigger a transition in a state machine.
Structure representing a state machine descriptor.
Return codes of a function which has completed execution without errors.
void FwPrExecute(FwPrDesc_t prDesc)
Execute a procedure.
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...
Structure representing a procedure descriptor.
FwSmDesc_t GetTempCheckSm()
Retrieve the descriptor of the Temperature FD Check State Machine.
#define TR_HW_DEV_ON
Name of the transition from OFF to ON in the HW Device State Machine.
Definition of the Failure Detection (FD) Check State Machine.
int main()
Main program for the demo application.
FwSmDesc_t GetHwDevSm()
Retrieve the descriptor of the Hardware Device State Machine.
FwPrDesc_t GetTempRecActionPr()
Retrieve the descriptor of the Temperature Recovery Action Procedure.
FwPrErrCode_t FwPrCheck(FwPrDesc_t prDesc)
Check the correctness and completeness of the configuration of a procedure descriptor.
FwPrDesc_t GetCurRecActionPr()
Retrieve the descriptor of the Current Recovery Action Procedure.
Return codes of a function which has completed execution without errors.
Declaration of the execution interface for a FW Procedure.