Tracealyzer - Run Time monitoring for any RTOS