ABSTRACT
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis that deadlines are not missed. Static WCET analysis is performed by a timing analysis tool. This paper describes novel improvements to such a tool, allowing parametric timing analysis to be performed. Parametric timing analyzers receive an upper bound on the number of loop iterations in terms of an expression which is used to create a parametric formula. This parametric formula is later evaluated to determine the WCET based on input values only known at runtime. Effecting a transformation from a numeric to a parametric timing analyzer requires two innovations: 1) a summation solver capable of summation non-constant expressions and 2) a polynomial data structure which can replace integers as the basis for all calculations. Both additions permit other methods of analysis (e.g. caching, pipeline, constraint) to occur simultaneously. Combining these techniques allows our tool to statically bound the WCET for a larger class of benchmarks.
- Aydin, H., Melhem, R., Mosse, D., and Mejia-Alvarez, P., "Power-Aware Scheduling for Periodic Real-Time Tasks," IEEE Transactions on Computers, 53, 5 (May 2004), pp. 584--600. Google Scholar
Digital Library
- Benitez, M.E., and Davidson, J.W., "A Portable Global Optimizer and Linker," Proceedings of the SIGPLAN '88 Symposium on Programming Language Design and Implementation, June 1988, pp. 77 -- 98. Google Scholar
Digital Library
- Healy, C., and Whalley, D., "Automatic Detection and Exploitation of Branch Constraints for Timing Analysis," IEEE Transactions on Software Engineering, August 2002, pp. 763 -- 781. Google Scholar
Digital Library
- Healy, C., Automatic Utilization of Constraints for Timing Analysis, Ph.D. Thesis, Florida State University, 1999. Google Scholar
Digital Library
- Ko, L., Al-Yaqoubi, N., Healy, C., Ratliff, E., Arnold, R., Whalley, D., and Harmon, M., "Timing Constraint Specification and Analysis," Software Practice and Experience, January 1999, pp. 77 -- 98. Google Scholar
Digital Library
- Mohan, S., Mueller, F., Hawkins, W., Root, M., Healy, C., and Whalley, D., "ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling," Proceedings of the IEEE Real-Time Systems Symposium, December 2005, pp. 233 -- 242. Google Scholar
Digital Library
- Pillai, P., and Shin, K., "Real-Time Dynamic Voltage Scaling for Low-Power Embedded Operating Systems," Proceedings of the 18 th ACM symposium on Operating Systems Principles, 2001, pp. 89 -- 102. Google Scholar
Digital Library
- Sakellariou, R., Symbolic Evaluation of Sums for Parallelising Compilers, Wissenchaft & Technik Verlag, Proceedings of the 15 th IMACS World Congress on Scientific Computation, Modeling and Applied Mathematics, 1997.Google Scholar
- Vivancos, E., Healy, C., Mueller F., and Whalley, D., "Parametric Timing Analysis," Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, June 2001, pp. 88 -- 93. Google Scholar
Digital Library
- Zinner, C., and Kubinger, W., "ROS-DMA: a DMA Double Buffering Method for Embedded Image Processing with Resource Optimized Slicing," Proceedings of the 12 th IEEE Real-Time and Embedded Technology and Applications Symposium, April 2006, pp. 361 -- 372. Google Scholar
Digital Library
Index Terms
Generalizing parametric timing analysis
Recommendations
Generalizing parametric timing analysis
Proceedings of the 2007 LCTES conferenceIn the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis that deadlines are not missed. Static WCET analysis is performed by a timing ...
Addressing Dynamic Dispatching Issues in WCET Analysis for Object-Oriented Hard Real-Time Systems
ISORC '02: Proceedings of the Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed ComputingThere is a trend towards using object-oriented programming languages to develop hard real-time applications. However, some object-oriented features, such as dynamic dispatching and dynamic loading, are prohibited from being used in hard real-time ...
Parametric Timing Analysis
OM '01: Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systemsEmbedded systems often have real-time constraints. Traditional timing analysis statically determines the maximum execution time of a task or a program in a real-time system. These systems typically depend on the worst-case execution time of tasks in ...







Comments