Document Open Access Logo

Ahead-Of-Real-Time (ART): A Methodology for Static Reduction of Worst-Case Execution Time

Authors Daniele Cattaneo , Gabriele Magnani , Stefano Cherubin , Giovanni Agosta

Thumbnail PDF


  • Filesize: 0.54 MB
  • 10 pages

Document Identifiers

Author Details

Daniele Cattaneo
  • DEIB, Politecnico di Milano, Italy
Gabriele Magnani
  • DEIB, Politecnico di Milano, Italy
Stefano Cherubin
  • School of Computing, Edinburgh Napier University, UK
Giovanni Agosta
  • DEIB, Politecnico di Milano, Italy

Cite AsGet BibTex

Daniele Cattaneo, Gabriele Magnani, Stefano Cherubin, and Giovanni Agosta. Ahead-Of-Real-Time (ART): A Methodology for Static Reduction of Worst-Case Execution Time. In Third Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2022). Open Access Series in Informatics (OASIcs), Volume 98, pp. 4:1-4:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Precision tuning is an approximate computing technique for trading precision with lower execution time, and it has been increasingly important in embedded and high-performance computing applications. In particular, embedded applications benefit from lower precision in order to reduce or remove the dependency on computationally-expensive data types such as floating point. Amongst such applications, an important fraction are mission-critical tasks, such as control systems for vehicles or medical use-cases. In this context, the usefulness of precision tuning is limited by concerns about verificability of real-time and quality-of-service constraints. However, with the introduction of optimisations techniques based on integer linear programming and rigorous WCET (Worst-Case Execution Time) models, these constraints not only can be verified automatically, but it becomes possible to use precision tuning to automatically enforce these constraints even when not previously possible. In this work, we show how to combine precision tuning with WCET analysis to enforce a limit on the execution time by using a constraint-based code optimisation pass with a state-of-the-art precision tuning framework.

Subject Classification

ACM Subject Classification
  • Computer systems organization → Real-time systems
  • Software and its engineering → Compilers
  • Mathematics of computing → Mathematical software
  • Approximate Computing
  • Precision Tuning
  • Worst-Case Execution Time


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Jaume Abella et al. Wcet analysis methods: Pitfalls and challenges on their trustworthiness. In 10th IEEE International Symposium on Industrial Embedded Systems (SIES), pages 1-10. IEEE, 2015. Google Scholar
  2. Daniele Cattaneo, Michele Chiari, Nicola Fossati, Stefano Cherubin, and Giovanni Agosta. Architecture-aware precision tuning with multiple number representation systems. In 2021 58th ACM/IEEE Design Automation Conference (DAC), pages 673-678, 2021. URL:
  3. Francisco J. Cazorla et al. Probabilistic worst-case timing analysis: Taxonomy and comprehensive survey. ACM Comput. Surv., 52(1), February 2019. URL:
  4. Stefano Cherubin and Giovanni Agosta. Tools for reduced precision computation: a survey. ACM Computing Surveys, 53(2), April 2020. URL:
  5. Stefano Cherubin, Daniele Cattaneo, Michele Chiari, and Giovanni Agosta. Dynamic precision autotuning with TAFFO. ACM Trans. Archit. Code Optim., 17(2), May 2020. URL:
  6. Stefano Cherubin, Daniele Cattaneo, Michele Chiari, Antonio Di Bello, and Giovanni Agosta. TAFFO: Tuning assistant for floating to fixed point optimization. IEEE Embedded Systems Letters, 2019. URL:
  7. Eva Darulova et al. Sound mixed-precision optimization with rewriting. In Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '18, pages 208-219, 2018. URL:
  8. Hai-Tao Fang and De-Shuang Huang. Noise reduction in lidar signal based on discrete wavelet transform. Optics Communications, 233(1):67-76, 2004. URL:
  9. Nicola Jones. How to stop data centres from gobbling up the world’s electricity. Nature, 561(7722):163-167, 2018. Google Scholar
  10. Chris Lattner and Vikram Adve. LLVM: A compilation framework for lifelong program analysis & transformation. In Proc. Int'l Symp. on Code Generation and Optimization, 2004. Google Scholar
  11. Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Soo-Mook Moon, and Chong Sang Kim. An accurate worst case timing analysis for risc processors. IEEE Transactions on Software Engineering, 21(7):593-604, 1995. URL:
  12. Laurent Perron and Vincent Furnon. OR-Tools. URL:
  13. Cindy Rubio-González et al. Precimonious: Tuning assistant for floating-point precision. In Proc. Int'l Conf. on High Performance Computing, Networking, Storage and Analysis, SC '13, pages 27:1-27:12, November 2013. URL:
  14. Phillip Stanley-Marbell et al. Exploiting errors for efficiency: a survey from circuits to applications. ACM Computing Surveys (CSUR), 53(3):1-39, 2020. Google Scholar
  15. Tomofumi Yuki. Understanding PolyBench/C 3.2 kernels. In International workshop on Polyhedral Compilation Techniques (IMPACT), 2014. Google Scholar
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail