Uppaal Model Repository
Modeling and Analysis for Energy-Driven Computing using Statistical Model-Checking, Abdoulaye Gamatié, Gilles Sassatelli, Marius Mikučionis. Design, Automation and Test in Europe (DATE 2021), February 1, 2021.
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.
Stochastic hybrid automata, energy-driven computing, statistical model-checking, energy harvesting and buffering
The models and results were developed using Uppaal-4.1.24.