705x2b1s - CCSDS

More documents

Recommendations

Info

CCSDS HISTORICAL DOCUMENTRECOMMENDATION FOR ADVANCED ORBITING SYSTEMStype SNSAP is Bit, Booleansorts SNSAPopns NullSNSAP : -> SNSAPAdd: Bit, SNSAP -> SNSAP_Eq_, _Ne_ : SNSAP, SNSAP -> Booleqnsforall b1, b2 : Bit, SNSAP1, SNSAP2 : SNSAPofsort BoolNullSNSAP Eq NullSNSAP = True ;NullSNSAP Eq Add(b1, SNSAP1) = False ;Add(b1, SNSAP1) Eq NullSNSAP = False ;Add(b1, SNSAP1) Eq Add(b2, SNSAP2) =(b1 Eq b2) And (SNSAP1 Eq SNSAP2) ;SNSAP1 Ne SNSAP2 = Not(SNSAP1 Eq SNSAP2) ;endtypeCCSDS 705.2-B-1 Page 2-9 May 1994CCSDS HISTORICAL DOCUMENT
2.3 THE BEHAVIOURRECOMMENDATION FOR ADVANCED ORBITING SYSTEMSIn the following description, a value of all zeroes for the initial PacketSequence Count is chosenfor convenience only. An implementation may choose to initialise this count with some othervalue.behaviourPathProtocol [pkt,oct,man,snw] (packetType, dataLossFlag)whereCCSDS HISTORICAL DOCUMENTprocess PathProtocol [pkt,oct,man,snw] (packetType : PacketType,dataLossFlag : Bool) : noexit :=((man ? pathID : PathId? pathServiceType : Service? maxSDULength : Nat? onwardRelayingTable : RelayingTable ;(PathOriginator [pkt, oct, snw](pathServiceType,pathID,PacketSequenceCount(0,0,0,0,0,0,0,0,0,0,0,0,0,0),packetType,maxSDULength,onwardRelayingTable)|||PathProtocol [pkt,oct,man,snw] (packetType, dataLossFlag)))[](man ? pathID : PathId? maxSDULength : Nat? subnetID : SubnetID? SNSAP : SNSAP? localTerminationFlag : Bool? terminatingPathServiceType : Service? onwardRelayingTable : RelayingTable ;(PathRelayer [pkt, oct, snw](terminatingPathServiceType,pathID,localTerminationFlag,onwardRelayingTable,subnetID,SNSAP,maxSDULength,dataLossFlag)|||PathProtocol [pkt,oct,man,snw] (packetType, dataLossFlag))))endproc PathProtocolCCSDS 705.2-B-1 Page 2-10 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 17: RECOMMENDATION FOR ADVANCED ORBITIN
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 41 and 42: Path Protocol Test 1RECOMMENDATION
Page 43 and 44: Path Protocol Test 1aRECOMMENDATION
Page 45 and 46: Path Protocol Test 2RECOMMENDATION
Page 47 and 48: Path Protocol Test3RECOMMENDATION F
Page 69 and 70:
Path Protocol Test7RECOMMENDATION F
Page 71 and 72:
RECOMMENDATION FOR ADVANCED ORBITIN
Page 73 and 74:
Path Protocol Test8RECOMMENDATION F
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Path Protocol Test 10RECOMMENDATION
Page 81 and 82:
Page 83 and 84:
CCSDS HISTORICAL DOCUMENTRECOMMENDA
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
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?