define format of RTPS data messages

GaloisInc / daedalus

The Daedalus data description language

BSD 3-Clause "New" or "Revised" License

66 stars 11 forks source link

Open wrharris opened 3 years ago

wrharris commented 3 years ago

Define the format of RTPS messages. An informal specification of the format is at https://www.omg.org/spec/DDSI-RTPS/.

The main structure of messages is given in Sec. 8.3.

Serialized representations of types for UDP/IP are given in Sec. 9.3.2.

wrharris commented 3 years ago

Current status: skeleton definition of message is complete. Open items:

needs to be integrated with payload definitions generated by RTI. Currently unclear when to call which payload parsers; discussing with @simonjwinwood;
integrating with JPEG parser for validation.

wrharris commented 3 years ago

Pushed stable version that passed hackathon3. Some small subformats left to refine (commented).

wrharris commented 3 years ago

The subformats left to fully define are UserDataQosPolicy through DomainId. They're commented with

-- relaxed definition. Refine as needed.