Systerel has developed fully automated solutions for design verification.
The objective? To achieve greater confidence in the activities carried out and to bring concrete performance gains compared to manual verification.
Thus, thanks to its expertise in the fields of verification and testing applied to a security standard, Systerel has transformed long and tedious manual verification activities by automating steps via a suite of verification support tools.
These automated solutions have been deployed in particular for a safety application in the civil nuclear field.
The functions of this tool suite are as follows:
– Verification of compliance with the design rules of the electrical pattern of the application,
– Verification of compliance with the rules for porting the electrical pattern to the target platforms,
– Generation of test combinations to be carried out from the electrical pattern of the application (in the upstream phase of the project),
– Verification of compliance with the wiring rules for the cards and inter-equipment connectors,
– Generation of a verification report for each tool.