Generalizing parametric timing analysis

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn , Issue , 2007, Pages 152-154

  Coffman, Joel ^a   Healy, Christopher ^a   Mueller, Frank ^b   Whalley, David ^c  

^a FURMAN UNIVERSITY   (United States)

^b North Carolina State University

^c Florida State University

Author keywords

Parametric timing analysis; Worst case execution time (WCET) analysis

Indexed keywords

DATA STRUCTURES; ITERATIVE DECODING; POLYNOMIAL APPROXIMATION; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; SUPERVISORY AND EXECUTIVE PROGRAMS;

PARAMETRIC TIMING ANALYSIS; PARAMETRIC TIMING ANALYZERS; WORST-CASE EXECUTION TIME (WCET) ANALYSIS;

EMBEDDED SYSTEMS;

EID: 34547994333     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1254766.1254795     Document Type: Conference Paper

References (10)

1. 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.
2. 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.
3. 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.
4. Healy, C., Automatic Utilization of Constraints for Timing Analysis, Ph.D. Thesis, Florida State University, 1999.
5. 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.
6. 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.
7. th ACM symposium on Operating Systems Principles, 2001, pp. 89-102.
8. th IMACS World Congress on Scientific Computation, Modeling and Applied Mathematics, 1997.
9. 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.
10. th IEEE Real-Time and Embedded Technology and Applications Symposium, April 2006, pp. 361-372.