Safe and Efficient Intermittent Computing for a Batteryless IoT (NOP)

L’informatique intermittente est un paradigme émergent pour les nœuds IoT sans batterie alimentés par la récolte de l’énergie ambiante. Il vise à fournir un support transparent pour les pertes d’énergie afin que les calculs complexes puissent être répartis sur plusieurs cycles d’alimentation. Il vise à accroître de manière significative la complexité des logiciels fonctionnant sur ces nœuds et à réduire le volume des données sortantes. Il améliore l’efficacité énergétique globale de l’ensemble de la chaîne de traitement, réduit les temps de réaction et, en limitant les mouvements de données, préserve l’anonymat et la vie privée. NOP vise à améliorer l’efficacité et la facilité d’utilisation de l’informatique intermittente, sur la base de fondements théoriques solides et d’une compréhension détaillée des flux d’énergie au sein des systèmes.

Pour ce faire, il réunit des spécialistes de l’architecture des systèmes, des systèmes IoT collecteurs d’énergie, de la compilation et de l’informatique en temps réel, afin de relever les défis scientifiques suivants :

• Développer des bases formelles solides pour les systèmes intermittents,
• Développer des modèles énergétiques prédictifs précis d’un nœud entier (incluant à la fois la récolte et la consommation) utilisables pour la prise de décision en ligne,
• Améliorer de manière significative l’efficacité énergétique de la prise en charge de l’intermittence en cours d’exécution,
• Développer des techniques pour fournir une garantie formelle par l’analyse statique du comportement des systèmes (progrès en cours),
• Développer une preuve de concept : un système intermittent pour la reconnaissance des oiseaux chanteurs, afin d’évaluer les coûts et les avantages des solutions proposées.
• Les coûts et les avantages des solutions proposées.