{"id":2227,"date":"2021-12-20T12:04:57","date_gmt":"2021-12-20T11:04:57","guid":{"rendered":"https:\/\/www.systerel.fr\/en\/?p=2227"},"modified":"2023-03-24T15:00:51","modified_gmt":"2023-03-24T14:00:51","slug":"systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128","status":"publish","type":"post","link":"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/","title":{"rendered":"Systerel Smart Solver certified T2 SIL4 according to CENELEC EN50128"},"content":{"rendered":"\n

Systerel has been developing its own range of tools for the modeling and formal verification of signaling systems for more than a decade. Our Systerel Smart Solver <\/a>(S3) tool suite is designed to perform formal verification of safety properties.<\/p>\n\n\n\n

S3 development has just achieved a key milestone by obtaining a T2 certification for use in a SIL4 development process according to the CENELEC EN50128:2011 standard. This certification will allow S3 users to integrate it into their SIL4 development process, the highest level of criticality.<\/strong><\/p>\n\n\n\n

If this certification attests to the quality of the organization and of the development and V&V work of the tools and of the operating safety studies lead by Systerel, it also provides S3 users with a definite saving on the qualification and T2 justification costs linked to any use of a verification tool in a SIL4 process.<\/p>\n\n\n\n

RATP has been one of the first users of the S3 tool suite. Today, it uses it to evaluate the work of its suppliers of critical systems and in the commissioning of its own interlocking products.<\/p>\n\n\n\n

Please contact us to learn more about Systerel Smart Solver.<\/p>\n","protected":false},"excerpt":{"rendered":"

Systerel Smart Solver development has just achieved a key milestone by obtaining a T2 certification for use in a SIL4 development process according to the CENELEC EN50128:2011 standard.<\/p>\n","protected":false},"author":4,"featured_media":2228,"comment_status":"closed","ping_status":"closed","sticky":true,"template":"","format":"standard","meta":{"footnotes":""},"categories":[12],"tags":[],"class_list":["post-2227","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-products"],"yoast_head":"\nSysterel Smart Solver certified T2 SIL4 according to CENELEC EN50128 - Systerel English<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Systerel Smart Solver certified T2 SIL4 according to CENELEC EN50128 - Systerel English\" \/>\n<meta property=\"og:description\" content=\"Systerel Smart Solver development has just achieved a key milestone by obtaining a T2 certification for use in a SIL4 development process according to the CENELEC EN50128:2011 standard.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/\" \/>\n<meta property=\"og:site_name\" content=\"Systerel English\" \/>\n<meta property=\"article:published_time\" content=\"2021-12-20T11:04:57+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-03-24T14:00:51+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2021\/12\/Certif_S3_T2SIL4.png\" \/>\n\t<meta property=\"og:image:width\" content=\"590\" \/>\n\t<meta property=\"og:image:height\" content=\"393\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"author\" content=\"florencecassar\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"florencecassar\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\\\/\"},\"author\":{\"name\":\"florencecassar\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/6b45fb7dfdebce8ee876538ba321ed5a\"},\"headline\":\"Systerel Smart Solver certified T2 SIL4 according to CENELEC EN50128\",\"datePublished\":\"2021-12-20T11:04:57+00:00\",\"dateModified\":\"2023-03-24T14:00:51+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\\\/\"},\"wordCount\":199,\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2021\\\/12\\\/Certif_S3_T2SIL4.png\",\"articleSection\":[\"Products\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\\\/\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\\\/\",\"name\":\"Systerel Smart Solver certified T2 SIL4 according to CENELEC EN50128 - Systerel English\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2021\\\/12\\\/Certif_S3_T2SIL4.png\",\"datePublished\":\"2021-12-20T11:04:57+00:00\",\"dateModified\":\"2023-03-24T14:00:51+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/6b45fb7dfdebce8ee876538ba321ed5a\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2021\\\/12\\\/Certif_S3_T2SIL4.png\",\"contentUrl\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/wp-content\\\/uploads\\\/sites\\\/3\\\/2021\\\/12\\\/Certif_S3_T2SIL4.png\",\"width\":590,\"height\":393,\"caption\":\"Systerel Smart Solver certified T2 SIL4 according to CENELEC EN50128\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Systerel Smart Solver certified T2 SIL4 according to CENELEC EN50128\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\",\"name\":\"Systerel English\",\"description\":\"Safe real-time solutions\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#\\\/schema\\\/person\\\/6b45fb7dfdebce8ee876538ba321ed5a\",\"name\":\"florencecassar\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g\",\"caption\":\"florencecassar\"},\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/news\\\/author\\\/florencecassar\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Systerel Smart Solver certified T2 SIL4 according to CENELEC EN50128 - Systerel English","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/","og_locale":"en_US","og_type":"article","og_title":"Systerel Smart Solver certified T2 SIL4 according to CENELEC EN50128 - Systerel English","og_description":"Systerel Smart Solver development has just achieved a key milestone by obtaining a T2 certification for use in a SIL4 development process according to the CENELEC EN50128:2011 standard.","og_url":"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/","og_site_name":"Systerel English","article_published_time":"2021-12-20T11:04:57+00:00","article_modified_time":"2023-03-24T14:00:51+00:00","og_image":[{"width":590,"height":393,"url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2021\/12\/Certif_S3_T2SIL4.png","type":"image\/png"}],"author":"florencecassar","twitter_misc":{"Written by":"florencecassar","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/#article","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/"},"author":{"name":"florencecassar","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/6b45fb7dfdebce8ee876538ba321ed5a"},"headline":"Systerel Smart Solver certified T2 SIL4 according to CENELEC EN50128","datePublished":"2021-12-20T11:04:57+00:00","dateModified":"2023-03-24T14:00:51+00:00","mainEntityOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/"},"wordCount":199,"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2021\/12\/Certif_S3_T2SIL4.png","articleSection":["Products"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/","url":"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/","name":"Systerel Smart Solver certified T2 SIL4 according to CENELEC EN50128 - Systerel English","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/#primaryimage"},"image":{"@id":"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/#primaryimage"},"thumbnailUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2021\/12\/Certif_S3_T2SIL4.png","datePublished":"2021-12-20T11:04:57+00:00","dateModified":"2023-03-24T14:00:51+00:00","author":{"@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/6b45fb7dfdebce8ee876538ba321ed5a"},"breadcrumb":{"@id":"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/#primaryimage","url":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2021\/12\/Certif_S3_T2SIL4.png","contentUrl":"https:\/\/www.systerel.fr\/en\/wp-content\/uploads\/sites\/3\/2021\/12\/Certif_S3_T2SIL4.png","width":590,"height":393,"caption":"Systerel Smart Solver certified T2 SIL4 according to CENELEC EN50128"},{"@type":"BreadcrumbList","@id":"https:\/\/www.systerel.fr\/en\/news\/systerel-smart-solver-certified-t2-sil4-according-to-cenelec-en50128\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systerel.fr\/en\/"},{"@type":"ListItem","position":2,"name":"Systerel Smart Solver certified T2 SIL4 according to CENELEC EN50128"}]},{"@type":"WebSite","@id":"https:\/\/www.systerel.fr\/en\/#website","url":"https:\/\/www.systerel.fr\/en\/","name":"Systerel English","description":"Safe real-time solutions","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.systerel.fr\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/www.systerel.fr\/en\/#\/schema\/person\/6b45fb7dfdebce8ee876538ba321ed5a","name":"florencecassar","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/b24e674243fa6265ef6f8ce9ddec7a624a876604df8e4d1cb33ecd3ded160e67?s=96&d=mm&r=g","caption":"florencecassar"},"url":"https:\/\/www.systerel.fr\/en\/news\/author\/florencecassar\/"}]}},"_links":{"self":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/2227","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/comments?post=2227"}],"version-history":[{"count":1,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/2227\/revisions"}],"predecessor-version":[{"id":2230,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/posts\/2227\/revisions\/2230"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media\/2228"}],"wp:attachment":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media?parent=2227"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/categories?post=2227"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/tags?post=2227"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}