Skip to Main content Skip to Navigation
Conference papers

Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking

Abdoulaye Gamatié 1 Gilles Sassatelli 1 Marius Mikučionis 2
1 ADAC - ADAptive Computing
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : Energy-driven computing is a recent paradigm that promotes energy harvesting as an alternative solution to conventional power supply systems. A crucial challenge in that context lies in the dimensioning of system resources w.r.t. energy harvesting conditions while meeting some given timing QoS requirements. Existing simulation and debugging tools do not make it possible to clearly address this issue. This paper defines a generic modeling and analysis framework to support the design exploration for energy-driven computing. It uses stochastic hybrid automata and statistical model-checking. It advocates a distributed system design, where heterogeneous nodes integrate computing and harvesting components and support inter-node energy transfer. Through a simple case-study, the paper shows how this framework addresses the aforementioned design challenge in a flexible manner and helps in reducing energy storage requirements. Index Terms-Stochastic hybrid automata, energy-driven computing, statistical model-checking, energy harvesting and buffering
Complete list of metadata
Contributor : Abdoulaye Gamatié <>
Submitted on : Tuesday, February 16, 2021 - 3:52:14 PM
Last modification on : Tuesday, February 23, 2021 - 3:18:05 AM
Long-term archiving on: : Monday, May 17, 2021 - 8:32:50 PM


Files produced by the author(s)


  • HAL Id : lirmm-03143143, version 1



Abdoulaye Gamatié, Gilles Sassatelli, Marius Mikučionis. Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking. Design, Automation and Test in Europe Conference (DATE 2021), Feb 2021, Virtual, France. ⟨lirmm-03143143⟩



Record views


Files downloads