{"id":14824,"date":"2020-07-24T17:35:25","date_gmt":"2020-07-24T15:35:25","guid":{"rendered":"http:\/\/localhost:8888\/clearsy\/references\/bsvr\/"},"modified":"2021-06-01T11:57:07","modified_gmt":"2021-06-01T09:57:07","slug":"bsvr","status":"publish","type":"references","link":"https:\/\/www.clearsy.com\/en\/references\/bsvr\/","title":{"rendered":"Control of coherence between code and specifications"},"content":{"rendered":"\r\n<h2 class=\"wp-block-heading\">Control of coherence between code and specifications<\/h2>\r\n\r\n\r\n\r\n<p class=\"lanceur\">CLEARSY has the role of \u201cexternal controller\u201d within the context of developing these projects, undertaking to make an inventory of the various modifications implemented in the specification document and\/or B model.<\/p>\r\n\r\n\r\n\r\n<ul class=\"wp-block-list\">\r\n<li><strong>Our role :<\/strong> External controller<\/li>\r\n<\/ul>\r\n\r\n\r\n\r\n<h2 class=\"wp-block-heading\">Context<\/h2>\r\n\r\n\r\n\r\n<p class=\"lanceur\">Within the context of developing certain security software products, numerous companies call upon the B Method.<\/p>\r\n\r\n\r\n\r\n<p>The development of these projects focuses on the drafting of a specification document and a B model enabling the expected software product to be achieved after being translated into the Ada language.<\/p>\r\n\r\n\r\n\r\n<h2 class=\"wp-block-heading\">Our actions<\/h2>\r\n\r\n\r\n\r\n<p>CLEARSY has the role of \u201cexternal controller\u201d within the context of developing these projects, undertaking to make an inventory of the various modifications implemented in the specification document and\/or B model. This fairly common practice of requesting an external company to take care of checking the code and its coherence as regards the established specifications is assured within CLEARSY via various activities.<\/p>\r\n\r\n\r\n\r\n<p class=\"lanceur\">We are able to distinguish between 3 stages during these activities:<\/p>\r\n\r\n\r\n\r\n<ul class=\"wp-block-list\">\r\n<li>A document \u2013 verification report \u2013 is drafted, enabling the coherence between the two elements to be accounted for (code and specification), following any modifications carried out.<\/li>\r\n<li>Indeed, a model proving activity enables one to ensure that there is no regression following modifications to the principles imposed by use of the B Method.<\/li>\r\n<li>Finally, two translations \u2013 using two different chains in machine code \u2013 are produced, and the comparison of the two results enables the coherence of the generated software to be assured.<\/li>\r\n<\/ul>\r\n\r\n\r\n\r\n<p>We note that these last two stages are specific to the decision to use the B Method.<\/p>\r\n","protected":false},"excerpt":{"rendered":"<p>Control of coherence between code and specifications CLEARSY has the role of \u201cexternal controller\u201d within the context of developing these [&hellip;]<\/p>\n","protected":false},"featured_media":15054,"template":"","secteur":[],"domaines_references":[693],"class_list":["post-14824","references","type-references","status-publish","has-post-thumbnail","hentry","domaines_references-railway"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Control of coherence between code and specifications - CLEARSY<\/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.clearsy.com\/en\/references\/bsvr\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Control of coherence between code and specifications - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"Control of coherence between code and specifications CLEARSY has the role of \u201cexternal controller\u201d within the context of developing these [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/references\/bsvr\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:modified_time\" content=\"2021-06-01T09:57:07+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/methode-b.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1170\" \/>\n\t<meta property=\"og:image:height\" content=\"615\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/bsvr\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/bsvr\\\/\",\"name\":\"Control of coherence between code and specifications - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/bsvr\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/bsvr\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/07\\\/methode-b.jpg\",\"datePublished\":\"2020-07-24T15:35:25+00:00\",\"dateModified\":\"2021-06-01T09:57:07+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/bsvr\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/bsvr\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/bsvr\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/07\\\/methode-b.jpg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/07\\\/methode-b.jpg\",\"width\":1170,\"height\":615,\"caption\":\"logo Methode B\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/bsvr\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"References\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/references\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Control of coherence between code and specifications\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"name\":\"CLEARSY\",\"description\":\"Safety Solutions Designer\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\",\"name\":\"CLEARSY\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"width\":652,\"height\":163,\"caption\":\"CLEARSY\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Control of coherence between code and specifications - CLEARSY","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.clearsy.com\/en\/references\/bsvr\/","og_locale":"en_US","og_type":"article","og_title":"Control of coherence between code and specifications - CLEARSY","og_description":"Control of coherence between code and specifications CLEARSY has the role of \u201cexternal controller\u201d within the context of developing these [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/references\/bsvr\/","og_site_name":"CLEARSY","article_modified_time":"2021-06-01T09:57:07+00:00","og_image":[{"width":1170,"height":615,"url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/methode-b.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/references\/bsvr\/","url":"https:\/\/www.clearsy.com\/en\/references\/bsvr\/","name":"Control of coherence between code and specifications - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/references\/bsvr\/#primaryimage"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/references\/bsvr\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/methode-b.jpg","datePublished":"2020-07-24T15:35:25+00:00","dateModified":"2021-06-01T09:57:07+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/references\/bsvr\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/references\/bsvr\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/references\/bsvr\/#primaryimage","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/methode-b.jpg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/07\/methode-b.jpg","width":1170,"height":615,"caption":"logo Methode B"},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/references\/bsvr\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"References","item":"https:\/\/www.clearsy.com\/en\/references\/"},{"@type":"ListItem","position":3,"name":"Control of coherence between code and specifications"}]},{"@type":"WebSite","@id":"https:\/\/www.clearsy.com\/en\/#website","url":"https:\/\/www.clearsy.com\/en\/","name":"CLEARSY","description":"Safety Solutions Designer","publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.clearsy.com\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.clearsy.com\/en\/#organization","name":"CLEARSY","url":"https:\/\/www.clearsy.com\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","width":652,"height":163,"caption":"CLEARSY"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/references\/14824","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/references"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/references"}],"version-history":[{"count":0,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/references\/14824\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media\/15054"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=14824"}],"wp:term":[{"taxonomy":"secteur","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/secteur?post=14824"},{"taxonomy":"domaines_references","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/domaines_references?post=14824"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}