The model of software execution time remote testing

Ratybor Chopey1 chopey.ratybor [at] gmail.com
Bohdan Knysh1 knysh.bohdan [at] gmail.com
Dmytro Fedasyuk1 fedasyuk [at] gmail.com
  1. Software Department, Lviv Polytechnic National University, UKRAINE, Lviv, S. Bandery street 12
Abstract 

The work deals with the problems of testing embedded systems in the case when the latter are geographically distributed, which is gradually getting more common. The analysis of the application domain has revealed the lack of information concerning remote testing of the execution time of an embedded system. The authors have investigated into the possibility of evaluating the duration of time-critical functions of a distant embedded system. We’ve introduced a model and an algorithm for measuring the firmware execution time remotely that sustained approbation with a number of experiments

References 

[1] M. Wahler, E. Ferranti, R. Steiger, R. Jain and K. Nagy, "CAST: Automating Software Tests for Embedded Systems", 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, 2012.

[2] R. Kirner, "The WCET Analysis Tool CalcWcet167", Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, pp. 158-172, 2012.

[3] D. Fedasyuk, R. Chopey and B. Knysh, "Architecture of a tool for automated testing the worst-case execution time of real-time embedded systems' firmware", 2017 14th International Conference The Experience of Designing and Application of CAD Systems in Microelectronics (CADSM), 2017.

[4] J. Engblom, A. Ermedahl and F. Stappert, "Structured Testing of Worst-Case Execution Time Analysis Methods", in 21st Real-Time System Symposium, Orlando, 2000, pp. 154–163.

[5] J. Perpiñán, "Remote Testing of Embedded Software", Software Quality, pp. 259-271, 2001.

[6] "Application Note 198: Using the uVision Socket Interface", Keil.com, 2017. [Online]. Available:http://www.keil.com/appnotes/docs/apnt_198.asp.[Accessed: 29- Sep- 2017].

[7] M. Klumash, O. Lavriv, B. Buhyl and R. Bak, "Model' zabezpechennya parametriv yakosti obsluhovuvannya systemy rozpodilu mul'tyservisnoho trafiku", Visnyk Natsional'noho universytetu "L'vivs'ka politekhnika", vol. 705, pp. 138-144, 2011.

[8] K. Trubchaninova and K. Polyakova, "Doslidzhennya propusknoyi zdatnosti merezhi dostupu v zalezhnosti vid typu abonenta", Informatsiyno-keruyuchi systemy na zaliznychnomu transporti, vol. 5, pp. 23-28, 2013.