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.
Type de document :
Communication dans un congrès
International Conference on Embedded Software, EMSOFT'16, Oct 2016, Pittsburgh, United States. ACM, pp.10, 2016, 〈10.1145/2968478.2968500〉
Liste complète des métadonnées

Littérature citée [20 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01412100
Contributeur : Alain Girault <>
Soumis le : vendredi 16 décembre 2016 - 10:17:34
Dernière modification le : samedi 7 janvier 2017 - 11:15:03
Document(s) archivé(s) le : lundi 20 mars 2017 - 16:36:55

Fichier

EMSOFT_2016.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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. ACM, pp.10, 2016, 〈10.1145/2968478.2968500〉. 〈hal-01412100〉

Partager

Métriques

Consultations de la notice

154

Téléchargements de fichiers

41