Mon second postdoc dans les équipes TAMIS puis DiverSE se déroule dans le cadre du projet européen TeamPlay, encadré par le chargé de recherche Olivier Zendra à Inria-Rennes. Ce projet vise à permettre au développeur d'avoir accès aux propriétés extra-fonctionnelles de son code, en particulier le temps d'exécution, l'énergie consommée et la sécurité, ainsi que de pouvoir raisonner sur les compromis entre ces propriétés et de choisir entre les variantes du code obtenues par optimisation multicritère.

Mon intérêt pour ce projet vient notamment du fait que mes travaux sur les modèles de calcul traitaient aussi de propriétés extra-fonctionnelles comme l'expressivité et la complexité algorithmique et ceux sur les méthodes formellesl sur la spatialité de l'information. Ce projet m'a permis d'étudier d'autres propriétés extra-fonctionnelles ainsi que leurs interactions, notamment comment les exprimer et comment vérifier qu'elles satisfont leurs contraintes. J'ai conçu une contremesure logicielle par échelonnement qui préserve le comportement algorithmique du programme tout en garantissant par construction une protection contre certaines attaques. J'ai travaillé sur l'imitation comportementale de tâches à protéger pour les systèmes embarqués en temps réel. Enfin, la méthodologie basée sur l'identité des indiscernables m'a permis de définir des métriques de sécurité quantifiant les fuites d'information sensible par les propriétés extra-fonctionnelles observables par un attaquant.