Skip to main content
Erschienen in: Innovations in Systems and Software Engineering 2/2018

14.05.2018 | S.I. : VECOS2017

Maximal software execution time: a regression-based approach

verfasst von: Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros

Erschienen in: Innovations in Systems and Software Engineering | Ausgabe 2/2018

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This work aims at facilitating the schedulability analysis of non-critical systems, in particular those that have soft real-time constraints, where worst-case execution times (WCETs) can be replaced by less stringent probabilistic bounds, which we call maximal execution times (METs). To this end, it is possible to obtain adequate probabilistic execution time models by separating the non-random dependency on input data from a modeling error that is purely random. The proposed approach first utilizes execution time multivariate measurements for building a multiple regression model and then uses the theory related to confidence bounds of coefficients, in order to estimate the upper bound of execution time. Although certainly our method cannot directly achieve extreme probability levels that are usually expected for WCETs, it is an attractive alternative for MET analysis, since it can arguably guarantee safe probabilistic bounds. The method’s effectiveness is demonstrated on a JPEG decoder running on an industrial SPARC V8 processor.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Fußnoten
1
Classifying the different methods is beyond of the scope of this paper. A detailed survey of the different approaches and their classifications can found in [13].
 
2
For a higher precision, it may be possible to instrument the binary code for the target platform in a separate binary executable used only for the construction of \(P_{pp}\), and still use the non-instrumented version for the end-to-end execution time measurements on the target platform.
 
3
Industrial tools, such as the one in [12], can be used to automate this instrumentation process. We actually used this tool for the JPEG experiments presented in Sect. 6.
 
4
In general, this execution time is never 0 due to different reasons e.g., initialization; \(\beta _0\) captures this cost.
 
6
A common practice is to consider \(70\%\) for the training set and \(30\%\) for the test set.
 
7
Downloaded from Internet, presumably authored by P. Guerrier and G. Janssen 1998.
 
8
We could not obtain more measurements because the FPGA card was available for a limited period of time, and loading data into it required some manual work.
 
9
Matching PCA predictors back to the original ones (or to the ones obtained by using stepwise regression) is feasible, but requires some additional work. For simplicity, we choose not to show it here.
 
10
The small probability for the same \(\alpha \) in the case of stepwise regression is due to the fact that (6) takes into account the number of predictors p, which is greater in this case.
 
