A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
We propose a hybrid methodology that combines machine learning-based prediction on small code sections, called hybrid blocks, with static analysis to combine the predictions to a final upper bound estimation ... In this paper, we present our work on an automated testbench for the Code Behaviour Framework (COBRA) that measures and profiles the upper bound energy consumption on the target device. ... The static analysis tools are able to use absolute energy models that provide exact numbers on the energy cost of an instruction. ...doi:10.3390/en14133914 fatcat:nuvi2csjjnhwfp2y24emz6sudq
Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
We report on our experience in applying PReGO to a use-case: a Search & Rescue application running on a fixed-wing drone with COTS components, including an NVIDIA Jetson board and a stock Ubuntu/Linux. ... All these issues limit or entirely prevent the application of established real-time analysis techniques. ... Therefore, the measured WCET/WCEC for these particular tasks cover both parts of the task. Our sequential version for the WCET analysis does not feature any parallelism. ...doi:10.1145/3425898.3426954 fatcat:i5ey76xmhnhwlonmsatzdnzjxi
OASIcs, Volume 72, WCET'19, Complete Volume ... Hybrid WCET Analysis Techniques to compute worst-case execution time information from measurements are either based on end-to-end measurements of tasks, or they construct a worst-case path from timing ... OTAWA -an open source framework to compute WCET OTAWA  is an open-source framework to build static WCET analysers. ...doi:10.4230/oasics.wcet.2019 fatcat:utry2fx3qzdmzhn22eokntnloi
However, such a tailoring will only be favorable if it can be performed without much developer interaction and in an automated fashion. ... overheads and development costs was in favor of flexible and reusable implementations. ... These graph structures get filled by static analysis and abstract interpretation of an application model on top of an abstract RTOS model (similar to [RRW05b] ). ...doi:10.15488/7253 fatcat:djadjlmrx5b75bvtr2rinlroum
PD can be used to balance ACET and WCET which again is easier to do in an automated way. ... Hybrid WCET analysis As a counterpart to static WCET analysis, dynamic WCET analysis refers to endto-end measurements of the program runtime on the actual hardware. ... upper (B avg max ) loop bound and the number of context blocks V C τ for a context graph with unlimited call string length but without virtual unrolling. ...doi:10.17877/de290r-7209 fatcat:yhl2jvlcvzh3rhc26azn4dnbre