Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems
| Autor: | Antoine Bernabeu, Jean-Luc Béchennec, Mikael Briday, Sebastien Faucou, Olivier Roux |
|---|---|
| Přispěvatelé: | École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, STR (LS2N - équipe STR ), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Centre National de la Recherche Scientifique (CNRS), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Cominlabs. Projet NOP |
| Jazyk: | angličtina |
| Rok vydání: | 2023 |
| Předmět: |
Optimization
[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC] Control and Systems Engineering Scheduling Modeling and Simulation Intermittent computing [INFO.INFO-ES]Computer Science [cs]/Embedded Systems Petri net Electrical and Electronic Engineering [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation Petri net Intermittent computing Optimization Scheduling |
| Zdroj: | Discrete Event Dynamic Systems Discrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00372-6⟩ |
| ISSN: | 0924-6703 1573-7594 |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink