FW Profile - C1 Implementation
FwDaFDCheck.h
Go to the documentation of this file.
1 
57 #ifndef FWDAFDCHECK_H_
58 #define FWDAFDCHECK_H_
59 
60 #include <stdio.h>
61 #include "FwSmCore.h"
62 
64 #define FD_CHECK_DISABLED 1
65 
66 #define FD_CHECK_ENABLED 2
67 
68 #define FD_CHECK_HEALTHY 1
69 
70 #define FD_CHECK_SUSPECTED 2
71 
72 #define FD_CHECK_FAILED 3
73 
75 #define TR_FD_CHECK_ENABLE 1
76 
77 #define TR_FD_CHECK_DISABLE 2
78 
79 #define TR_FD_CHECK_RESET 3
80 
82 typedef enum {
89 } FDCheckId_t;
90 
92 typedef enum {
98 
108 typedef struct FDCheckData {
117  int counter;
122  int cntLimit;
127 } FDCheckData_t;
128 
140 
151 
157 void DefAnomalyDetCheck(FwSmDesc_t smDesc);
158 
164 void DefRecoveryAction(FwSmDesc_t smDesc);
165 
166 #endif /* FWDAFDCHECK_H_ */
FDCheckOutcome_t detectionCheckOutcome
The outcome of the last call to the Anomaly Detection Check.
Definition: FwDaFDCheck.h:126
FDCheckOutcome_t
Type for the outcome of the Anomaly Detection Check.
Definition: FwDaFDCheck.h:92
Outcome generated when the Anomaly Detection Check detects an anomaly.
Definition: FwDaFDCheck.h:96
Declaration of the execution interface for a FW State Machine.
Identifier of the Delta FD Check (see FwDaDeltaCheck.h)
Definition: FwDaFDCheck.h:88
Outcome generated when the Anomaly Detection Check detects no anomaly.
Definition: FwDaFDCheck.h:94
int cntLimit
The number of consecutive anomalies which must be detected in order for the FD Check to enter state F...
Definition: FwDaFDCheck.h:122
FDCheckId_t
Type for the identifiers of the FD Checks.
Definition: FwDaFDCheck.h:82
FDCheckId_t fdCheckId
Identity of the FD Check to which this data structure is attached.
Definition: FwDaFDCheck.h:112
FwSmDesc_t GetFailDetCheckSm()
Retrieve the descriptor of the FD Check State Machine.
Definition: FwDaFDCheck.c:176
Type for the data of an FD Check State Machine.
Definition: FwDaFDCheck.h:108
int counter
The number of consecutive anomalies which have been detected by the Anomaly Detection Check...
Definition: FwDaFDCheck.h:117
void DefAnomalyDetCheck(FwSmDesc_t smDesc)
Default implementation of the Anomaly Detection Check.
Definition: FwDaFDCheck.c:164
Structure representing a state machine descriptor.
Definition: FwSmPrivate.h:303
Identifier of the Temperature FD Check (see FwDaTempCheck.h)
Definition: FwDaFDCheck.h:86
FDCheckData_t * GetFDCheckData(FwSmDesc_t smDesc)
Get the pointer to the state machine data of an FD Check State Machine.
Definition: FwDaFDCheck.c:159
void DefRecoveryAction(FwSmDesc_t smDesc)
Default implementation of the Recovery Action.
Definition: FwDaFDCheck.c:171
struct FDCheckData FDCheckData_t
Type for the data of an FD Check State Machine.
Identifier of the Current FD Check (see FwDaCurCheck.h)
Definition: FwDaFDCheck.h:84
P&P Software GmbH, Copyright 2011, All Rights Reserved