Geodesic
Research and development of an algorithm for the response time estimation in multiprocessor systems under the interval uncertainty of the tasks execution times
Modelirovanie i analiz informacionnyh sistem, Tome 27 (2020) no. 2, pp. 218-233.

Voir la notice de l'article provenant de la source Math-Net.Ru

The paper presents an algorithm for the worst case response time (WCRT) estimation for multiprocessor systems with fixed-priority preemptive schedulers and the interval uncertainty of tasks execution times. Each task has a unique priority within its processor, a period, an execution time interval [BCET, WCET] and can have data dependency on other tasks. If a decrease in the execution time of the task A can lead to an increase in the response time of the another task B, then task A is called an anomalous task for task B. According to the chosen approach, in order to estimate a task's WCRT, two steps should be performed. The first one is to construct a set of anomalous tasks using the proposed algorithm for the given task. The paper provides the algorithm and the proof of its correctness. The second one is to find the WCRT estimation using a genetic algorithm. The proposed approach has been implemented software as a program in Python3. A set of experiments have been carried out in order to compare the proposed method in terms of precision and speed with two well-known WCRT estimating methods: the method that does not take into account interval uncertainty (assuming that the execution time of a given task is equal to WCET) and the brute force method. The results of the experiments have shown that, in contrast to the brute force method, the proposed method is applicable to the analysis of the real scale computing systems and also allows to achieve greater precision than the method that does not take into account interval uncertainty.
Keywords: genetic algorithm, multiprocessor systems, worst-case response times, response time analysis, scheduling anomalies, scheduling. 
@article{MAIS_2020_27_2_a5,
     author = {M. G. Gonopolskiy and A. B. Glonina},
     title = {Research and development of an algorithm for the response time estimation in multiprocessor systems under the interval uncertainty of the tasks execution times},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {218--233},
     publisher = {mathdoc},
     volume = {27},
     number = {2},
     year = {2020},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2020_27_2_a5/}
}
TY  - JOUR
AU  - M. G. Gonopolskiy
AU  - A. B. Glonina
TI  - Research and development of an algorithm for the response time estimation in multiprocessor systems under the interval uncertainty of the tasks execution times
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2020
SP  - 218
EP  - 233
VL  - 27
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2020_27_2_a5/
LA  - ru
ID  - MAIS_2020_27_2_a5
ER  - 
%0 Journal Article
%A M. G. Gonopolskiy
%A A. B. Glonina
%T Research and development of an algorithm for the response time estimation in multiprocessor systems under the interval uncertainty of the tasks execution times
%J Modelirovanie i analiz informacionnyh sistem
%D 2020
%P 218-233
%V 27
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2020_27_2_a5/
%G ru
%F MAIS_2020_27_2_a5
M. G. Gonopolskiy; A. B. Glonina. Research and development of an algorithm for the response time estimation in multiprocessor systems under the interval uncertainty of the tasks execution times. Modelirovanie i analiz informacionnyh sistem, Tome 27 (2020) no. 2, pp. 218-233. http://geodesic.mathdoc.fr/item/MAIS_2020_27_2_a5/

[1] N. Holsti, T. Langbacka, S. Saarinen, “Using a Worst-Case Execution Time Tool for Real-Time Verification of the DEBIE Software”, EUROPEAN SPACE AGENCY-PUBLICATIONS-ESA SP, 457, 2000, 307–312

[2] C. Liu, J. H. Anderson, “Task Scheduling with Self-Suspensions in Soft Real-Time Multiprocessor Systems”, 2009 30th IEEE Real-Time Systems Symposium, 2009, 425–436

[3] J. C. P. Gutierrez, J. J. G. Garcia, M. G. Harbour, “Best-Case Analysis for Improving the Worst-Case Schedulability Test for Distributed Hard Real-Time Systems”, Proceedings of 10th EUROMICRO Workshop on Real-Time Systems, 1998, 35–44 | DOI

[4] C. L. Liu, J. W. Layland, “Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment”, Journal of the ACM (JACM), 20:1 (1973), 46–61 | DOI | MR | Zbl

[5] J. Kim and et al, “An ILP-Based Worst-Case Performance Analysis Technique for Distributed Real-Time Embedded Systems”, Proceedings of IEEE 33rd Real-Time Systems Symposium, 2012, 363–372

[6] R. Wilhelm, “Why AI+ILP is Good for WCET, but MC is not, nor ILP Alone”, International Workshop on Verification, Model Checking, and Abstract Interpretation, 2004, 309–322

[7] A. Brekling, M. R. Hansen, J. Madsen, “Models and Formal Veri-cation of Multiprocessor System-on-Chips”, Journal of Logic and Algebraic Programming, 77:1-2 (2008), 1–19 | DOI | MR | Zbl

[8] J. Kany, S. Madsen, Design Optimisation of Fault-Tolerant Event-Triggered Embedded Systems, PhD thesis, Doctoral dissertation, Master's thesis, Tech. Univ. of Denmark, Lyngby, Denmark, 2007, 176 pp.

[9] J. Kim and et al., “A Novel Analytical Method for Worst Case Response Time Estimation of Distributed Embedded Systems”, Proceedings of 50th ACM/EDAC/IEEE Design Automation Conference (DAC), 2013, 1–10 | Zbl

[10] K. Tindell, J. Clark, “Holistic Schedulability Analysis for Distributed Hard Real-Time Systems”, Microprocessing and microprogramming, 40:2-3 (1994), 117–134 | DOI

[11] R. I. Davis and et al, “Controller Area Network (CAN) Schedulability Analysis: Refuted, Revisited and Revised”, Real-Time Systems, 35:3 (2007), 239–272 | DOI

[12] J. C. Palencia, M. G. Harbour, “Schedulability Analysis for Tasks with Static and Dynamic Offsets”, Proceedings 19th IEEE Real-Time Systems Symposium, 1998, 26–37 | DOI

[13] O. Redell, “Analysis of Tree-Shaped Transactions in Distributed Real-Time Systems”, Proceedings of 16th Euromicro Conference on Real-Time Systems, 2004, 239–248

[14] S. Samii, S. Rafiliu, P. Eles, Z. Peng, “A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems”, Proceedings of the Conference on Design, Automation and Test in Europe, 2008, 556–561 | DOI

[15] R. Racu, R. Ernst, “Scheduling Anomaly Detection and Optimization for Distributed Systems with Preemptive Task-Sets”, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), 2006, 325–334

[16] V. M. Kureychik, Geneticheskiye algoritmy i ih primeneniye, Izd-vo TRTU, Taganrog, 2002, 244 pp.

[17] A. B. Glonina, “Programmnoye sredstvo modelirovaniya modulnyh vychislitelnih sistem dlya proverki dopustimosti ih konfiguratsiy”, Programmniye produkty i sistemy, 30:4 (2017), 574–582