Prouver les propriétés de temps pour l’Internet des Objets

41 milliards d’appareils connectés en 2025. L’Internet des Objets explose. Et avec lui, la complexité de conception de ces réseaux. D’autant plus qu’un simple changement sur une seule machine localement peut engendrer le dysfonctionnement de toute une architecture. Un des problèmes provient du fait que les développeurs peinent à préserver les propriétés de temps contrairement à celles liées à la mémoire. Au Centre Inria de l’Université de Rennes, le chercheur Benjamin Lion vient de recevoir une bourse postdoctorale Marie Skłodowska-Curie pour à la fois tenter d’intégrer ce facteur temps dans la sémantique des programmes et aussi de prouver formellement sa préservation durant la compilation. Cette recherche pourrait impacter le secteur industriel mais aussi permettre aux compilateurs de franchir un grand pas. Explications.