RECOMMENDATION FOR ADVANCED ORBITING SYSTEMSAttempt to send a user-formatted packet on an octet string path; rejected:)[](pkt ! MakePathID(APID(0,0,0,0,0,0,0,0,0,1,0),Add(1, Add(0, NullAPIDQual)))! Add(1, Add(0, NullAPIDQual))! Make<strong>CCSDS</strong>Packet(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,1,0)),AddFront(Octet(0,0,0,0,0,0,0,1),AddFront(Octet(0,0,0,0,0,0,1,0), NullOS))) ;failure ; exitAttempt to send an octet string on a user formatted path; rejected:)[](oct ! MakePathID(APID(0,0,0,0,0,0,0,0,0,1,0),Add(1, Add(1, NullAPIDQual)))! MakePathID(APID(0,0,0,0,0,0,0,0,0,1,0),Add(1, Add(1, NullAPIDQual)))! Absent! AddFront(Octet(0,0,0,0,0,0,0,0),AddFront(Octet(0,0,0,0,0,0,0,1), NullOS)) ;failure ; exitsuccess ; exit)))endprocendproc<strong>CCSDS</strong> HISTORICAL DOCUMENT<strong>CCSDS</strong> 705.2-B-1 Page A-73 May 1994<strong>CCSDS</strong> HISTORICAL DOCUMENT
Path Service Test 3RECOMMENDATION 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 tests that the secondary header flag, the sequence count, the data length, the data, the packettype and the sequence flag fields are all carried through correctly.Run the test using the command:ts ps.t3.lot ps.lotType START at the hippo prompt (after some time) and then select pst3 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 exceptions to this are that the success event which should only be chosen if there are noalternatives, and that the losepacket event should not be chosen at all.This is just a holder for the behaviourprocess pst3 : noexit :=(hide pkt, oct, man in(test[pkt, oct, man]|[pkt, oct, man]|PathService[pkt, oct, man]))whereThis is the test behaviour itself:process test[pkt,oct,man] : exit :=hide success, failure in(<strong>CCSDS</strong> HISTORICAL DOCUMENTSet up the path through the management gate:man ! MakePathID(APID(0,0,0,0,0,0,0,0,0,1,0),Add(1, Add(0, NullAPIDQual)))! UserFormatted! Add(MakeEndpoint(UserFormatted, True), CreateTL)! PacketType(0)! Succ(Succ(8)) ;<strong>CCSDS</strong> 705.2-B-1 Page A-74 May 1994<strong>CCSDS</strong> HISTORICAL DOCUMENT