705x2b1s - CCSDS

Path Protocol Test4RECOMMENDATION FOR ADVANCED ORBITING SYSTEMSThis test attempts to send user-formatted packets on a path which is set up as a packet source,only the valid packet should be accepted, leaving the badly formatted ones.It also tests that the secondary header flag, the sequence count, the data length, the data, thepacket type and the sequence flag fields are all carried through correctly.Run the test using the command:ts pp.t4.lot pp.lotType START at the hippo prompt (after some time) and then select ppt4 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.This process holds the test behaviour:process ppt4 (pType : PacketType,dataLossFlags : Bool) : noexit :=(hide pkt, oct, man, snw in(test[pkt, oct, man, snw]|[pkt, oct, man, snw]|PathProtocol[pkt, oct, man, snw] (pType, dataLossFlags)))whereThis is the test behaviour itself:process test[pkt,oct,man,snw] : exit :=hide success, failure in(CCSDS HISTORICAL DOCUMENTSet up the paths through the management gate:man ! MakePathID(APID(0,0,0,0,0,0,0,0,0,0,1),Add(1, Add(0, NullAPIDQual)))! Succ(Succ(8))! SubnetID(0,0,0,0,0,0,0,1)! Add(1, Add(0, NullSNSAP))! True! OctetString! Add(MakeRelay(SubnetID(0,0,0,0,0,0,1,0),Add(1, Add(0, NullSNSAP)),Add(1, NullSNSAP)),CreateRT) ;CCSDS 705.2-B-1 Page A-12 May 1994CCSDS HISTORICAL DOCUMENT