Vous êtes ici : Accueil > Actualités > Avec Frama-C, les objets communiquent en toute sécurité

Actualité | Communications | Technologies logicielles

internet des objets

Avec Frama-C, les objets communiquent en toute sécurité


Les outils de la plateforme logicielle Frama-C ont permis d'analyser la qualité et la fiabilité de codes sources essentiels pour la sécurité des données transitant sur l'« internet des objets ».  Pour une meilleure protection des données et des utilisateurs.

Publié le 2 juillet 2015

Avec l'explosion annoncée du nombre d'objets connectés dans le monde (de 15 milliards aujourd'hui à 80 milliards d'ici 2020), la sécurité des données qu'ils génèrent  et qui transitent sur l'ensemble des maillons de l'IoT (Internet of Things) est une préoccupation majeure de leurs concepteurs. Il en va de la protection de la vie privée des personnes qui utilisent ces objets connectés.

Des outils dérivés de la plateforme Frama-C, initialement développée par l'institut CEA List au sein de CEA Tech pour vérifier la fiabilité du code critique embarqué dans l'avionique et le nucléaire, ont été utilisés par la start-up TrustInSoft pour analyser le logiciel DPDK. Ce dernier est en effet déployé sur les machines au cœur des réseaux de l'IoT pour la gestion du trafic de données. À l'autre bout de la chaîne, Frama-C a été utilisé pour vérifier le logiciel contrôlant la distribution des mises à jour dans les nœuds des réseaux de capteurs. Aucune faille ne lui échappe !

Ces travaux démontrent la pertinence de la mise en œuvre de Frama-C, dont les performances sont d'ores et déjà mondialement reconnues, pour la sécurisation des échanges de données entre les objets et les systèmes de l'internet des objets.

Haut de page

Haut de page