Lancé en janvier 2017 et porté par de nombreux partenaires européens dont Amossys, VESSEDIA est un projet de R&D dans le domaine de l’analyse statique de code source.

Ce projet, sélectionné dans le cadre de l’appel 2016 sur la sécurité numérique du programme-cadre Horizon 2020, a pour objectif de renforcer les aspects sécurité dans le processus de développement d’applications, et plus particulièrement dans le domaine des objets connectés.

Amossys contribuera notamment à :

• La réalisation de méthodologies d’analyse de vulnérabilités tirant parti de la plate-forme open-source Frama-C.
• L’intégration de méthodes formelles d’analyse de code C dans un cadre d’évaluation et de certification logicielle.