Message Races in Data Distribution Service Programs
Hyun-Ji Kim, Ok-Kyoon Ha, Yong-Kee Jun, Hee‐Dong Park · 2015
Data Distribution Service (DDS) is a dependable communication middleware architecture to provide real-time interoperable data exchanges for airborne software. It is important to efficiently detect message races for debugging DDS programs, because it is the most serious type of software faults and the presence of message races in the programs has not been reported. This paper presents fault cases how it lead to message races on the different order of events.