Affiliation:
1. University of Hertfordshire, United Kingdom
2. Technische Universität Wien, Austria
Abstract
Reconfigurable embedded computing opens many interesting possibilities for efficiency and reliability improvement. Still, it is necessary to verify whether the reconfigurable embedded computer system fulfills its timing requirements. Purely static worst-case execution time (WCET) analysis is not the best choice for verifying the timing behavior of reconfigurable embedded computer systems, as frequent re-modeling of different hardware configurations is not practicable. We describe measurement-based timing analysis as an approach that is better applicable for reconfigurable applications. Measurement-based timing analysis is a hybrid approach that combines static program analysis techniques, borrowed from static WCET analysis, with empirical learning of the application’s timing behavior by performing systematic measurements. But even the MBTA approach is challenged by the reconfigurable computing paradigm by the need for adequate coverage of the reconfigurable fabric.
Reference40 articles.
1. Berg, C. (2006). PLRU Cache Domino Effects. In Proc 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.
2. Bernat, G., Colin, A., & Petters, S. M. (2002). WCET Analysis of Probabilistic Hard Real-Time Systems. In Proc. 23rd IEEE Real-Time Systems Symposium, (pp. 279-288).
3. Betts, A., & Bernat, G. (2006). Tree-Based WCET Analysis on Instrumentation Point Graphs. In Proc. 9th IEEE International Symposium on Object-oriented Real-time distributed Computing.
4. A Tool for Checking ANSI-C Programs;E.Clarke;LNCS 2988,2004