{"version":"1.0","provider_name":"Systerel English","provider_url":"https:\/\/www.systerel.fr\/en","author_name":"coralie","author_url":"https:\/\/www.systerel.fr\/en\/news\/author\/coralie\/","title":"Automated solutions for design verification","type":"rich","width":600,"height":338,"html":"<blockquote class=\"wp-embedded-content\" data-secret=\"b9US2xLBbE\"><a href=\"https:\/\/www.systerel.fr\/en\/news\/automated-solutions-for-design-verification\/\">Automated solutions for design verification<\/a><\/blockquote><iframe sandbox=\"allow-scripts\" security=\"restricted\" src=\"https:\/\/www.systerel.fr\/en\/news\/automated-solutions-for-design-verification\/embed\/#?secret=b9US2xLBbE\" width=\"600\" height=\"338\" title=\"&#8220;Automated solutions for design verification&#8221; &#8212; Systerel English\" data-secret=\"b9US2xLBbE\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" class=\"wp-embedded-content\"><\/iframe><script type=\"text\/javascript\">\n\/* <![CDATA[ *\/\n\/*! This file is auto-generated *\/\n!function(d,l){\"use strict\";l.querySelector&&d.addEventListener&&\"undefined\"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!\/[^a-zA-Z0-9]\/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret=\"'+t.secret+'\"]'),o=l.querySelectorAll('blockquote[data-secret=\"'+t.secret+'\"]'),c=new RegExp(\"^https?:$\",\"i\"),i=0;i<o.length;i++)o[i].style.display=\"none\";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute(\"style\"),\"height\"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):\"link\"===t.message&&(r=new URL(s.getAttribute(\"src\")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener(\"message\",d.wp.receiveEmbedMessage,!1),l.addEventListener(\"DOMContentLoaded\",function(){for(var e,t,s=l.querySelectorAll(\"iframe.wp-embedded-content\"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute(\"data-secret\"))||(t=Math.random().toString(36).substring(2,12),e.src+=\"#?secret=\"+t,e.setAttribute(\"data-secret\",t)),e.contentWindow.postMessage({message:\"ready\",secret:t},\"*\")},!1)))}(window,document);\n\/\/# sourceURL=https:\/\/www.systerel.fr\/en\/wp-includes\/js\/wp-embed.min.js\n\/* ]]> *\/\n<\/script>\n","thumbnail_url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2021\/09\/energy-4030427_1280_590_393.jpg","thumbnail_width":1180,"thumbnail_height":786,"description":"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. To find out more about the functionalities => lien vers l\u2019actu compl\u00e8te sur notre web. 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."}