The Blog (Posts by Vincent Pouzol)

First Level Security Certification (CSPN): The S2OPC Case Study

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

In October 2023, Systerel received the Security Visa from the French National Cybersecurity Agency (ANSSI) for the CSPN (First Level Security Certification) of its product: S2OPC. This achievement gives us the opportunity to focus on what the CSPN is and to provide feedback on the certification process.

Back-to-back Testing

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

Back-to-back testing (B2BT) techniques are used to verify that two products of a software development process are equivalent. By running the two products "back to back" on a set of test cases, it is verified that they produce the same output. If the scenarios are chosen carefully and the two runs produce the same results, it can be inferred that the two products are equivalent with some level of confidence.

Multi-Agent Smart Solver (MASS)

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

Systerel introduces the latest member in Systerel Smart Solver family: Multi-Agent Smart Solver (MASS). MASS significantly reduces proof wall clock time for the user, using extensible computing clusters.