705x2b1s - CCSDS

More documents

Recommendations

Info

3.3 THE BEHAVIOURCCSDS HISTORICAL DOCUMENTRECOMMENDATION FOR ADVANCED ORBITING SYSTEMSIn the following description, a value of all zeroes for the initial PacketSequence Count is chosenfor convenience only. An implementation may chose to initialise this count with some othervalue. The Type field of the packet is assumed to be fixed for a particular Path Layerinstantiation. This is not intended to constrain its use in any implementation.behaviourPathService [pkt,oct,man]whereprocess PathService [pkt,oct,man] : noexit :=(man ? pathID : PathId? sourceService : Service? terminations : Terminations? packetType : PacketType? maxSDULength : Nat ;(PathService [pkt,oct,man]|||(hide ldp in(PathOriginator [pkt,oct,ldp](sourceService,pathID,PacketSequenceCount(0,0,0,0,0,0,0,0,0,0,0,0,0,0),packetType,maxSDULength)|[ldp]|PathTerminators [ldp, oct, pkt] (terminations,pathID)))))endproc PathServiceCCSDS 705.2-B-1 Page 3-6 May 1994CCSDS HISTORICAL DOCUMENT
CCSDS HISTORICAL DOCUMENTRECOMMENDATION FOR ADVANCED ORBITING SYSTEMS3.3.1 PathOriginator ProcessThis process accepts primitives on the [pkt] and [oct] gates, constructing packets in the case ofthe OctetString service, or checking their format in the case of the UserFormatted service.The process is passed five parameters:sourceServicepathIDinitSequenceCountpacketTypemaxSDULengththe service offered at the origination.the PathID (SAP) on which to accept primitives.used only by the OctetString service, this is updated witheach Packet sent.the value to be placed into the Packet Type field ofPackets constructed on the OctetString service.the maximum length for SDUs on this Path; taken to belength of OctetString for the OctetString service, or totallength of Packet for UserFormatted service.The variable called ‘Data’ at the [oct] gate refers to the O_SDU which is part of theOCTET_STRING.request primitive.process PathOriginator [pkt,oct,ldp] (sourceService : Service,pathID : PathID,sequenceCount : PacketSequenceCount,packetType : PacketType,maxSDULength : Nat) : noexit :=(let SAP : PathId = PathID in([sourceService Eq OctetString] ->(oct ! SAP? path : PathID? SH : SecondaryHeaderIndicator? Data : OctetString [LengthOf(Data) Le maxSDULength];[])ldp ! MakeCCSDSPacket(MakePrimaryHeader(MakePacketID(Version1, packetType,SHToSHF(SH), APIDPart(path)),MakePacketSC(PacketSequenceUnSeg, sequenceCount),ConvertNatToPL(Pred(LengthOf(Data)))),Data) ;PathOriginator [pkt,oct,ldp] (sourceService,pathID,Next(sequenceCount),packetType,maxSDULength)CCSDS 705.2-B-1 Page 3-7 May 1994CCSDS HISTORICAL DOCUMENT
Page 1 and 2: CCSDS HISTORICAL DOCUMENTConsultati
Page 3 and 4: CCSDS HISTORICAL DOCUMENTRECOMMENDA
Page 5 and 6: RECOMMENDATION FOR ADVANCED ORBITIN
Page 9 and 10: CCSDS HISTORICAL DOCUMENT1 INTRODUC
Page 11 and 12: 2.1.2 Logical Data PathsCCSDS HISTO
Page 15 and 16: 2.2.2 Relaying TableCCSDS HISTORICA
Page 19 and 20: 2.3 THE BEHAVIOURRECOMMENDATION FOR
Page 27 and 28: 2.3.4 TransferOut ProcessRECOMMENDA
Page 29 and 30: CCSDS HISTORICAL DOCUMENT3 PATH SER
Page 31 and 32: 3.2.2 Packet QueueCCSDS HISTORICAL
Page 33: CCSDS HISTORICAL DOCUMENTRECOMMENDA
Page 41 and 42: Path Protocol Test 1RECOMMENDATION
Page 43 and 44: Path Protocol Test 1aRECOMMENDATION
Page 47 and 48: Path Protocol Test3RECOMMENDATION F
Page 85 and 86:
CCSDS HISTORICAL DOCUMENTRECOMMENDA
Page 87 and 88:
Path Protocol Test 12RECOMMENDATION
Page 89 and 90:
RECOMMENDATION FOR ADVANCED ORBITIN
Page 91 and 92:
Page 93 and 94:
Page 95 and 96:
Page 97 and 98:
Page 99 and 100:
Page 101 and 102:
Page 103 and 104:
Page 105 and 106:
Page 107 and 108:
Page 109 and 110:
Path Service Test 1RECOMMENDATION F
Page 111 and 112:
Page 113 and 114:
Page 115 and 116:
Page 117 and 118:
Path Service Test 3aRECOMMENDATION
Page 119 and 120:
Page 121 and 122:
Page 123 and 124:
Page 125 and 126:
Path Service Test 5aRECOMMENDATION
Page 127 and 128:
Page 129 and 130:
Page 131 and 132:
Page 133 and 134:
Page 135 and 136:
show all

705x2b1s - CCSDS

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?