705x2b1s - CCSDS

More documents

Recommendations

Info

CCSDS HISTORICAL DOCUMENTRECOMMENDATION FOR ADVANCED ORBITING SYSTEMS2.2 ABSTRACT DATA TYPESlibraryPathID, ApidQualifier, CCSDSPacket, Boolean, Bit,NaturalNumber, SecondaryHeaderIndicator,OctetString, DataLossIndicatorendlib2.2.1 Service TypeThe Service type describes the two flavours of service available at the Path SAPs; Packet, wherethe user passes CCSDS Packets across the service interface and OctetString, where the userpasses a block of data across the service interface. The Packet service is referred to in theLOTOS as ‘UserFormatted’ to avoid confusion with other uses of the term ‘Packet’.type Service is Booleansorts Serviceopns UserFormatted : -> ServiceOctetString: -> Service_Ne_: Service, Service -> Bool_Eq_: Service, Service -> Booleqns forall S1, S2 : Serviceofsort BoolendtypeUserFormatted Eq UserFormattedUserFormatted Eq OctetStringOctetString Eq UserFormattedOctetString Eq OctetStringS1 Ne S2= True;= False;= False;= True;= Not (S1 Eq S2);CCSDS 705.2-B-1 Page 2-5 May 1994CCSDS HISTORICAL DOCUMENT
2.2.2 Relaying TableCCSDS HISTORICAL DOCUMENTRECOMMENDATION FOR ADVANCED ORBITING SYSTEMSThis ADT is part of the management information base for the Path protocol. At the moment thisis not the subject of CCSDS standardisation. The following description therefore represents aminimum set of data required to allow the Path protocol to function and should not constrainfuture implementations.type RelayingTable is Relaysorts RelayingTableopns CreateRT : -> RelayingTableAdd: Relay, RelayingTable -> RelayingTableTail: RelayingTable -> RelayingTableHead: RelayingTable -> Relayeqns forall R1, R2 : Relay, RT : RelayingTableofsort RelayHead(CreateRT)= NULLRelay;Head(Add(R1, CreateRT)) = R1;Head(Add(R1, Add(R2, RT)))= Head(Add(R2, RT));ofsort RelayingTableendtypeTail(CreateRT)Tail(Add(R1, CreateRT))Tail(Add(R1, Add(R2, RT)))= CreateRT;= CreateRT;= Add(R1, Tail(Add(R2, RT)));CCSDS 705.2-B-1 Page 2-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 13: RECOMMENDATION FOR ADVANCED ORBITIN
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 and 44: Path Protocol Test 1aRECOMMENDATION
Page 45 and 46: Path Protocol Test 2RECOMMENDATION
Page 47 and 48: Path Protocol Test3RECOMMENDATION F
Page 65 and 66:
CCSDS HISTORICAL DOCUMENTRECOMMENDA
Page 67 and 68:
Page 69 and 70:
Path Protocol Test7RECOMMENDATION F
Page 71 and 72:
RECOMMENDATION FOR ADVANCED ORBITIN
Page 73 and 74:
Path Protocol Test8RECOMMENDATION F
Page 75 and 76:
Page 77 and 78:
Page 79 and 80:
Path Protocol Test 10RECOMMENDATION
Page 81 and 82:
Page 83 and 84:
Page 85 and 86:
Page 87 and 88:
Page 89 and 90:
Page 91 and 92:
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:
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?