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