A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems