Il y a quelques années, Systerel commercialisait un premier moteur de vérification formelle développé sur fonds propres, Systerel Smart Solver (S3), qui rencontrait immédiatement un réel succès face aux alternatives du marché.

Trois ans plus tard, Systerel annonce une nouvelle version de son outil aux performances inégalées.

Les différentes mesures réalisées sur des projets de taille industrielle montrent en effet des gains en performance sur la validation de propriétés de sécurité pouvant atteindre :

• un facteur 1000 dans certaines conditions pour des validations de systèmes CBTC,
• un facteur 30 pour des validations de systèmes de type postes à enclenchement

Grâce à la dernière version de Systerel Smart Solver, des activités de validation qui demandaient plusieurs mois auparavant se font donc désormais en quelques heures.

Sachant que ces nouvelles performances ont été obtenues par optimisation des algorithmes de traitement et non par parallélisation du code sur une architecture multi-cœur, nul doute que la nouvelle version S3 de Systerel dispose d’un vrai potentiel pour analyser demain encore plus rapidement des problèmes toujours plus complexes.

En savoir davantage sur Systerel Smart Solver