705x2b1s - CCSDS

More documents

Recommendations

Info

CCSDS HISTORICAL DOCUMENTRECOMMENDATION FOR ADVANCED ORBITING SYSTEMSThis is just a dummy process used to contain the test behaviour:process ppt1a (packetType : PacketType,dataLossFlag : Bool) : noexit :=(hide pkt, oct, man, snw in(test[pkt, oct, man, snw]|[pkt, oct, man, snw]|PathProtocol[pkt, oct, man, snw] (packetType, dataLossFlag)))whereThis is the test behaviour:process test[pkt,oct,man,snw] : exit :=hide success, failure in((Attempt to send an octet string on a path which has not yet been set up. Acceptance of this eventleads to failure.)[](pkt ! MakePathID(APID(0,0,0,0,0,0,0,0,0,0,1),Add(1, Add(0, NullAPIDQual)))! Add(1, Add(0, NullAPIDQual))! MakeCCSDSPacket(MakePrimaryHeader(MakePacketID(Version1,PacketType(0),SHF(0),APID(0,0,0,0,0,0,0,0,0,1,0)),MakePacketSC(PacketSequenceUnSeg,PacketSequenceCount(0,0,0,0,0,0,0,0,0,0,0,0,0,0)),PacketLength(0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1)),AddFront(Octet(0,0,0,0,0,0,0,0),AddFront(Octet(0,0,0,0,0,0,0,1), NullOS))) ;failure ; exitNo choice should be offered. Only the success event should be possible as the octet string eventabove should be rejected.))success ; exitendprocendprocCCSDS 705.2-B-1 Page A-5 May 1994CCSDS HISTORICAL DOCUMENT
Path Protocol Test 2RECOMMENDATION FOR ADVANCED ORBITING SYSTEMSThis test attempts to send a user-formatted packet on a path set up as an octet source. Thissituation should be disallowed by the protocol.Run the test using the command:ts pp.t2.lot pp.lotCCSDS HISTORICAL DOCUMENTType START at the hippo prompt (after some time) and then select ppt2 from the menu. Stepthrough the events offered using the NEXT command of hippo. Eventually the success eventshould take place and the next NEXT command will result in deadlock.The choice taken when multiple events are offered is not important for the success of this test;the exception to this is that the success event should only be selected when there are noalternatives.CCSDS 705.2-B-1 Page A-6 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 41 and 42: Path Protocol Test 1RECOMMENDATION
Page 43: Path Protocol Test 1aRECOMMENDATION
Page 47 and 48: Path Protocol Test3RECOMMENDATION F
Page 49 and 50: Path Protocol Test 3aRECOMMENDATION
Page 55 and 56: Path Protocol Test 4aRECOMMENDATION
Page 95 and 96:
RECOMMENDATION FOR ADVANCED ORBITIN
Page 97 and 98:
Path Protocol Test 14RECOMMENDATION
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?