Systerel has developed fully automated solutions for design verification.
As the number of IoT devices increases, so does the amount of IoT-related software. And more software means considerably more vulnerabilities to contend with. The CEA and Systerel are working together to develop a powerful and original smart analysis platform to guarantee the security not only of IoT devices, but also of the software associated with these devices. The research is taking place under the LEIA project, which was awarded funding through the French government’s Grand Défi instrument for technology projects.
The CEA List Institute and Systerel have reached a major milestone in the digitization of railway systems, by delivering a new version of the functional modelling module for new-generation of interlocking systems to SNCF Réseau. They are supporting the growing complexity of these systems with an efficient modelling and validation environment.