TY - GEN
T1 - EDiFy
T2 - 54th Annual Design Automation Conference, DAC 2017
AU - Braams, Boudewijn
AU - Altmeyer, Sebastian
AU - Pimentel, Andy D.
PY - 2017/6/18
Y1 - 2017/6/18
N2 - Embedded real-Time systems are subjected to stringent timing constraints. Analysing their timing behaviour is therefore of great significance. So far, research on the timing behaviour of real-Time systems has been primarily focused on finding out what happens in the worst-case (i.e., finding the worst case execution time, or WCET). While a WCET estimate can be used to verify that a system is able to meet deadlines, it does not contain any further information about how the system behaves most of the time. An execution time distribution does contain this information and can provide useful insights regarding the timing behaviour of a system. In this paper, we present EDiFy, a measurement-based framework that derives execution time distributions by exhaustive evaluation of program inputs. We overcome the scalability and state-space explosion problem by i) using static analysis to reduce the input space and ii) using an anytime algorithm which allows deriving a precise approximation on the execution time distribution. We exemplify EDiFy on several benchmarks from the TACLeBench and EEMBC benchmark suites, and show that the anytime algorithm provides precise estimates already after a short time.
AB - Embedded real-Time systems are subjected to stringent timing constraints. Analysing their timing behaviour is therefore of great significance. So far, research on the timing behaviour of real-Time systems has been primarily focused on finding out what happens in the worst-case (i.e., finding the worst case execution time, or WCET). While a WCET estimate can be used to verify that a system is able to meet deadlines, it does not contain any further information about how the system behaves most of the time. An execution time distribution does contain this information and can provide useful insights regarding the timing behaviour of a system. In this paper, we present EDiFy, a measurement-based framework that derives execution time distributions by exhaustive evaluation of program inputs. We overcome the scalability and state-space explosion problem by i) using static analysis to reduce the input space and ii) using an anytime algorithm which allows deriving a precise approximation on the execution time distribution. We exemplify EDiFy on several benchmarks from the TACLeBench and EEMBC benchmark suites, and show that the anytime algorithm provides precise estimates already after a short time.
UR - http://www.scopus.com/inward/record.url?scp=85023617762&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85023617762&partnerID=8YFLogxK
U2 - 10.1145/3061639.3062233
DO - 10.1145/3061639.3062233
M3 - Conference contribution
AN - SCOPUS:85023617762
T3 - Proceedings - Design Automation Conference
BT - Proceedings of the 54th Annual Design Automation Conference 2017, DAC 2017
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 18 June 2017 through 22 June 2017
ER -