OASIcs.WCET.2014.93.pdf
- Filesize: 415 kB
- 10 pages
Document
Identifying Relevant Parameters to Improve WCET Analysis
Authors
-
Part of:
Volume:
14th International Workshop on Worst-Case Execution Time Analysis (WCET 2014)
Series: Open Access Series in Informatics (OASIcs)
Conference: Workshop on Worst-Case Execution Time Analysis (WCET) - License:
Creative Commons Attribution 3.0 Unported license
- Publication Date: 2014-07-08
Cite As Get 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.
Subject Classification
Keywords
- WCET Accuracy
- Modes and Configuration
- Flow Facts
- Scenario Specification
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
-
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.
-
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.
-
Matthew Emerson, Sandeep Neema, and Janos Sztipanovits. Handbook of Real-Time and Embedded Systems, chapter 6. CRC Press, 2006. ISBN: 1584886781.
-
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.
-
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.
-
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.
-
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.
-
Adrian Prantl. Towards a Static Profiler. Technical report, Vienna University of Technology, 2009.
-
Youfeng Wu and James R. Larus. Static Branch Frequency and Program Profile Analysis. In Proc. of MICRO, pages 1-11, 1994.
-
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.