Dans l'Internet des objets (IoT), des milliards d'appareils sont inter-connectés. Très souvent, ces appareils sont programmés avec le langage de programmation C, principalement en raison des ressources matérielles limitées de ces objets. Cependant, C est sujet aux erreurs et les bogues logiciels rendent les appareils à la fois peu fiables et vulnérables aux cyberattaques. Plusieurs cas de cyberattaques massives utilisant des dispositifs IoT sont documentés. De plus, l'IoT est de plus en plus déployé dans des domaines tels que l'énergie, les transports et la santé : il est primordial que ces systèmes soient fiables, sûrs et sécurisés. L'objectif du projet DeSSUF est la conception, la mise en œuvre et l'évaluation de la sûreté, de la sécurité et de la facilité d'utilisation d'un nouveau langage de programmation pour l'IoT.

 

Il s'agit d'un projet conjoint entre l'Université d'Orléans, LIFO, France et l'Université de Maribor, LPM, Slovénie, toutes deux membres de l'Université européenne Athena.