Synthèse de traces temporisées à coût optimal pour l'ordonnancement de systèmes embarqués intermittents
Résumé
Le calcul intermittent est un paradigme émergent pour les systèmes sans batterie, alimentés à l'aide de sources d'énergie elles-mêmes intermittentes. Ce paradigme promet une conception plus sobre des systèmes informatiques. Il semble particulièrement adapté au domaine des capteurs connectés qui forment le premier niveau de l'Internet des Objets (IdO). Ce domaine d'application nécessite de disposer d'un modèle de calcul réactif. La définition d'un modèle intermittent et réactif est un problème encore peu exploré dans la littérature. Dans cet article, nous nous intéressons à la modélisation et l'analyse de systèmes réactifs intermittents. Nous utilisons des réseaux de Petri de haut niveau temporel à coût pour modéliser les différentes dimensions du système : concurrence, temps réel, et énergie. Nous synthétisons ensuite des traces à coût optimal, afin d'obtenir des informations exploitables en ligne pour la gestion conjointe du temps de calcul et de l'énergie.
Origine : Fichiers produits par l'(les) auteur(s)