Affiliation:
1. University of Luxembourg, Luxembourg and University of Ottawa, Canada
2. University of Luxembourg, Luxembourg
3. University of Ottawa, Canada
Abstract
Weakly hard real-time systems can, to some degree, tolerate deadline misses, but their schedulability still needs to be analyzed to ensure their quality of service. Such analysis usually occurs at early design stages to provide implementation guidelines to engineers so they can make better design decisions. Estimating worst-case execution times (WCET) is a key input to schedulability analysis. However, early on during system design, estimating WCET values is challenging, and engineers usually determine them as plausible ranges based on their domain knowledge. Our approach aims at finding restricted, safe WCET sub-ranges given a set of ranges initially estimated by experts in the context of weakly hard real-time systems. To this end, we leverage (1) multi-objective search aiming at maximizing the violation of weakly hard constraints to find worst-case scheduling scenarios and (2) polynomial logistic regression to infer safe WCET ranges with a probabilistic interpretation. We evaluated our approach by applying it to an industrial system in the satellite domain and several realistic synthetic systems. The results indicate that our approach significantly outperforms a baseline relying on random search without learning and estimates safe WCET ranges with a high degree of confidence in practical time (< 23 h).
Funder
Mitacs through the Mitacs Accelerate program
European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme
NSERC of Canada under the Discovery and CRC programs
Publisher
Association for Computing Machinery (ACM)
Reference77 articles.
1. Measurement-based worst-case execution time estimation using the coefficient of variation;Abella Jaume;ACM Trans. Des. Automat. Electron. Syst.,2017
2. Luca Abeni and Tommaso Cucinotta. 2020. Adaptive partitioning of real-time tasks on multiple processors. In Proceedings of the ACM Symposium on Applied Computing (SAC’17). ACM, New York, NY, 572–579.
3. Benny Akesson, Mitra Nasri, Geoffrey Nelissen, Sebastian Altmeyer, and Robert I. Davis. 2020. An empirical survey-based study into industry practice in real-time systems. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS’20). 3–11.
4. Energy-constrained scheduling for weakly-hard real-time systems
5. Early execution time-estimation through automatically generated timing models