{"id":6255,"date":"2022-11-02T15:47:04","date_gmt":"2022-11-02T14:47:04","guid":{"rendered":"https:\/\/www.prover.com\/?p=6255"},"modified":"2024-07-22T22:33:31","modified_gmt":"2024-07-22T21:33:31","slug":"prover-certifier-qualified-for-cenelec-sil-4-projects","status":"publish","type":"post","link":"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/","title":{"rendered":"Prover Certifier qualified for CENELEC SIL 4 projects"},"content":{"rendered":"<p><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 fusion-flex-container nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-order-medium:0;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-1\" style=\"--awb-text-transform:none;\"><p><strong>Prover Certifier just took a new major step when we received a certificate from T\u00dcV Nord ensuring that Prover Certifier is a T2 tool appropriate for CENELEC EN50128 SIL4 projects. We are very proud that this has been achieved after a lot of work!<\/strong><\/p>\n<p>We did have a T2 certificate before, but this new certificate will be more useful for our users. Let us explain how. What we learned from our customers when they started using our previous T2 certificate in their safety cases, is that what they really need is not only a norm compliance certificate, but also a guarantee that the tool can be trusted.<\/p>\n<p>A certificate ensures that the tool fulfills the requirements of the norm EN50128, but the requirements on T2 tools are not very strong in that norm. They do say something about what documentation must exist, and how the development must be organized, but they do not require the tool to have a certain quality. Instead, the norm puts the responsibility on the user to ensure that the tool is appropriate for its role within the project.<\/p>\n<p>So even if we gave our users a T2 certificate, they still had to ask us to also provide evidence that the tool could be trusted for its task.<\/p>\n<p>Our conclusion was that a certificate would be much more useful if it certified not only norm compliance, but also some strong claims about what role the tool can have in a safety case:<\/p>\n<ul>\n<li>Requirements that have been proven fulfilled with formal verification can be assumed to hold when planning the other V&amp;V activities.<\/li>\n<li>V&amp;V activities that are already covered by proven requirements can safely be omitted.<\/li>\n<li>V&amp;V activities that are partially covered can be reduced without losing confidence in safety.<\/li>\n<\/ul>\n<p>These claims are documented as parts of the product that now has been qualified as a T2 tool appropriate for SIL4 projects. Our users can therefore refer directly to these claims in their safety cases. This simplifies the overall safety argument a lot. So remember, don\u2019t rely on just any certificate and risk spending major efforts providing safety evidence.<\/p>\n<p>A certificate ensures that the claims about the product are correct, but the usefulness of the certificate really depends on these claims.<\/p>\n<\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-2 fusion-flex-container has-pattern-background has-mask-background nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-padding-top-small:0px;--awb-padding-bottom-small:0px;--awb-margin-top:60px;--awb-margin-bottom:0px;--awb-background-color:var(--awb-color2);--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-center fusion-flex-justify-content-space-around fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-1 fusion_builder_column_1_4 1_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-filter:opacity(40%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:opacity(100%);--awb-width-large:25%;--awb-margin-top-large:22px;--awb-spacing-right-large:23px;--awb-margin-bottom-large:22px;--awb-spacing-left-large:40px;--awb-width-medium:25%;--awb-order-medium:0;--awb-spacing-right-medium:23px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element fusion-no-small-visibility\" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-1 hover-type-none\"><img decoding=\"async\" width=\"300\" height=\"300\" title=\"safety\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/07\/safety.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/07\/safety-300x300.png\" alt class=\"lazyload img-responsive wp-image-19693\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27700%27%20height%3D%27700%27%20viewBox%3D%270%200%20700%20700%27%3E%3Crect%20width%3D%27700%27%20height%3D%27700%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/07\/safety-200x200.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/07\/safety-400x400.png 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/07\/safety-600x600.png 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/07\/safety.png 700w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 400px\" \/><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-2 fusion_builder_column_3_4 3_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:75%;--awb-margin-top-large:0px;--awb-spacing-right-large:41px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:11px;--awb-width-medium:75%;--awb-order-medium:0;--awb-spacing-right-medium:41px;--awb-spacing-left-medium:11px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-2\"><div class=\"fusion-title title fusion-title-6 fusion-sep-none fusion-title-text fusion-title-size-four\">\n<h4 class=\"fusion-title-heading title-heading-left\">How safe and efficient are your rail control systems? <u style=\"color: var(--awb-text-color); font-family: var(--h4_typography-font-family); font-size: 1em; font-style: var(--h4_typography-font-style,normal); font-weight: var(--h4_typography-font-weight); letter-spacing: var(--h4_typography-letter-spacing); text-transform: var(--h4_typography-text-transform); background-color: var(--awb-bg-color-hover);\"><a href=\"https:\/\/www.prover.com\/services\/\">Let\u2019s find out!<\/a><\/u><\/h4>\n<\/div>\n<\/div><\/div><\/div><\/div><\/div>\n<\/p>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":17,"featured_media":14318,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[154],"tags":[],"class_list":["post-6255","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-verification-validation"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Prover Certifier qualified for CENELEC SIL 4 projects - Prover - Engineering a Safer World<\/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.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prover Certifier qualified for CENELEC SIL 4 projects - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2022-11-02T14:47:04+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-07-22T21:33:31+00:00\" \/>\n<meta name=\"author\" content=\"Jesper Carlstr\u00f6m\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/11\/Prover-Certifier-qualified-for-CENELEC-SIL-4-projects.jpg\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Jesper Carlstr\u00f6m\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/\"},\"author\":{\"name\":\"Jesper Carlstr\u00f6m\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb\"},\"headline\":\"Prover Certifier qualified for CENELEC SIL 4 projects\",\"datePublished\":\"2022-11-02T14:47:04+00:00\",\"dateModified\":\"2024-07-22T21:33:31+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/\"},\"wordCount\":741,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/11\/Prover-Certifier-qualified-for-CENELEC-SIL-4-projects.jpg\",\"articleSection\":[\"Verification &amp; validation\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/\",\"url\":\"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/\",\"name\":\"Prover Certifier qualified for CENELEC SIL 4 projects - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/11\/Prover-Certifier-qualified-for-CENELEC-SIL-4-projects.jpg\",\"datePublished\":\"2022-11-02T14:47:04+00:00\",\"dateModified\":\"2024-07-22T21:33:31+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/11\/Prover-Certifier-qualified-for-CENELEC-SIL-4-projects.jpg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/11\/Prover-Certifier-qualified-for-CENELEC-SIL-4-projects.jpg\",\"width\":1200,\"height\":627,\"caption\":\"Prover Certifier qualified for CENELEC SIL 4 projects\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Verification &amp; validation\",\"item\":\"https:\/\/www.prover.com\/categories\/verification-validation\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Prover Certifier qualified for CENELEC SIL 4 projects\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/prover.com\/#website\",\"url\":\"https:\/\/prover.com\/\",\"name\":\"Prover - Engineering a Safer World\",\"description\":\"Interlocking Design Automation to meet demand for complex digital train control\",\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/prover.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/prover.com\/#organization\",\"name\":\"Prover - Engineering a Safer World\",\"url\":\"https:\/\/prover.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"width\":222,\"height\":22,\"caption\":\"Prover - Engineering a Safer World\"},\"image\":{\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb\",\"name\":\"Jesper Carlstr\u00f6m\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"caption\":\"Jesper Carlstr\u00f6m\"},\"url\":\"https:\/\/www.prover.com\/author\/jesper-carlstrom\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Prover Certifier qualified for CENELEC SIL 4 projects - Prover - Engineering a Safer World","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.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/","og_locale":"en_US","og_type":"article","og_title":"Prover Certifier qualified for CENELEC SIL 4 projects - Prover - Engineering a Safer World","og_url":"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2022-11-02T14:47:04+00:00","article_modified_time":"2024-07-22T21:33:31+00:00","author":"Jesper Carlstr\u00f6m","twitter_card":"summary_large_image","twitter_image":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/11\/Prover-Certifier-qualified-for-CENELEC-SIL-4-projects.jpg","twitter_misc":{"Written by":"Jesper Carlstr\u00f6m","Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/"},"author":{"name":"Jesper Carlstr\u00f6m","@id":"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb"},"headline":"Prover Certifier qualified for CENELEC SIL 4 projects","datePublished":"2022-11-02T14:47:04+00:00","dateModified":"2024-07-22T21:33:31+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/"},"wordCount":741,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/11\/Prover-Certifier-qualified-for-CENELEC-SIL-4-projects.jpg","articleSection":["Verification &amp; validation"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/","url":"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/","name":"Prover Certifier qualified for CENELEC SIL 4 projects - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/11\/Prover-Certifier-qualified-for-CENELEC-SIL-4-projects.jpg","datePublished":"2022-11-02T14:47:04+00:00","dateModified":"2024-07-22T21:33:31+00:00","breadcrumb":{"@id":"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/11\/Prover-Certifier-qualified-for-CENELEC-SIL-4-projects.jpg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2022\/11\/Prover-Certifier-qualified-for-CENELEC-SIL-4-projects.jpg","width":1200,"height":627,"caption":"Prover Certifier qualified for CENELEC SIL 4 projects"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/verification-validation\/prover-certifier-qualified-for-cenelec-sil-4-projects\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Verification &amp; validation","item":"https:\/\/www.prover.com\/categories\/verification-validation\/"},{"@type":"ListItem","position":3,"name":"Prover Certifier qualified for CENELEC SIL 4 projects"}]},{"@type":"WebSite","@id":"https:\/\/prover.com\/#website","url":"https:\/\/prover.com\/","name":"Prover - Engineering a Safer World","description":"Interlocking Design Automation to meet demand for complex digital train control","publisher":{"@id":"https:\/\/prover.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/prover.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/prover.com\/#organization","name":"Prover - Engineering a Safer World","url":"https:\/\/prover.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","width":222,"height":22,"caption":"Prover - Engineering a Safer World"},"image":{"@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb","name":"Jesper Carlstr\u00f6m","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","caption":"Jesper Carlstr\u00f6m"},"url":"https:\/\/www.prover.com\/author\/jesper-carlstrom\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/6255","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=6255"}],"version-history":[{"count":2,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/6255\/revisions"}],"predecessor-version":[{"id":19803,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/6255\/revisions\/19803"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/14318"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=6255"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=6255"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=6255"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}