Beyond loop bounds: comparing annotation languages for worst-case execution time analysis-Reference-Cited by-同舟云学术

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis

Published:2010-04-09 Issue:3 Volume:10 Page:411-437
ISSN:1619-1366
Container-title:Software & Systems Modeling
language:en
Short-container-title:Softw Syst Model

Author:

Kirner Raimund,Knoop Jens,Prantl Adrian,Schordan Markus,Kadlec Albrecht

Publisher

Springer Science and Business Media LLC

Subject

Modeling and Simulation,Software

Link

http://www.springerlink.com/index/pdf/10.1007/s10270-010-0161-0

Reference69 articles.

1. AbsInt. aiT. Web page. http://www.absint.com/aiT . Accessed online in February (2010)

2. Aho A.V., Lam M.S., Sethi R., Ullman J.D.: Compilers, Principles, Techniques, and Tools. Addison-Wesley, New York (2007) ISBN 0-321-48681-1

3. Ballabriga, C., Cassé, H., Nemer, F., Rochange, C., Sainrat, P.: OTAWA. Online Program Documentation. University of Toulouse, France. http://www.otawa.fr/ (2008)

4. Bernat, G., Colin, A., Petters, S.M.: WCET analysis of probabilistic hard real-time systems. In: Proceedings of the 23rd Real-Time Systems Symposium, December, pp. 279–288, Austin, TX, USA (2002)

5. Bodík R., Gupta R., Soffa M.L.: Refining data flow information using infeasible paths. SIGSOFT Softw. Eng. Notes 22(6), 361–377 (1997)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Predictable and optimized single-path code for predicated processors;Journal of Systems Architecture;2024-09

2. Annotate once – analyze anywhere: context-aware WCET analysis by user-defined abstractions;Proceedings of the 22nd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems;2021-06-22

3. Proving Real-Time Capability of Generic Operating Systems by System-Aware Timing Analysis;2019 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS);2019-04

4. Performance Prediction for Families of Data-Intensive Software Applications;Companion of the 2018 ACM/SPEC International Conference on Performance Engineering;2018-04-02

5. High-assurance timing analysis for a high-assurance real-time operating system;Real-Time Systems;2017-07-27