32 #include "CrFwCmpData.h" 35 #include "FwSmConstants.h" 36 #include "FwSmConfig.h" 38 #include "FwPrDCreate.h" 39 #include "FwPrConfig.h" 41 #include "FwPrConstants.h" 54 static FwSmDesc_t
rep;
69 smDesc = FwPrGetData(prDesc);
74 FwSmSetData(smDesc, cmpData);
92 smDesc = FwPrGetData(prDesc);
97 pckt = cmpSpecificData->
pckt;
143 smDesc = FwPrGetData(prDesc);
148 pckt = cmpSpecificData->
pckt;
167 smDesc = FwPrGetData(prDesc);
172 FwSmSetData(smDesc, cmpData);
189 smDesc = FwPrGetData(prDesc);
193 cmpData->
outcome = (
unsigned char)VER_SID_IN_USE;
194 FwSmSetData(smDesc, cmpData);
198 pckt = cmpSpecificData->
pckt;
218 smDesc = FwPrGetData(prDesc);
222 cmpData->
outcome = (
unsigned char)VER_RDL_CONSTR;
223 FwSmSetData(smDesc, cmpData);
240 smDesc = FwPrGetData(prDesc);
244 cmpData->
outcome = (
unsigned char)VER_DUPL_DI;
245 FwSmSetData(smDesc, cmpData);
262 smDesc = FwPrGetData(prDesc);
266 cmpData->
outcome = (
unsigned char)VER_REP_CR_FD;
267 FwSmSetData(smDesc, cmpData);
281 smDesc = FwPrGetData(prDesc);
285 cmpData->
outcome = (
unsigned char)VER_OUTLOADER_FD;
286 FwSmSetData(smDesc, cmpData);
312 if (rdlSlot == HK_N_REP_DEF)
335 smDesc = FwPrGetData(prDesc);
340 pckt = cmpSpecificData->
pckt;
367 smDesc = FwPrGetData(prDesc);
372 pckt = cmpSpecificData->
pckt;
386 if (rdlSlot == HK_N_REP_DEF)
403 uint16_t currentDataItem, checkDataItem;
404 CrFwCounterU4_t
i, k, m, a=0;
405 CrFwCounterU4_t N1, NFA, N2[10], LSTNMB;
406 unsigned short dataItemArray[100];
411 smDesc = FwPrGetData(prDesc);
416 pckt = cmpSpecificData->
pckt;
426 for (i=0; i<NFA; i++)
439 for (k=0; k<NFA; k++)
441 for (m=0; m<N2[k]; m++)
449 for (i=0; i<LSTNMB; i++)
452 checkDataItem = dataItemArray[
i];
454 for(k=0;k<LSTNMB-i-1;k++)
457 currentDataItem = dataItemArray[i+k+1];
460 if (checkDataItem == currentDataItem)
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.
CrFwDestSrc_t CrFwPcktGetSrc(CrFwPckt_t pckt)
Return the source of the command or report encapsulated in a packet.
CrFwCounterU4_t i
CrPsCmd5EidStart function definitions.
#define CRPS_REQVERIF_PROG_FAIL
Subtype identifier of the Request Verification Progress Failed out-going report packet.
#define CRFW_UNUSED(x)
A macro that can be used to specify that a function parameter is not used.
unsigned char CrFwServSubType_t
Type used for the command or report sub-type.
FwPrBool_t CrPsCmd3s1StartG1(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION1 to N1.
Header file to define all user-configurable constants and types for the IASW Application.
void CrPsCmd3s1StartN6(FwPrDesc_t prDesc)
Action for node N6.
#define CRPS_HK_CREATE_DIAGSTRUCT_CMD
Subtype identifier of the Housekeeping Create a Diagnostic Parameter Report Structure command packet...
FwPrBool_t CrPsCmd3s1StartG6(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION6 to N6.
Interface for accessing data pool items.
FwPrBool_t CrPsCmd3s1StartG5(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION5 to N3.
Definition of the OutFactory component.
CrFwPckt_t pckt
Packet holding the InCommand.
unsigned char CrFwDestSrc_t
Type used for the command or report destination and source.
#define HK_MAX_N_SIMPLE
Maximum number of simply-commutated parameters in a housekeeping/diagnostic report.
Header file to define all service and packet identifiers.
#define HK_MAX_SID
Maximum value of a service 3 Structure Identifier (SID)
Interface for creating and accessing a report or command packet.
static void setDpverFailData(CrPsFailData_t verFailData)
Sets the value of the datapool item verFailData.
static FwSmDesc_t rep
CrPsCmd3s1Start function definitions.
void CrPsCmd3s1StartN2(FwPrDesc_t prDesc)
Action for node N2.
size_t getHkRepSizeFromPckt(void *p)
Get the size of a HkRep Housekeeping packet.
void CrPsCmd3s1StartN8(FwPrDesc_t prDesc)
Action for node N8.
FwPrBool_t CrPsCmd3s1StartG2(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION2 to N8.
#define CRPS_HK_HKPARAM_REP
Subtype identifier of the Housekeeping Housekeeping Parameter Report out-going report packet...
static CrPsSid_t getDpsidItem(int i)
Gets the value of the i-th element in the datapool array sid.
void CrFwOutLoaderLoad(FwSmDesc_t outCmp)
Load an OutComponent into its OutManager.
auxiliary Interface for accessing fields in packets of service "ServHk".
void CrPsCmd3s1StartN9(FwPrDesc_t prDesc)
Action for node N9.
The Outfactory failed to make the component (see CrPsRepErr.h)
CrFwCounterU4_t getHkCreateCmdN2(void *p, CrFwCounterU4_t NFA)
Get "N2" from "HkCreateCmd" packet.
Interface for accessing data pool items.
CrPsRepErrCode_t
Identifier for the errors reported through the error reporting interface of CrFwRepErr.h.
#define CRPS_HK_DIAGPARAM_REP
Subtype identifier of the Housekeeping Diagnostic Parameter Report out-going report packet...
void CrPsCmd3s1StartN7(FwPrDesc_t prDesc)
Action for node N7.
void CrPsCmd3s1StartN10(FwPrDesc_t prDesc)
Action for node N10.
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.
void CrPsCmd3s1StartN3(FwPrDesc_t prDesc)
Action for node N3.
void CrPsCmd3s1StartN4(FwPrDesc_t prDesc)
Action for node N4.
Create one instance of the CrPsCmd3s1Start procedure.
FwPrBool_t CrPsCmd3s1StartG4(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION4 to N9.
void CrPsCmd3s1StartN11(FwPrDesc_t prDesc)
Action for node N11.
CrFwServSubType_t CrFwPcktGetServSubType(CrFwPckt_t pckt)
Return the service sub-type of the command or report encapsulated in a packet.
static CrPsSid_t getHkCreateCmdRepStrucId(void *p)
Get "RepStrucId" from "HkCreateCmd" packet.
static CrFwDestSrc_t dest
Destination.
void CrPsRepErr(CrPsRepErrCode_t errCode, CrFwServType_t repType, CrFwServSubType_t repSubType, CrFwDiscriminant_t repDiscriminant)
Report an error which has no parameters attached to it.
#define CRPS_HK
Type identifier of the Housekeeping Data Report out-going report packet.
#define CRPS_HK_CREATE_HKSTRUCT_CMD
Subtype identifier of the Housekeeping Create a Housekeeping Parameter Report Structure command packe...
Interface for reporting an error detected by a PUS Extension component.
#define HK_N_REP_DEF
Number of Report Definitions in the Report Definition List (maximum number of housekeeping/diagnostic...
CrPsParamId_t getHkCreateCmdN2ParamIdItem(void *p, CrFwCounterU4_t NFA, CrFwCounterU4_t N2)
Get "N2ParamID" from "HkCreateCmd" packet.
uint8_t CrPsSid_t
Type used for the Parameter Report Structure ID of a packet.
char * CrFwPckt_t
Type for packets (see CrFwPckt.h).
Definition of the OutComponent Component of the framework.
void CrFwOutCmpSetDest(FwSmDesc_t smDesc, CrFwDestSrc_t dest)
Set the destination of the OutComponent.
Interface for accessing fields in packets of service "ServHk".
Type for the data describing an InCommand.
#define VER_FULL_RDL
Outcome Failure Codes for Service 3 (Housekeeping)
CrFwCounterU4_t getHkCreateCmdNFA(void *p)
Get "NFA" from "HkCreateCmd" packet.
void CrPsCmd3s1StartN1(FwPrDesc_t prDesc)
Action for node N1.
FwPrBool_t CrPsCmd3s1StartG3(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION3 to N7.
CrPsParamId_t getHkCreateCmdN1ParamIdItem(void *p, CrFwCounterU4_t N)
Get "N1ParamId" arrayItem from "HkCreateCmd" packet.
Definition of the OutLoader component.
static CrFwCounterU4_t getHkCreateCmdN1(void *p)
Get "N1" from "HkCreateCmd" packet.
FwSmDesc_t CrFwOutFactoryMakeOutCmp(CrFwServType_t type, CrFwServSubType_t subType, CrFwDiscriminant_t discriminant, CrFwPcktLength_t length)
Make function for an OutComponent.
#define CRPS_REQVERIF
Type identifier of the Request Verification Service.