Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems - Archive ouverte HAL Access content directly
Journal Articles Discrete Event Dynamic Systems Year : 2023

Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems

Abstract

Intermittent computing is an emerging paradigm for systems without batteries and powered by intermittent energy sources. This paradigm promises a more energy-efficient design of computing systems. It seems particularly well suited to the field of connected sensors that form the first level of the Internet of Things. This application domain requires a reactive computing model. The definition of an intermittent and reactive model is a problem that has not yet been fully explored in the literature. In this paper, we focus on the modeling and analysis of intermittent reactive systems. We first introduce an extension of Time Petri Nets with cost to model the different dimensions of the system: concurrency, real time, energy consumption and reward representing the gains generated by the system when it has succeeded in carrying out certain actions. We then aim to synthesize optimal runs of the model that achieve the highest possible reward under a given cost (energy) constraint. We propose a symbolic algorithm for constrained-cost state space computation and prove its termination. We then present algorithms for the synthesis of the optimal traces from an exhaustive or partial state space exploration. We finally illustrate the cost-optimal traces synthesis on a case study and show how that can be used online for joint management of computing time and energy.
Fichier principal
Vignette du fichier
jdeds.pdf (555.47 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03952467 , version 1 (23-01-2023)

Identifiers

Cite

Antoine Bernabeu, Mikaël Briday, Sébastien Faucou, Jean-Luc Béchennec, Olivier H. Roux. Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems. Discrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00372-6⟩. ⟨hal-03952467⟩
54 View
55 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More