705x2b1s - CCSDS

More documents

Recommendations

Info

CCSDS HISTORICAL DOCUMENTRECOMMENDATION FOR ADVANCED ORBITING SYSTEMSprocess TerminationsGenerator [next, pkt, oct, ldp] : noexit :=(next ? Path : PathID? Termination : Endpoint ;(hide losepacket in(PathTerminator [pkt, oct, ldp, losepacket](Termination,Path,create,OSDUNotLost)|[ldp]|TerminationsGenerator [next, pkt, oct, ldp])))whereprocess PathTerminator [pkt, oct, ldp, losepacket](Termination : EndPoint,Path : PathID,Queue : PacketQueue,LossFlag : DataLossIndicator) : noexit :=((ldp ? Packet : CCSDSPacket ;PathTerminator [pkt, oct, ldp, losepacket](Termination,Path,AddBack(Packet, Queue),LossFlag))[][Queue Ne Create] ->([Service(Termination) Eq OctetString] ->([DataLossFlag(Termination) Eq False] ->((oct ! Path! Path! SHFToSH(GetSHF(GetPrimaryHeader(First(Queue))))! GetUserData(First(Queue)) ;PathTerminator [pkt, oct, ldp, losepacket](Termination,Path,RemoveFirst(Queue),LossFlag))[](losepacket ;PathTerminator [pkt, oct, ldp, losepacket](Termination,Path,RemoveFirst(Queue),LossFlag)))[]CCSDS 705.2-B-1 Page 3-10 May 1994CCSDS HISTORICAL DOCUMENT
CCSDS HISTORICAL DOCUMENTRECOMMENDATION FOR ADVANCED ORBITING SYSTEMS[DataLossFlag(Termination) Eq True] ->((oct ! Path! Path! SHFToSH(GetSHF(GetPrimaryHeader(First(Queue))))! GetUserData(First(Queue))! LossFlag ;PathTerminator [pkt, oct, ldp, losepacket](Termination,Path,RemoveFirst(Queue),OSDUNotLost))[](losepacket ;PathTerminator [pkt, oct, ldp, losepacket](Termination,Path,RemoveFirst(Queue),OSDULost))))[][Service(Termination) Eq UserFormatted] ->((pkt ! Path! QualifierPart(Path)! First(Queue) ;PathTerminator [pkt, oct, ldp, losepacket](Termination,Path,RemoveFirst(Queue),LossFlag))[](losepacket ;PathTerminator [pkt, oct, ldp, losepacket](Termination,Path,RemoveFirst(Queue),LossFlag)))))endproc PathTerminatorendproc TerminationsGeneratorendproc PathTerminatorsendspecCCSDS 705.2-B-1 Page 3-11 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 37: 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 89 and 90:
RECOMMENDATION FOR ADVANCED ORBITIN
Page 91 and 92:
Path Protocol Test 13RECOMMENDATION
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:
CCSDS HISTORICAL DOCUMENTRECOMMENDA
Page 131 and 132:
Page 133 and 134:
Page 135 and 136:
show all

705x2b1s - CCSDS

Create successful ePaper yourself

Delete template?

Save as template?