Control programs for robotic systems are synchronized through the use of synchronization objects which control access to shared resources and allow for sequencing of events in separate program threads. Where necessary, partner objects generate between control programs and synchronization objects to assure uniform interaction between control program threads and synchronization objects. As all synchronization objects contain searchable partner lists, actual simulated and runtime deadlocks including any type of synchronization object can be detected, and the full system can be analyzed to identify potential deadlocks.