Identifying Relevant Parameters to Improve WCET Analysis

Authors Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, Philippe Cuenot



PDF
Thumbnail PDF

File

OASIcs.WCET.2014.93.pdf
  • Filesize: 415 kB
  • 10 pages

Document Identifiers

Author Details

Jakob Zwirchmayr
Pascal Sotin
Armelle Bonenfant
Denis Claraz
Philippe Cuenot

Cite AsGet BibTex

Jakob Zwirchmayr, Pascal Sotin, Armelle Bonenfant, Denis Claraz, and Philippe Cuenot. Identifying Relevant Parameters to Improve WCET Analysis. In 14th International Workshop on Worst-Case Execution Time Analysis. Open Access Series in Informatics (OASIcs), Volume 39, pp. 93-102, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
https://doi.org/10.4230/OASIcs.WCET.2014.93

Abstract

Highly-configurable systems usually depend on a large number of parameters imposed by both hardware and software configuration. Due to the pessimistic assumptions of WCET analysis, if left unspecified, they deteriorate the quality of WCET analysis. In such a case, supplying the WCET analyzer with additional information about parameters (a scenario), e.g. possible variable ranges or values, allows reducing WCET over-estimation, either by improving the estimate, or by validating the initial estimate for a specific configuration or mode of execution. Nevertheless, exhaustively specifying constraints on all parameters is usually infeasible and identifying relevant ones (i.e. those impacting the WCET) is difficult. To address this issue, we propose the branching statement analysis, which uses a source-based heuristic to compute branch weights and that aims at listing unbalanced conditionals that correspond to system parameters. The goal is to help system-experts identify and formulate concise scenarios about modes or configurations that have a positive impact on the quality of the WCET analysis.
Keywords
  • WCET Accuracy
  • Modes and Configuration
  • Flow Facts
  • Scenario Specification

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Clément Ballabriga, Hugues Cassé, Christine Rochange, and Pascal Sainrat. OTAWA: an Open Toolbox for Adaptive WCET Analysis. In Proc. of IFIP Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS), 2010. Google Scholar
  2. Florian Brandner, Stefan Hepp, and Alexander Jordan. Static Profiling of the Worst-case in Real-time Programs. In Proc. of RTNS, pages 101-110, 2012. Google Scholar
  3. Matthew Emerson, Sandeep Neema, and Janos Sztipanovits. Handbook of Real-Time and Embedded Systems, chapter 6. CRC Press, 2006. ISBN: 1584886781. Google Scholar
  4. Stefan Valentin Gheorghita, Sander Stuijk, Twan Basten, and Henk Corporaal. Automatic Scenario Detection for Improved WCET Estimation. In Proc. of DAC, pages 101-104, 2005. Google Scholar
  5. Susan L. Graham, Peter B. Kessler, and Marshall K. Mckusick. Gprof: A call graph execution profiler. In Proc. of SIGPLAN Symposium on Compiler Construction, pages 120-126, 1982. Google Scholar
  6. Jan Gustafsson, Adam Betts, Andreas Ermedahl, and Björn Lisper. The Mälardalen WCET Benchmarks: Past, Present And Future. In Proc. of WCET, pages 136-146, 2010. Google Scholar
  7. Marianne De Michiel, Armelle Bonenfant, Hugues Cassé, and Pascal Sainrat. Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation. In Proc. of RTCSA, Taiwan, 2008. Google Scholar
  8. Adrian Prantl. Towards a Static Profiler. Technical report, Vienna University of Technology, 2009. Google Scholar
  9. Youfeng Wu and James R. Larus. Static Branch Frequency and Program Profile Analysis. In Proc. of MICRO, pages 1-11, 1994. Google Scholar
  10. Jakob Zwirchmayr, Armelle Bonenfant, Marianne de Michiel, Hugues Cassé, Laura Kovacs, and Jens Knoop. FFX: A Portable WCET Annotation Language. In Proc. of RTNS, pages 91-100, 2012. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail