Le Blog (Publiés par Vincent Pouzol)

Certification CSPN : le cas d'étude de S2OPC

Vincent Pouzol, Vincent Lacroix — Sun, 12 May 2024 09:00:59 GMT

En octobre dernier, Systerel a obtenu le Visa de sécurité de l'Agence nationale de la sécurité des systèmes d'information (ANSSI) pour la certification CSPN (Certificat de Sécurité de Premier Niveau) de son produit S2OPC. Cela nous donne l'occasion de faire un focus sur ce qu'est la CSPN et de fournir un retour d'expérience sur son obtention.

Lire la suite… (Il reste encore 4 min. de lecture)

Back-to-back Testing

Anaïs Guignard, Julien Niguez, Nicolas Breton, Vincent Pouzol — Tue, 08 Nov 2022 10:21:44 GMT

Les techniques de Back-to-back Testing (B2BT) permettent de vérifier que deux produits des étapes d’un processus de développement logiciels sont équivalents. En exécutant « dos à dos » (back to back en anglais) les deux produits sur un ensemble de scénarios de test, on vérifie qu’ils produisent les mêmes sorties. Si les scénarios sont choisis avec soin, et que les deux exécutions donnent les mêmes résultats, il est possible d’en déduire que les deux produits sont équivalents avec un certain niveau de confiance.

Lire la suite… (Il reste encore 24 min. de lecture)

Multi-Agent Smart Solver (MASS)

Vincent Pouzol — Thu, 04 Mar 2021 23:00:00 GMT

Systerel présente le nouveau venu dans la famille Systerel Smart Solver : Multi-Agent Smart Solver (MASS). MASS permet de bénéficier des apports des clusters de calcul pour réduire significativement la durée de preuve perçue par l'utilisateur.

Lire la suite… (Il reste encore 5 min. de lecture)