33 #include "CrFwCmpData.h" 36 #include "FwSmConstants.h" 37 #include "FwSmConfig.h" 39 #include "FwPrDCreate.h" 40 #include "FwPrConfig.h" 42 #include "FwPrConstants.h" 57 CrFwCounterU4_t
i, iSidFail, iMax;
77 prDataPtr = FwPrGetData(prDesc);
78 smDesc = prDataPtr->smDesc;
83 pckt = cmpSpecificData->
pckt;
112 prDataPtr = FwPrGetData(prDesc);
113 smDesc = prDataPtr->smDesc;
134 prDataPtr = FwPrGetData(prDesc);
135 smDesc = prDataPtr->smDesc;
140 pckt = cmpSpecificData->
pckt;
167 prDataPtr = FwPrGetData(prDesc);
168 smDesc = prDataPtr->smDesc;
184 prDataPtr = FwPrGetData(prDesc);
185 smDesc = prDataPtr->smDesc;
190 FwSmSetData(smDesc, cmpData);
204 prDataPtr = FwPrGetData(prDesc);
205 smDesc = prDataPtr->smDesc;
209 cmpData->
outcome = VER_S3S_START_FD;
210 FwSmSetData(smDesc, cmpData);
233 if (currentSid == rdlSid)
238 if (rdlSlot == HK_N_REP_DEF)
261 if (currentSid == rdlSid)
299 if (iSidFail == iMax)
Type for the Framework Component Data (FCD).
CrFwOutcome_t outcome
The outcome of an action or check executed by a state machine or by one of its procedures.
FwPrBool_t CrPsCmd3s3StartG4(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION4 to N8.
Interface through which applications can initialize and execute framework PUS extension components...
#define CRFW_UNUSED(x)
A macro that can be used to specify that a function parameter is not used.
Header file to define all user-configurable constants and types for the IASW Application.
Interface for accessing data pool items.
void CrPsCmd3s3StartN2(FwPrDesc_t prDesc)
Action for node N2.
CrPsSid_t getHkDeleteCmdRepStrucIdItem(void *p, CrFwCounterU4_t N)
Get "RepStrucId" from "HkDeleteCmd" packet.
Create one instance of the CrPsCmd3s3Start procedure.
Definition of the OutFactory component.
CrFwPckt_t pckt
Packet holding the InCommand.
static CrPsFlag_t getDpisEnabledItem(int i)
Gets the value of the i-th element in the datapool array isEnabled.
Header file to define all service and packet identifiers.
FwPrBool_t CrPsCmd3s3StartG3(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION3 to DECISION4.
void CrPsCmd3s3StartN8(FwPrDesc_t prDesc)
Action for node N8.
Interface for creating and accessing a report or command packet.
int CrFwBool_t
Type used for boolean values (1 represent "true" and 0 represents "false").
static void setDpverFailData(CrPsFailData_t verFailData)
Sets the value of the datapool item verFailData.
void CrPsCmd3s3StartN1(FwPrDesc_t prDesc)
Action for node N1.
Header file to define all invariant publicly available constants and types for the CORDET Framework...
static CrFwCounterU4_t getHkDeleteCmdN(void *p)
Get "N" from "HkDeleteCmd" packet.
static CrPsSid_t getDpsidItem(int i)
Gets the value of the i-th element in the datapool array sid.
auxiliary Interface for accessing fields in packets of service "ServHk".
FwPrBool_t CrPsCmd3s3StartG2(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION2 to N5.
void CrPsCmd3s3StartN7(FwPrDesc_t prDesc)
Action for node N7.
Interface for accessing data pool items.
void * cmpSpecificData
Derived data which are specific to each type of framework component.
void CrPsCmd3s3StartN5(FwPrDesc_t prDesc)
Action for node N5.
void CrPsCmd3s3StartN4(FwPrDesc_t prDesc)
Action for node N4.
#define CRPS_REQVERIF_START_FAIL
Subtype identifier of the Request Verification Start Failed out-going report packet.
CrFwCounterU4_t i
CrPsCmd3s3Start function definitions.
#define HK_N_REP_DEF
Number of Report Definitions in the Report Definition List (maximum number of housekeeping/diagnostic...
uint8_t CrPsSid_t
Type used for the Parameter Report Structure ID of a packet.
char * CrFwPckt_t
Type for packets (see CrFwPckt.h).
FwPrBool_t CrPsCmd3s3StartG1(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION1 to N2.
Definition of the OutComponent Component of the framework.
void CrPsCmd3s3StartN6(FwPrDesc_t prDesc)
Action for node N6.
Interface through which applications can initialize and execute framework PUS extension components...
Interface for accessing fields in packets of service "ServHk".
Type for the data describing an InCommand.
#define VER_ILL_SID
Failure Codes of Service 3 (Housekeeping) for Service 1 (Request Verification)
void CrPsCmd3s3StartN3(FwPrDesc_t prDesc)
Action for node N3.
Definition of the OutLoader component.
void SendReqVerifCmdFailRep(FwSmDesc_t smDesc, uint16_t reqVerifCmdFailType, CrPsFailCode_t FailureCode)
Generate a Request Verification Start/Termination Failed out-going report.