21 #include "FwSmConstants.h" 22 #include "FwSmConfig.h" 24 #include "FwPrConfig.h" 26 #include "FwPrConstants.h" 27 #include "FwPrDCreate.h" 29 #include "CrFwCmpData.h" 53 #include "config/CrFwOutFactoryUserPar.h" 77 if (outFactory == NULL)
79 if (FwSmCheckRec(outFactory) != smSuccess)
83 if (inFactory == NULL)
85 if (FwSmCheckRec(inFactory) != smSuccess)
89 if (outManager == NULL)
91 if (FwSmCheckRec(outManager) != smSuccess)
179 outCmp = outManagerCSData->
pocl[0];
310 if (outFactory == NULL)
312 if (FwSmCheckRec(outFactory) != smSuccess)
316 if (inFactory == NULL)
318 if (FwSmCheckRec(inFactory) != smSuccess)
322 if (outManager == NULL)
324 if (FwSmCheckRec(outManager) != smSuccess)
328 if (inManager == NULL)
330 if (FwSmCheckRec(inManager) != smSuccess)
437 outCmp = outManagerCSData->
pocl[0];
543 outCmp = outManagerCSData->
pocl[0];
626 outCmp = outManagerCSData->
pocl[0];
627 outCmp1 = outManagerCSData->
pocl[1];
738 unsigned short timeout;
758 if (outFactory == NULL)
760 if (FwSmCheckRec(outFactory) != smSuccess)
764 if (inFactory == NULL)
766 if (FwSmCheckRec(inFactory) != smSuccess)
770 if (outManager == NULL)
772 if (FwSmCheckRec(outManager) != smSuccess)
776 if (inManager == NULL)
778 if (FwSmCheckRec(inManager) != smSuccess)
868 outCmp1 = outManagerCSData->
pocl[0];
Declaration of the Perform Connection Test in-coming command packet.
void CrPsTestOnBoardConnectionStartN10(FwPrDesc_t prDesc)
Action for node N10.
Type for the Framework Component Data (FCD).
Interface through which framework components access the current time.
static void setOnBoardConnectCmdAppId(void *p, CrPsApid_t AppId)
Set "AppId" in "OnBoardConnectCmd" packet.
Definition of the InLoader component.
CrFwCounterU4_t i
CrPsCmd5EidStart function definitions.
#define CR_FW_OUTCMP_TYPE
Type identifier for the OutComponent components.
CrFwTypeId_t CrFwCmpGetTypeId(FwSmDesc_t smDesc)
Return the type identifier of the argument component.
void CrFwCmpInit(FwSmDesc_t smDesc)
Initialize a framework component.
CrFwBool_t CrPsServTestConnTestCase2()
Test the Service 17 On-Board Connection Test.
void CrFwPcktSetServType(CrFwPckt_t pckt, CrFwServType_t servType)
Set the service type of the command or report encapsulated in a packet.
static FwSmDesc_t outCmp[CR_FW_OUTFACTORY_MAX_NOF_OUTCMP]
The pre-allocated OutComponent instances.
CrFwBool_t CrFwCmpIsInConfigured(FwSmDesc_t smDesc)
Return true if the argument component is in state CONFIGURED.
void CrFwSetAppErrCode(CrFwAppErrCode_t errCode)
Set the value of the application error code (see CrFwGetAppErrCode).
CrFwBool_t CrFwInCmdIsInAborted(FwSmDesc_t smDesc)
Return true if the argument InCommand is in state ABORTED.
static FwSmDesc_t inFactory
The singleton instance of the InFactory.
void CrFwPcktSetSrc(CrFwPckt_t pckt, CrFwDestSrc_t src)
Set the source of the command or report encapsulated in a packet.
CrFwBool_t CrFwInCmdIsInProgress(FwSmDesc_t smDesc)
Return true if the argument InCommand is in state PROGRESS.
#define CR_FW_OUTFACTORY_MAX_NOF_OUTCMP
The maximum number of OutComponents which may be allocated at any one time.
Interface for accessing data pool items.
Definition of the OutFactory component.
An OutComponent allocation request has failed (see CrFwOutFactoryMakeOutCmp).
Create one instance of the CrPsCmd17s3Prgr procedure.
CrFwPckt_t CrFwPcktMake(CrFwPcktLength_t pcktLength)
Make function for command or report packets.
FwPrDesc_t getPrDescServTestOnBoardConnStart()
Getter for TestOnBoardConnStart procedure descriptor.
static CrFwCmpData_t outManagerData[CR_FW_NOF_OUTMANAGER]
The data structures for the OutManager State Machines and their Procedures.
FwSmDesc_t CrFwOutManagerMake(CrFwInstanceId_t i)
Factory function to retrieve the i-th OutManager State Machine instance.
Interface for creating and accessing a report or command packet.
uint16_t CrPsApid_t
Type used for the Application ID of a packet.
int CrFwBool_t
Type used for boolean values (1 represent "true" and 0 represents "false").
CrFwServType_t CrFwOutCmpGetServType(FwSmDesc_t smDesc)
Return the type of the OutComponent.
void CrPsTestOnBoardConnectionTerminationAction(FwSmDesc_t smDesc)
Termination Action of the Perform Connection Test in-coming command packet.
An OutComponent release request has encountered an error (see CrFwOutFactoryReleaseOutCmp).
Definition of the OutRegistry Component.
void CrFwPcktSetCmdRepType(CrFwPckt_t pckt, CrFwCmdRepType_t type)
Set the type of a packet (either a command packet or a report packet).
Declaration of the Perform Connection Test in-coming command packet.
Interface for accessing fields in packets of service "ServTest".
void CrFwPcktSetSeqCnt(CrFwPckt_t pckt, CrFwSeqCnt_t seqCnt)
Set the sequence counter of the command or report encapsulated in a packet.
Create one instance of the CrPsCmd17s3Start procedure.
CrFwServType_t CrFwInCmdGetServSubType(FwSmDesc_t smDesc)
Return the sub-type of the InCommand.
void CrPsInitServTestApp(unsigned short onBoardTestConnectAppId)
Initialization of CORDET Framework PUS Extension application-specific components. ...
CrFwCounterU2_t CrFwOutManagerGetNOfLoadedOutCmp(FwSmDesc_t smDesc)
Return the number of OutComponents successfully loaded in the POCL of an OutManager since the OutMana...
static FwSmDesc_t outFactory
The singleton instance of the OutFactory.
CrFwBool_t CrPsServTestConnTestCase1()
Test the Service 17 Are-You-Alive Test Connection.
CrFwBool_t CrFwInCmdIsInAccepted(FwSmDesc_t smDesc)
Return true if the argument InCommand is in state ACCEPTED.
Interface for reporting an error detected by a framework component.
void CrFwPcktSetGroup(CrFwPckt_t pckt, CrFwGroup_t group)
Set the group of the command/report encapsulated in a packet.
CrFwServType_t CrFwOutCmpGetServSubType(FwSmDesc_t smDesc)
Return the sub-type of the OutComponent.
void CrPsExecServTest()
Execution of CORDET Framework PUS Extension components.
FwSmDesc_t CrFwInManagerMake(CrFwInstanceId_t i)
Factory function to retrieve the i-th InManager State Machine instance.
void CrPsTestOnBoardConnectionStartN3(FwPrDesc_t prDesc)
Action for node N3.
void * cmpSpecificData
Derived data which are specific to each type of framework component.
void CrFwPcktSetAckLevel(CrFwPckt_t pckt, CrFwBool_t accept, CrFwBool_t start, CrFwBool_t progress, CrFwBool_t term)
Set the acknowledge level for the command encapsulated in a packet.
Definition of the InFactory component.
#define CR_FW_INCOMMAND_TYPE
Type identifier for the InCommand component.
Interface through which applications can initialize and execute framework PUS extension components...
Definition of the utility functions for the CORDET Framework.
CrFwBool_t CrPsServTestConnTestCase3()
Test the Service 17 exceptional cases.
void CrFwPcktSetServSubType(CrFwPckt_t pckt, CrFwServSubType_t servSubType)
Set the service sub-type of the command or report encapsulated in a packet.
Declaration of the Are-You-Alive Test in-coming report packet.
CrFwBool_t CrFwInCmdIsInTerminated(FwSmDesc_t smDesc)
Return true if the argument InCommand is in state TERMINATED.
CrFwBool_t CrFwInManagerLoad(FwSmDesc_t smDesc, FwSmDesc_t inCmp)
Load a new InReport or InCommand into the InManager.
void CrFwCmpReset(FwSmDesc_t smDesc)
Reset a framework component.
FwSmDesc_t * pocl
Pending OutComponent List (POCL) for the OutManager.
static void setDpAreYouAliveTimeOut(CrPsTimeOut_t AreYouAliveTimeOut)
Sets the value of the datapool item AreYouAliveTimeOut.
CrFwCounterU2_t CrFwPcktGetNOfAllocated()
Return the number of packets which are currently allocated.
void CrFwInCmdTerminate(FwSmDesc_t smDesc)
Send command Terminate to the argument InCommand.
void CrFwCmpExecute(FwSmDesc_t smDesc)
Execute a framework component.
void CrFwInFactoryReleaseInRep(FwSmDesc_t inRepInstance)
Release function for an InReport.
CrFwOutFactoryPoolIndex_t CrFwOutFactoryGetNOfAllocatedOutCmp()
Return the number of OutComponents which are currently allocated.
void CrFwPcktSetDest(CrFwPckt_t pckt, CrFwDestSrc_t dest)
Set the destination of the command or report encapsulated in a packet.
Definition of Base Component.
FwSmDesc_t CrFwInFactoryMake()
Factory function for the singleton instance of the InFactory.
int CrPsInitServTest()
Initialization of CORDET Framework PUS Extension components.
void CrFwOutFactoryReleaseOutCmp(FwSmDesc_t outCmpInstance)
Release function for an OutComponent.
void CrFwInFactoryReleaseInCmd(FwSmDesc_t inCmdInstance)
Release function for an InCommand.
char * CrFwPckt_t
Type for packets (see CrFwPckt.h).
FwSmDesc_t CrFwOutFactoryMake()
Factory function for the singleton instance of the OutFactory.
FwSmDesc_t CrFwInFactoryMakeInRep(CrFwPckt_t pckt)
Make function for a component encapsulating an incoming report (InReport).
CrFwCounterU2_t CrFwInManagerGetNOfLoadedInCmp(FwSmDesc_t smDesc)
Return the number of InReport or InCommands successfully loaded since the InManager was last reset...
Interface through which applications can initialize and execute framework PUS extension components...
int CrPsInitServReqVerif()
Initialization of CORDET Framework PUS Extension components.
static CrPsTimeOut_t getDpAreYouAliveTimeOut()
Gets the value of the datapool item AreYouAliveTimeOut.
CrFwCounterU1_t CrFwOutManagerGetNOfPendingOutCmp(FwSmDesc_t smDesc)
Return the number of OutComponents currently in the POCL of an OutManager.
CrFwInFactoryPoolIndex_t CrFwInFactoryGetNOfAllocatedInCmd()
Return the number of InCommands which are currently allocated.
No application errors have been detected.
static FwSmDesc_t inCmd[CR_FW_INFACTORY_MAX_NOF_INCMD]
The pre-allocated InCommand instances.
CrFwInFactoryPoolIndex_t CrFwInFactoryGetNOfAllocatedInRep()
Return the number of InReports which are currently allocated.
CrFwServType_t CrFwInCmdGetServType(FwSmDesc_t smDesc)
Return the type of the InCommand.
Definition of the OutLoader component.
FwSmDesc_t CrFwOutFactoryMakeOutCmp(CrFwServType_t type, CrFwServSubType_t subType, CrFwDiscriminant_t discriminant, CrFwPcktLength_t length)
Make function for an OutComponent.
FwSmDesc_t CrFwInFactoryMakeInCmd(CrFwPckt_t pckt)
Make function for a component encapsulating an incoming command (InCommand).
Declaration of the Perform Connection Test in-coming command packet.
CrFwAppErrCode_t CrFwGetAppErrCode()
Return the value of the application error code.
void CrFwPcktSetDiscriminant(CrFwPckt_t pckt, CrFwDiscriminant_t discriminant)
Set the discriminant of the command or report encapsulated in a packet.
CrFwCounterU1_t CrFwInManagerGetNOfPendingInCmp(FwSmDesc_t smDesc)
Return the number of InReport or InCommands currently in the PCRL of an InManager.
Definition of the InCommand Component of the framework.
Type for the data describing an OutManager.
FwPrBool_t CrPsTestOnBoardConnectionPrgrG13(FwPrDesc_t prDesc)
Guard on the Control Flow from DECISION1 to N3.