Literatur
1.
Zurück zum Zitat Bernat G, Colin A, Petters SM (2002) WCET analysis of probabilistic hard real-time system. In: Proceedings of RTSS’02, IEEE, pp 279–288 Bernat G, Colin A, Petters SM (2002) WCET analysis of probabilistic hard real-time system. In: Proceedings of RTSS’02, IEEE, pp 279–288
2.
Zurück zum Zitat Bernat G, Burns A, Newby M (2005) Probabilistic timing analysis: an approach using copulas. J Embed Comput 1(2):179–194 Bernat G, Burns A, Newby M (2005) Probabilistic timing analysis: an approach using copulas. J Embed Comput 1(2):179–194
3.
Zurück zum Zitat Betts A, Bernat G (2006) Tree-based WCET analysis on instrumentation point graphs. In: Proceedings of ISORC’06, IEEE, pp 558–565 Betts A, Bernat G (2006) Tree-based WCET analysis on instrumentation point graphs. In: Proceedings of ISORC’06, IEEE, pp 558–565
4.
Zurück zum Zitat Cucu-Grosjean L, Santinelli L, Houston M, Lo C, Vardanega T, Kosmidis L, Abella J, Mezzetti E, Quiñones E, Cazorla FJ (2012) Measurement-based probabilistic timing analysis for multi-path programs. In: Proceedings of ECRTS’12, IEEE, pp 91–101 Cucu-Grosjean L, Santinelli L, Houston M, Lo C, Vardanega T, Kosmidis L, Abella J, Mezzetti E, Quiñones E, Cazorla FJ (2012) Measurement-based probabilistic timing analysis for multi-path programs. In: Proceedings of ECRTS’12, IEEE, pp 91–101
5.
Zurück zum Zitat Draper NR, Smith H (1981) Applied regression analysis, 2nd edn. Wiley, HobokenMATH Draper NR, Smith H (1981) Applied regression analysis, 2nd edn. Wiley, HobokenMATH
6.
Zurück zum Zitat Eskenazi EM, Fioukov AV, Hammer DK (2004) Performance prediction for component compositions. In: CBSE’04, Springer, pp 280–293 Eskenazi EM, Fioukov AV, Hammer DK (2004) Performance prediction for component compositions. In: CBSE’04, Springer, pp 280–293
7.
Zurück zum Zitat Hastie T, Tibshirani R, Friedman J (2009) The elements of statistical learning: data mining, inference and prediction, 2nd edn. Springer, BerlinCrossRefMATH Hastie T, Tibshirani R, Friedman J (2009) The elements of statistical learning: data mining, inference and prediction, 2nd edn. Springer, BerlinCrossRefMATH
8.
Zurück zum Zitat Huang L, Jia J, Yu B, Chun BG, Maniatis P, Naik M (2010) Predicting execution time of computer programs using sparse polynomial regression. In: Proceedings of NIPS’10, Curran Associates Inc., USA, pp 883–891 Huang L, Jia J, Yu B, Chun BG, Maniatis P, Naik M (2010) Predicting execution time of computer programs using sparse polynomial regression. In: Proceedings of NIPS’10, Curran Associates Inc., USA, pp 883–891
9.
Zurück zum Zitat Jolliffe I (2002) Principal component analysis. Springer series in statistics. Springer, BerlinMATH Jolliffe I (2002) Principal component analysis. Springer series in statistics. Springer, BerlinMATH
10.
Zurück zum Zitat Lisper B, Santos M (2009) Model identification for WCET analysis. In: Proceedings of RTAS’09, IEEE, pp 55–64 Lisper B, Santos M (2009) Model identification for WCET analysis. In: Proceedings of RTAS’09, IEEE, pp 55–64
11.
Zurück zum Zitat Poplavko P, Nouri A, Angelis L, Zerzelidis A, Bensalem S, Katsaros P (2017) Regression-based statistical bounds on software execution time. In: Verification and evaluation of computer and communication systems—11th International conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings, pp 48–63. https://doi.org/10.1007/978-3-319-66176-6_4 Poplavko P, Nouri A, Angelis L, Zerzelidis A, Bensalem S, Katsaros P (2017) Regression-based statistical bounds on software execution time. In: Verification and evaluation of computer and communication systems—11th International conference, VECoS 2017, Montreal, QC, Canada, August 24–25, 2017, Proceedings, pp 48–63. https://​doi.​org/​10.​1007/​978-3-319-66176-6_​4
13.
Zurück zum Zitat Wilhelm R, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand C, Heckmann R, Mitra T, Mueller F, Puaut I, Puschner P, Staschulat J, Stenström P (2008) The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans Embed Comput Syst 7(3):36:1–36:53CrossRef Wilhelm R, Engblom J, Ermedahl A, Holsti N, Thesing S, Whalley D, Bernat G, Ferdinand C, Heckmann R, Mitra T, Mueller F, Puaut I, Puschner P, Staschulat J, Stenström P (2008) The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans Embed Comput Syst 7(3):36:1–36:53CrossRef
Metadaten
Titel
Maximal software execution time: a regression-based approach
verfasst von
Ayoub Nouri
Peter Poplavko
Lefteris Angelis
Alexandros Zerzelidis
Saddek Bensalem
Panagiotis Katsaros
Publikationsdatum
14.05.2018
Verlag
Springer London
Erschienen in
Innovations in Systems and Software Engineering / Ausgabe 2/2018
Print ISSN: 1614-5046
Elektronische ISSN: 1614-5054
DOI
https://doi.org/10.1007/s11334-018-0314-9

Weitere Artikel der Ausgabe 2/2018

Innovations in Systems and Software Engineering 2/2018 Zur Ausgabe