Toward real-time performance benchmarks for Ada
Communications of the ACM
Experiments with a Program Timing Tool Based on Source-Level Timing Schema
Computer - Special issue on real-time systems
Validation, Verification, and Testing of Computer Software
ACM Computing Surveys (CSUR)
Resource Management Middleware for Dynamic, DependableReal-Time Systems
Real-Time Systems - Special issue on challenges in design and implementation of middlewares for real time systems
Flexible Soft Real-Time Processing in Middleware
Real-Time Systems - Flexible Scheduling on Real-Time Systems
Software Evaluation for Certification
Software Evaluation for Certification
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
Experiences with service-oriented middleware for dynamic instrumentation of enterprise DRE systems
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part II
| Hi-index | 0.00 |
Dynamic resource management is an effective way to ensure that real-time systems work correctly in unpredictable environments. For mission-critical systems, dynamic resource managers (RMs) must be verified. Every RM depends on instruments to report the state of the system and its resources, so verified instrumentation is foundational to the larger goal of verified RMs. 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.