Company
OCTOBER 2021
Singapore Metro
Singapore Metro supervision system upgrade by Alstom: the Circle Line 6 depot now hosts the software developed by Systerel teams to interface between the control room and field equipment.
Formal Methods
OCTOBER 2021
HLL language for formal verification of critical software or systems
Systerel publishes a new version of the HLL specification document (HLL LFD) and submits it to the next HLL Forum review in order to converge on the new definition of the language in collaboration with the other actors of the community.
R&D
SEPTEMBER 2021
Automated software analysis for secure IoT devices with LEIA
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.