{"id":39,"date":"2014-08-29T14:44:17","date_gmt":"2014-08-29T13:44:17","guid":{"rendered":"http:\/\/www.systerel.fr\/en\/?page_id=39"},"modified":"2025-11-27T10:59:22","modified_gmt":"2025-11-27T09:59:22","slug":"verification-validation","status":"publish","type":"page","link":"https:\/\/www.systerel.fr\/en\/solutions\/verification-validation\/","title":{"rendered":"Verification &amp; validation"},"content":{"rendered":"\n<p>Systerel supports verification and validation (V&amp;V) activities on behalf of industrial clients, and offers tool-based solutions to improve the quality and efficiency of these activities.<\/p>\n\n\n\n<p>Systerel also provides turnkey <strong>SIL4 V&amp;V<\/strong> services for critical systems, software, and configuration data.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Verification<\/h2>\n\n\n\n<p>Systerel intervenes at every stage of the software lifecycle (planning, requirements, design, testing, integration, validation, maintenance) to verify that the deliverables produced at each phase comply with the applicable standards and follow the applicable rules and techniques.<\/p>\n\n\n\n<p>In the railway domain, software validation is often referred to as \u201c<strong>system-level testing<\/strong>,\u201d in reference to the requirements of standards EN 50128:2011 and EN 50716 for software development.<\/p>\n\n\n\n<p><strong>Examples of activities:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Writing the verification plan<\/li>\n\n\n\n<li>Writing the verification report<\/li>\n\n\n\n<li>Critical review of documentation (natural language, semi-formal or formal)<\/li>\n\n\n\n<li>Critical review of source code (<a data-wplink-edit=\"true\" href=\"_wp_link_placeholder\">Ada<\/a>, C, <a href=\"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/scade\/\">SCADE<\/a>, B, Java, etc.)<\/li>\n\n\n\n<li>Verification of configuration data (e.g. SCAM parameterization data)<\/li>\n\n\n\n<li>Dead-code detection<\/li>\n\n\n\n<li>Verification of specification rules, design rules, coding rules, etc.<\/li>\n\n\n\n<li>Verification and analysis of metrics<\/li>\n\n\n\n<li>Manual or tool-based verification (e.g. Polyspace\u00ae, IBM Rational\u00ae Logiscope, <a href=\"https:\/\/www.systerel.fr\/en\/innovation\/products\/systerel-smart-solver\/\">model checking<\/a>\u2026), static or dynamic<\/li>\n\n\n\n<li>Verification or creation of traceability matrices<\/li>\n\n\n\n<li>Formal verification of safety properties<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Validation<\/h2>\n\n\n\n<p>Systerel carries out testing activities to ensure that the specified requirements, in particular safety requirements, are satisfied by the developed software.<\/p>\n\n\n\n<p>In the railway domain, software validation is often referred to as \u201csystem-level testing,\u201d in reference to the requirements of standards EN 50128:2011 and EN 50716 for software development.<\/p>\n\n\n\n<p><strong>Examples of activities:<\/strong><\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Writing the validation plan<\/li>\n\n\n\n<li>Unit or component tests (e.g. ATTOL \/ IBM Rational\u00ae Test RealTime \u2026)<\/li>\n\n\n\n<li>System- or acceptance-level testing<\/li>\n\n\n\n<li>Integration tests<\/li>\n\n\n\n<li>Black-box tests (functional, non-functional, regression)<\/li>\n\n\n\n<li>White-box tests (structural)<\/li>\n\n\n\n<li>Performance testing<\/li>\n\n\n\n<li><a href=\"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/using-formal-methods\/\">Modeling and formal proof<\/a> (<a href=\"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/b-method\/\">B<\/a>, <a href=\"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/rodin-platform\/\">event-B<\/a>, <a href=\"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/scade\/\">SCADE<\/a>\u2026)<\/li>\n\n\n\n<li>Subsystem and system validation<\/li>\n\n\n\n<li>Data validation<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Systerel supports all V&amp;V activities required by standards.<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":22,"menu_order":4,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-39","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.5 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Verification &amp; validation - Systerel English<\/title>\n<meta name=\"description\" content=\"Systerel handles industrial verification &amp; validation (V&amp;V) activities and delivers tool-based solutions.\" \/>\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\/solutions\/verification-validation\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Verification &amp; validation - Systerel English\" \/>\n<meta property=\"og:description\" content=\"Systerel handles industrial verification &amp; validation (V&amp;V) activities and delivers tool-based solutions.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systerel.fr\/en\/solutions\/verification-validation\/\" \/>\n<meta property=\"og:site_name\" content=\"Systerel English\" \/>\n<meta property=\"article:modified_time\" content=\"2025-11-27T09:59:22+00:00\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/solutions\\\/verification-validation\\\/\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/solutions\\\/verification-validation\\\/\",\"name\":\"Verification &amp; validation - Systerel English\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\"},\"datePublished\":\"2014-08-29T13:44:17+00:00\",\"dateModified\":\"2025-11-27T09:59:22+00:00\",\"description\":\"Systerel handles industrial verification & validation (V&V) activities and delivers tool-based solutions.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/solutions\\\/verification-validation\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systerel.fr\\\/en\\\/solutions\\\/verification-validation\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/solutions\\\/verification-validation\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Solutions\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/solutions\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Verification &amp; validation\"}]},{\"@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\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Verification &amp; validation - Systerel English","description":"Systerel handles industrial verification & validation (V&V) activities and delivers tool-based solutions.","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\/solutions\/verification-validation\/","og_locale":"en_US","og_type":"article","og_title":"Verification &amp; validation - Systerel English","og_description":"Systerel handles industrial verification & validation (V&V) activities and delivers tool-based solutions.","og_url":"https:\/\/www.systerel.fr\/en\/solutions\/verification-validation\/","og_site_name":"Systerel English","article_modified_time":"2025-11-27T09:59:22+00:00","schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.systerel.fr\/en\/solutions\/verification-validation\/","url":"https:\/\/www.systerel.fr\/en\/solutions\/verification-validation\/","name":"Verification &amp; validation - Systerel English","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/#website"},"datePublished":"2014-08-29T13:44:17+00:00","dateModified":"2025-11-27T09:59:22+00:00","description":"Systerel handles industrial verification & validation (V&V) activities and delivers tool-based solutions.","breadcrumb":{"@id":"https:\/\/www.systerel.fr\/en\/solutions\/verification-validation\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systerel.fr\/en\/solutions\/verification-validation\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.systerel.fr\/en\/solutions\/verification-validation\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systerel.fr\/en\/"},{"@type":"ListItem","position":2,"name":"Solutions","item":"https:\/\/www.systerel.fr\/en\/solutions\/"},{"@type":"ListItem","position":3,"name":"Verification &amp; validation"}]},{"@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"}]}},"_links":{"self":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/39","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/comments?post=39"}],"version-history":[{"count":52,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/39\/revisions"}],"predecessor-version":[{"id":3753,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/39\/revisions\/3753"}],"up":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/22"}],"wp:attachment":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media?parent=39"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}