Reliable and Precise WCET Determination for a Real-Life Processor
作者： Christian Ferdinand , Reinhold Heckmann , Marc Langenbach , Florian Martin , Michael Schmidt
关键词: Computer science 、 Execution time 、 Task (project management) 、 Modular design 、 Pipeline (software) 、 Reliability (computer networking) 、 Processor design 、 Real-time operating system 、 Software development 、 Embedded system
摘要: The USES-groupat the Universitat des Saarlandes follows an approach to compute reliable run-time guarantees which is both wellbased on theoretical foundations and practical from a software engineering efficiency point of view. Several aspects are essential USES approach: resulting system modular by structuring task into sequence subtasks, tackled with appropriate methods. Generic generative methods used whenever possible. These principles lead understandable, maintainable, efficient, provably correct system. This paper gives overview in WCET determination. A fully functional prototype for Motorola ColdFire MCF 5307 processor presented, implications design predictability behavior described, experiences analyzing applications running this reported.
springer.com
acm.org 
researchgate.net 
sci-hub.st 参考文章(12)
Christian Ferdinand, Reinhard Wilhelm, On Predicting Data Cache Behavior for Real-Time Systems languages compilers and tools for embedded systems. pp. 16- 30 ,(1998) , 10.1007/BFB0057777
Ravi Sethi, Jeffrey D. Ullman, Alfred V. Aho, Compilers: Principles, Techniques, and Tools ,(1986)
Flemming Nielson, Chris Hankin, Hanne R. Nielson, Principles of program analysis ,(1999)
Florian Martin, Martin Alt, Reinhard Wilhelm, Christian Ferdinand, Analysis of Loops compiler construction. pp. 80- 94 ,(1998) , 10.1007/BFB0026424
Henrik Theiling, Generating Decision Trees for Decoding Binaries languages, compilers, and tools for embedded systems. ,vol. 36, pp. 112- 120 ,(2001) , 10.1145/384196.384213
Patrick Cousot, Radhia Cousot, Abstract interpretation Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77. pp. 238- 252 ,(1977) , 10.1145/512950.512973
C.Y. Park, A.C. Shaw, Experiments with a program timing tool based on source-level timing schema Computer. ,vol. 24, pp. 48- 57 ,(1991) , 10.1109/2.76286
Christian Ferdinand, Florian Martin, Reinhard Wilhelm, Martin Alt, Cache behavior prediction by abstract interpretation Science of Computer Programming. ,vol. 35, pp. 163- 189 ,(1999) , 10.1016/S0167-6423(99)00010-6
Florian Martin, PAG – an efficient program analyzer generator International Journal on Software Tools for Technology Transfer. ,vol. 2, pp. 46- 67 ,(1998) , 10.1007/S100090050017
H. Theiling, Extracting safe and precise control flow from binaries embedded and real time computing systems and applications. pp. 23- 30 ,(2000) , 10.1109/RTCSA.2000.896367