Message Races in Data Distribution Service Programs

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.