705x2b1s - CCSDS

Path Service Test 2RECOMMENDATION FOR ADVANCED ORBITING SYSTEMSThis test sets up an octet source and a user formatted source and then attempts to send a userformatted packet on the path set up as an octet source and an octet string on the path set up as auser formatted source.Run the test using the command:ts ps.t2.lot ps.lotType START at the hippo prompt (after some time) and then select pst2 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 with the success event which should not be chosen if alternatives areoffered.This process just holds the behaviourprocess pst2 : noexit :=(hide pkt, oct, man in(test[pkt, oct, man]|[pkt, oct, man]|PathService[pkt, oct, man]))whereThis is the test behaviour:process test[pkt,oct,man] : 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,1,0),Add(1, Add(0, NullAPIDQual)))! OctetString! Add(MakeEndpoint(OctetString, True), CreateTL)! PacketType(0)! Succ(Succ(8)) ;((man ! MakePathID(APID(0,0,0,0,0,0,0,0,0,1,0),Add(1, Add(1, NullAPIDQual)))! UserFormatted! Add(MakeEndpoint(OctetString, True), CreateTL)! PacketType(0)! Succ(Succ(8)) ;CCSDS 705.2-B-1 Page A-72 May 1994CCSDS HISTORICAL DOCUMENT