Grant: Discovery Grants Program - Individual

L'augmentation fulgurante du nombre d'objets connectés offrent de nouvelles opportunités pour réduire le fossé existant entre le monde physique et le monde virtuel. La rencontre de ces deux mondes a engendré ce qui est actuellement appelé l'Internet of Things (IoT). IoT a des applications et des implications sur un large éventail de domaines tels que les maisons, les villes, les procédés industriels, les dispositifs médicaux, etc. Afin d'accéder à ce niveau d'échelle de déploiement et de débloquer tout son potentiel, un ensemble de problèmes et de questions soulevés doivent être abordés et résolus. De ces derniers, on y trouve les questions liées à l'hétérogénéité matérielle et logicielle, la complexité et la mise à l'échelle, la sécurité et la vie privée et l'automatisation.De par sa nature qui s'appuie sur la connectivité, l'IoT expose les objets connectés aux risques et menaces induits par l'internet. La sécurité informatique englobe plusieurs aspects tels que l'identification, l'authentification, l'intégrité, l'audit, et le contrôle d'accès. Ce dernier aspect est l'un des aspects de sécurité les plus critiques et auquel le présent programme de recherche s'intéresse. Concernant les défis soulevés par l'hétérogénéité et la complexité des mises à l'échelle des systèmes IoT, la génération automatique de code fait partie de la solution. Elle peut se faire à partir de modèles à travers la méthodologie de développement logiciel MDE qui est un outil clé pour surmonter quelques-uns des problèmes posés par IoT. De manière générale, les utilisateurs des outils MDE supposent que les résultats de V&V (vérification et validation) sur le modèle s'appliqueront également au code généré. Toutefois, le domaine IoT soulève des préoccupations particulièrement critiques concernant les menaces possibles pour la sécurité. Bien que de telles propriétés de sécurité puissent être vérifiées sur les modèles logiciels, nous avons besoin d'une approche plus systématique pour garantir que de telles propriétés se manifesteraient également dans le code généré. La démarche dans cette proposition consiste à développer un modèle de contrôle d'accès adapté à l'IoT qui s'intègre à la méthodologie MDE. Cela passera par le développement de techniques de V&V pour les transformations de modèles afin de garantir que les propriétés spécifiques liées au modèle de contrôle d'accès, vérifiées sur le modèle, seront conservées dans le code. La grande nouveauté de cette proposition réside dans la manière avec laquelle quelques problèmes de l'IoT sont abordés. Ainsi, MDE sera utilisée comme une solution aux problèmes d'interopérabilité de plateformes et d'environnement de développement et la complexité de développement et de déploiement d'applications IoT. La V&V comme outil pour garantir que les propriétés de contrôle d'accès sont préservées tout au long de la cha&i