06 - Systems, Subsystems and EquipmentGENERAL MESSAGE RACES IN DATA DISTRIBUTION SERVICE PROGRAMS FOR AIRBORNE SOFTWAREH.-J. Kim¹, O.-K. Ha¹, Y.-K. Jun¹; ¹Gyeongsang National University, South Korea This paper present an experimental fault case to prove the presence of general message races in Data Distribution Service (DDS) programs for airborne software |