Blog
FEBRUARY 2023

Blog: Back-to-Back Testing

A new article has been published on the Systerel Blog!

It tells you everything about Back-to-Back Testing (B2BT), a process of automatic generation of tests based on modeling and formal methods, allowing to control compliance of software implementations

Company
December 2022

Charity run: “Course des Lumières”

In Paris, Toulouse and Marseille, the Systerel teams have put on their sneakers to take part in a charity run: Course des Lumières. Their goal: run 10 km or walk 4 km to raise funds to help fight certain diseases.

Training
NOVEMBER 2022

Ada 95, 2005 and 2012 trainings

Systerel regularly trains numerous engineers, working for significant industrial players, in the Ada language.

Whether it is to acquire the basic knowledge and good practices or to master its advanced implementation, our trainings help these teams to significantly increase their technical competence.

R&D
NOVEMBER 2022

France 2030 selects the KICS 2 project

We are proud to announce that KICS2 project has been selected in the context of the France 2030 national plan, which aims to position France among the world leaders in cybersecurity.

Training
NOVEMBER 2022

Qualiopi certified training

Do you wish to train learn more on formal methods, EN 50128 standard, RAMS, C, Ada, OPC UA?

Thanks to its expertise, Systerel has built a training offer perfectly adapted to your needs.