Skip to Main content Skip to Navigation
Conference papers

Energy and timing aware synchronous programming

Abstract : The synchronous paradigm is widely used for the design of safety critical systems. Such systems, especially in the medical devices domain, must meet strict timing requirements while also ensuring long battery life. As a consequence, they are subject to very strict constraint both regarding their WCRT (Worst-Case Reaction Time) and their WCEC (Worst-Case Energy Consumption, the equivalent constraint for the energy consumption). Many techniques exist to compute an upper bound on the WCRT, but few techniques exist that address both the WCRT and the WCEC. We propose here a static analysis framework where conventional WCRT analysis interacts with a DVFS (Dynamic Voltage Frequency Scaling) algorithm to minimize also the WCEC of the given synchronous program. Our algorithm is able to compute the Pareto front of non-dominated solutions in the (WCRT, WCEC) space. Experimental results reveal that the proposed approach is scalable in terms of analysis time while providing more non-dominated solutions compared to two existing approaches. To the best of our knowledge, the proposed approach is the first to produce energy and timing aware synchronous programs.
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Alain Girault Connect in order to contact the contributor
Submitted on : Friday, December 16, 2016 - 10:17:34 AM
Last modification on : Sunday, June 26, 2022 - 5:02:58 AM
Long-term archiving on: : Monday, March 20, 2017 - 4:36:55 PM


Files produced by the author(s)




Jiajie Wang, Partha S Roop, Alain Girault. Energy and timing aware synchronous programming. International Conference on Embedded Software, EMSOFT'16, Oct 2016, Pittsburgh, United States. pp.10, ⟨10.1145/2968478.2968500⟩. ⟨hal-01412100⟩



Record views


Files downloads