Performance von Echtzeit-Betriebssystemen richtig messen