Projects September 2021
Laureate of the “Grand Défi Cyber”, a R&D program launched by the French Government to protect systems against cyberattacks, the LEIA project is a joint initiative from CEA-List and Systerel to build a platform to analyse IoT software. This platform is based on a combination of formal methods and artificial intelligence.
Given its importance for the safe and secure industrial ecosystem, S2OPC project has been chosen as a first use case for the platform. This in-depth analysis will increase even further the level of confidence we have in the S2OPC project.