33 #include "CrFwCmpData.h" 36 #include "FwSmConstants.h" 37 #include "FwSmConfig.h" 39 #include "FwPrDCreate.h" 40 #include "FwPrConfig.h" 42 #include "FwPrConstants.h" 56 CrFwCounterU4_t
i, iSidFail, iMax;
77 prDataPtr = FwPrGetData(prDesc);
78 smDesc = prDataPtr->smDesc;
83 pckt = cmpSpecificData->
pckt;
154 prDataPtr = FwPrGetData(prDesc);
155 smDesc = prDataPtr->smDesc;
176 prDataPtr = FwPrGetData(prDesc);
177 smDesc = prDataPtr->smDesc;
182 pckt = cmpSpecificData->
pckt;
233 prDataPtr = FwPrGetData(prDesc);
234 smDesc = prDataPtr->smDesc;
239 FwSmSetData(smDesc, cmpData);
253 prDataPtr = FwPrGetData(prDesc);
254 smDesc = prDataPtr->smDesc;
258 cmpData->
outcome = VER_SID_START_FD;
259 FwSmSetData(smDesc, cmpData);
281 if (currentSid == rdlSid)
286 if (rdlSlot == HK_N_REP_DEF)
318 if (iSidFail == iMax)
void CrPsCmd3SidStartN4(FwPrDesc_t prDesc)
Action for node N4.
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.
#define CRPS_HK_DISABLE_PERIODICDIAG_CMD
Subtype identifier of the Housekeeping Disable Periodic Generation of a Diagnostic Parameter Report S...
void CrPsCmd3SidStartN8(FwPrDesc_t prDesc)
Action for node N8.
static CrFwServSubType_t servSubType
Service sub-type.
void CrPsCmd3SidStartN1(FwPrDesc_t prDesc)
Action for node N1.
Interface through which applications can initialize and execute framework PUS extension components...
void CrPsCmd3SidStartN2(FwPrDesc_t prDesc)
Action for node N2.
#define CRFW_UNUSED(x)
A macro that can be used to specify that a function parameter is not used.
CrPsSid_t getHkOneShotCmdRepStrucIdItem(void *p, CrFwCounterU4_t N)
Get "RepStrucId" from "HkOneShotCmd" packet.
unsigned char CrFwServSubType_t
Type used for the command or report sub-type.
Header file to define all user-configurable constants and types for the IASW Application.
FwPrBool_t CrPsCmd3SidStartG2(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION3 to DECISION4.
Create one instance of the CrPsCmd3SidStart procedure.
Interface for accessing data pool items.
Definition of the OutFactory component.
CrFwPckt_t pckt
Packet holding the InCommand.
static CrFwCounterU4_t getHkEnableCmdN(void *p)
Get "N" from "HkEnableCmd" packet.
Header file to define all service and packet identifiers.
Interface for creating and accessing a report or command packet.
static void setDpverFailData(CrPsFailData_t verFailData)
Sets the value of the datapool item verFailData.
Header file to define all invariant publicly available constants and types for the CORDET Framework...
CrPsSid_t getHkDisableCmdRepStrucIdItem(void *p, CrFwCounterU4_t N)
Get "RepStrucId" from "HkDisableCmd" 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".
void CrPsCmd3SidStartN3(FwPrDesc_t prDesc)
Action for node N3.
FwPrBool_t CrPsCmd3SidStartG3(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION4 to N8.
Interface for accessing data pool items.
CrPsSid_t getHkRepStructCmdRepStrucIdItem(void *p, CrFwCounterU4_t N)
Get "RepStrucId" from "HkRepStructCmd" packet.
static CrFwCounterU4_t getHkOneShotCmdN(void *p)
Get "N" from "HkOneShotCmd" packet.
CrPsSid_t getHkEnableCmdRepStrucIdItem(void *p, CrFwCounterU4_t N)
Get "RepStrucId" from "HkEnableCmd" packet.
uint32_t CrPsFailData_t
Type used for the Failure Data of a packet.
void * cmpSpecificData
Derived data which are specific to each type of framework component.
CrFwCounterU4_t i
CrPsCmd3SidStart function definitions.
#define CRPS_REQVERIF_START_FAIL
Subtype identifier of the Request Verification Start Failed out-going report packet.
#define CRPS_HK_ENABLE_PERIODICDIAG_CMD
Subtype identifier of the Housekeeping Enable Periodic Generation of a Diagnostic Parameter Report St...
FwPrBool_t CrPsCmd3SidStartG1(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION1 to N2.
static CrFwCounterU4_t getHkRepStructCmdN(void *p)
Get "N" from "HkRepStructCmd" packet.
#define CRPS_HK_DIAGONESHOT_CMD
Subtype identifier of the Housekeeping Generate One-Shot Report for Diagnostic Parameters command pac...
CrFwServSubType_t CrFwPcktGetServSubType(CrFwPckt_t pckt)
Return the service sub-type of the command or report encapsulated in a packet.
void CrPsCmd3SidStartN7(FwPrDesc_t prDesc)
Action for node N7.
#define HK_N_REP_DEF
Number of Report Definitions in the Report Definition List (maximum number of housekeeping/diagnostic...
#define CRPS_HK_DISABLE_PERIODICHK_CMD
Subtype identifier of the Housekeeping Disable Periodic Generation of a Housekeeping Parameter Report...
uint8_t CrPsSid_t
Type used for the Parameter Report Structure ID of a packet.
#define CRPS_HK_HKONESHOT_CMD
Subtype identifier of the Housekeeping Generate One-Shot Report for Housekeeping Parameters command p...
char * CrFwPckt_t
Type for packets (see CrFwPckt.h).
static CrFwCounterU4_t getHkDisableCmdN(void *p)
Get "N" from "HkDisableCmd" packet.
Definition of the OutComponent Component of the framework.
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 CRPS_HK_DIAGREP_STRUCT_CMD
Subtype identifier of the Housekeeping Report Diagnostic Parameter Report Structure command packet...
#define VER_ILL_SID
Failure Codes of Service 3 (Housekeeping) for Service 1 (Request Verification)
Definition of the OutLoader component.
#define CRPS_HK_HKREP_STRUCT_CMD
Subtype identifier of the Housekeeping Report Housekeeping Parameter Report Structure command packet...
void SendReqVerifCmdFailRep(FwSmDesc_t smDesc, uint16_t reqVerifCmdFailType, CrPsFailCode_t FailureCode)
Generate a Request Verification Start/Termination Failed out-going report.
#define CRPS_HK_ENABLE_PERIODICHK_CMD
Subtype identifier of the Housekeeping Enable Periodic Generation of a Housekeeping Parameter Report ...