BLAST Automated balise layout assistance for railways Systerel Safe & Secure OPC Open-source, secure, and certified implementation of the OPC UA standard OVADO²® Automatic validation of critical data Systerel Smart Solver Formal verification of developed systems and software in SCADE, C, Ada
