Software Distributions
ScalaTrace
Timing Analyzer for NesC/TinyOS on Mica Motes (Atmel-based)
A Feedback EDF-DVS Real-Time Scheduling Simulator
LegoSim
FSU Pthreads