L’outil CLEARSY de validation de données critiques de sécurité est maintenant certifié T2 pour le niveau SIL4 de la norme EN 50128:2011, par CERTIFER.
Le niveau SIL4 correspond au plus haut niveau de sécurité des logiciels sécuritaires et ceux paramétrés par des données critiques nécessitent leur validation par des outils T2 SIL4 demandés désormais par la norme dans sa version anglaise : l’IEC 62279.
L’outil se nomme CLEARSY Data Solver ; il est utilisé par de grands industriels et donneurs d’ordres pour valider les données critiques de paramétrage des logiciels critiques et trouver les contre-exemples en cas d’erreurs détectées. Le gain de temps est très important, tant en phase de développement qu’en phase de mise au point lorsque les rejeux de tests automatiques sont mis en œuvre. Il est basé sur un moteur de validation formelle.