Analyzing Stochastic Fixed-Priority Real-Time Systems
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Probabilistic performance guarantee for real-time tasks with varying computation times
RTAS '95 Proceedings of the Real-Time Technology and Applications Symposium
Statistical Rate Monotonic Scheduling
RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Stochastic Analysis of Periodic Real-Time Systems
RTSS '02 Proceedings of the 23rd IEEE Real-Time Systems Symposium
Statistical Analysis of WCET for Scheduling
RTSS '01 Proceedings of the 22nd IEEE Real-Time Systems Symposium
Pessimism in the Stochastic Analysis of Real-Time Systems: Concept and Applications
RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
An Exact Stochastic Analysis of Priority-Driven Periodic Real-Time Systems and Its Approximations
IEEE Transactions on Computers
Aperiodic traffic in response time analyses with adjustable safety
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Efficient Stochastic Analysis of Real-Time Systems via Random Sampling
ECRTS '10 Proceedings of the 2010 22nd Euromicro Conference on Real-Time Systems
A new way about using statistical analysis of worst-case execution times
ACM SIGBED Review - Work-in-Progress (WiP) Session of the 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011)
Measurement-Based Probabilistic Timing Analysis for Multi-path Programs
ECRTS '12 Proceedings of the 2012 24th Euromicro Conference on Real-Time Systems
Hi-index | 0.00 |
Guaranteeing timing constraints is the main purpose of analyses for real-time systems. The satisfaction of these constraints may be verified with probabilistic methods (relying on statistical estimations of certain task parameters) offering both hard and soft guarantees. In this paper, we address the problem of sampling applied to the distributions of worst-case execution times. The pessimism of presented sampling techniques is then evaluated at the level of response times.