Institution:
RESTK is a statistical tool based on Markov’s Inequality that estimates very reliable worst-case execution times from measured data. By analyzing execution-time samples, it provides guarantees that deadlines will be met with extremely high confidence. This is essential for safety-critical systems in fields like aviation, automotive, and healthcare. The tool works with data from any platform and runs in R, making it broadly usable. More accurate timing estimates can also allow systems to run with fewer resources, indirectly improving energy efficiency.
