 |
Free and accessible knowledge |
Conference papers
Expressing and exploiting path conflicts in WCET analysis
Abstract : The presence of infeasible paths in a program is a source of imprecision in the Worst-Case Execution Time (WCET) analysis. Detecting, expressing and exploiting such paths can improve the WCET estimation or, at least, improve the confidence we have in estimation precision. In this article, we propose an extension of the FFX format to express conflicts over paths and we detail two ways of enhancing the WCET analyses with that information. We demonstrate and compare these techniques on the Mälardalen benchmark suite and on C code generated from Esterel.
Cited literature [11 references]
https://hal.archives-ouvertes.fr/hal-01682967
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Friday, January 12, 2018 - 4:20:57 PM
Last modification on : Tuesday, June 14, 2022 - 12:13:57 PM
Long-term archiving on: : Sunday, May 6, 2018 - 5:34:37 PM
Contributor : Open Archive Toulouse Archive Ouverte (OATAO) Connect in order to contact the contributor
Submitted on : Friday, January 12, 2018 - 4:20:57 PM
Last modification on : Tuesday, June 14, 2022 - 12:13:57 PM
Long-term archiving on: : Sunday, May 6, 2018 - 5:34:37 PM
File
mussot_18775.pdf
Files produced by the author(s)