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 metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01412100
Contributor : Alain Girault <>
Submitted on : Friday, December 16, 2016 - 10:17:34 AM
Last modification on : Thursday, October 11, 2018 - 8:48:04 AM
Long-term archiving on : Monday, March 20, 2017 - 4:36:55 PM

File

EMSOFT_2016.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Jiajie Wang, Partha 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⟩

Share

Metrics

Record views

492

Files downloads

204