Verification of instrumentation techniques for resource management of real-time systems

In this paper we address the verification of instrumentation. We identify the following instruments as necessary for any RM: event times; task execution time; task deadline overrun; resource accessibility; and overall CPU utilization. To assure the core instrumentation functionality, we argue that it is required to establish bounds for the following properties: precision, uncertainty, resource usage, timeliness and intrusiveness. As a case study, we illustrate the detailed verification techniques and experimental results for the event-time instrumentation.