705x2b1s - CCSDS

CCSDS HISTORICAL DOCUMENT2.3.3 TransferIn ProcessRECOMMENDATION FOR ADVANCED ORBITING SYSTEMSThis process accepts Subnetwork Indication primitives from a particular network on a particularSAP, checking the format of the received SDU (i.e., the CCSDS Version 1 packet) and thenbehaving as the RoutePacket process before re-enabling itself.The process is passed seven parameters:PathlocalTerminationFlagonwardRelayingTableSubnetDestQualmaxSDULengththe Path on which the process is working.a Boolean flag indicating whether the Path has atermination at this entity.a list of SSNSAP, DSNSAP and SubnetID tuples.the Subnetwork to accept primitives on.the Subnetwork SAP at which to accept primitives.the APIDQualifier part of the Path on which the processis working.the maximum length for Path PDUs on this Path; taken tobe the total length of the Packet contained in thesubnetwork SDU.process TransferIn [int, snw](Path : PathId,localTerminationFlag : Bool,onwardRelayingTable : RelayingTable,Subnet : SubnetID,Dest : SNSAP,Qual : APIDQual,MaxSDULength : Nat) : noexit :=(snw ! Subnet? Source : SNSAP! Dest? Packet : CCSDSPacket[(MakePathID(GetAPID(GetPrimaryHeader(Packet)),Qual) Eq Path)and (GetPacketLength(GetPrimaryHeader(Packet)) EqConvertNatToPL(Pred(LengthOf(GetUserData(Packet)))))and ((LengthOf(GetUserData(Packet))+6) Le MaxSDULength)and (GetVersion(GetPrimaryHeader(Packet)) Eq Version1)and (UserAPID(GetAPID(GetPrimaryHeader(Packet))))] ;RoutePacket [int, snw] (localTerminationFlag,onwardRelayingTable,Packet,Path)>> TransferIn [int, snw] (Path,localTerminationFlag,onwardRelayingTable,Subnet,Dest,Qual,MaxSDULength))endproc TransferInCCSDS 705.2-B-1 Page 2-17 May 1994CCSDS HISTORICAL DOCUMENT