Anyone has a good dataset with ready-to-run source code for illustrating deadlocks in real-time system applications?

Can anyone provide/point to test code for automatically detecting deadlocks and race conditions in real-time software? Further details at SPRUCE wiki page: http://tinyurl.com/spruce-deadlocks-wiki