BLAST Assistance automatisée à l’implantation de balises ferroviaires Safe & Secure OPC Implémentation libre et sécurisée du protocole OPC UA OVADO²® Validation formelle automatisée de données de configuration Systerel Smart Solver Vérification formelle de systèmes ou logiciels développés en SCADE, C, Ada