Measuring the real-time operating system performance | IEEE Conference Publication | IEEE Xplore