{"id":310,"date":"2014-09-25T15:15:52","date_gmt":"2014-09-25T14:15:52","guid":{"rendered":"http:\/\/www.systerel.fr\/en\/?page_id=310"},"modified":"2025-11-14T15:17:03","modified_gmt":"2025-11-14T14:17:03","slug":"b-method","status":"publish","type":"page","link":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/b-method\/","title":{"rendered":"B Method Software"},"content":{"rendered":"\n<p class=\"SYSNormal\">Systerel is one of the leaders in the use of the B Method for the development of critical software in an industrial context.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">What is the B Method ?<\/h2>\n\n\n\n<p class=\"SYSNormal\">The B Method is a <a title=\"Formal Methods\" href=\"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/\">formal method<\/a> developed by J.-R. Abrial and used in the industrial field for the development of complex systems.<\/p>\n\n\n\n<p>Based on rigorous mathematical models and property proofs, it contributes to the reliability of critical systems.<\/p>\n\n\n\n<p class=\"SYSNormal\">The B Method is widely used in the development of critical application software in the railway sector by major players such as Alstom and Siemens Transportation. Indeed, it makes it possible to meet the requirements of the CENELEC EN 50128 standard for SIL4-level software development.<\/p>\n\n\n\n<h2 class=\"wp-block-heading SYSNormal\">Development of Railway System Application Software<\/h2>\n\n\n<section class=\"block  blanc avec-onglet\"><\/p>\n<ul>\n<li>Automatic train operation systems for CBTC and metros (ZC, CC, LC,&#8230;)<\/li>\n<li>Speed controllers for the SNCF network (KVB)<\/li>\n<li>Beacon encoders for ERTMS systems<\/li>\n<\/ul>\n<p><\/section>\n\n\n\n<p class=\"SYSNormal\">Systerel has also applied the B Method in other safety- and security-related domains, for example, to model an administration interface for secure IT systems.<\/p>\n\n\n\n<p>Systerel has also applied the B Method in other areas, such as the <a href=\"https:\/\/www.s2opc.com\/\">open-source S2OPC software<\/a>, which complies with the OPC UA communication standard used in multiple industrial sectors.<\/p>\n\n\n\n<h2 class=\"wp-block-heading SYSNormal\">B Method Training<\/h2>\n\n\n<section class=\"block  blanc avec-onglet\"><\/p>\n<ul style=\"list-style: none; padding-left: 0; margin: 0;\">\n<li style=\"color: #000; line-height: 1.8;\">\n    Systerel\u2019s B Method training provides the methodology needed to carry out software developments in B and to master the B language. This practical training prepares you to apply these skills to critical industrial projects.  <\/p>\n<p>    <a style=\"text-decoration: none; font-weight: bold;\" title=\"B Method Implementation Training for Industrial Applications\" href=\"https:\/\/www.systerel.fr\/en\/b-method-training\/\" target=\"_blank\" rel=\"noopener\"><br \/>\n      Learn more about the B Method training<br \/>\n    <\/a>\n  <\/li>\n<\/ul>\n<p><\/section>\n\n\n\n<h2 class=\"wp-block-heading\">Publications<\/h2>\n\n\n\n<p>Publication as part of the 6<sup>th<\/sup> <a href=\"https:\/\/www.southampton.ac.uk\/abz2018\/index.page\" target=\"_blank\" rel=\"noopener\">International ABZ Conference.<\/a><\/p>\n\n\n<a class=\"btn from-shortcode \" href=\"https:\/\/www.systerel.fr\/wp-content\/uploads\/2018\/07\/Modelling-Dynamic-Data-Structures-with-the-B.pdf\" target=\"_blank\"><i class=\"icon-img pdf\"><\/i>Download our publication<\/a>\n","protected":false},"excerpt":{"rendered":"<p>Systerel uses the formal B method for the development of safety-critical software in an industrial context. This technique allows for proving that the software\u2019s formal specification is consistent and that its code conforms to the specification<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":305,"menu_order":3,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-310","page","type-page","status-publish","hentry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.6 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>B Method Software - Systerel English<\/title>\n<meta name=\"description\" content=\"Systerel is one of the leaders in the use of the B Method for the development of critical systems in an industrial context.\" \/>\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\/expertise\/formal-methods\/b-method\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"B Method Software - Systerel English\" \/>\n<meta property=\"og:description\" content=\"Systerel is one of the leaders in the use of the B Method for the development of critical systems in an industrial context.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/b-method\/\" \/>\n<meta property=\"og:site_name\" content=\"Systerel English\" \/>\n<meta property=\"article:modified_time\" content=\"2025-11-14T14:17:03+00:00\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/b-method\\\/\",\"url\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/b-method\\\/\",\"name\":\"B Method Software - Systerel English\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/#website\"},\"datePublished\":\"2014-09-25T14:15:52+00:00\",\"dateModified\":\"2025-11-14T14:17:03+00:00\",\"description\":\"Systerel is one of the leaders in the use of the B Method for the development of critical systems in an industrial context.\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/b-method\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/b-method\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/b-method\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Expertise\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Formal methods\",\"item\":\"https:\\\/\\\/www.systerel.fr\\\/en\\\/expertise\\\/formal-methods\\\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"B Method Software\"}]},{\"@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":"B Method Software - Systerel English","description":"Systerel is one of the leaders in the use of the B Method for the development of critical systems in an industrial context.","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\/expertise\/formal-methods\/b-method\/","og_locale":"en_US","og_type":"article","og_title":"B Method Software - Systerel English","og_description":"Systerel is one of the leaders in the use of the B Method for the development of critical systems in an industrial context.","og_url":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/b-method\/","og_site_name":"Systerel English","article_modified_time":"2025-11-14T14:17:03+00:00","twitter_misc":{"Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/b-method\/","url":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/b-method\/","name":"B Method Software - Systerel English","isPartOf":{"@id":"https:\/\/www.systerel.fr\/en\/#website"},"datePublished":"2014-09-25T14:15:52+00:00","dateModified":"2025-11-14T14:17:03+00:00","description":"Systerel is one of the leaders in the use of the B Method for the development of critical systems in an industrial context.","breadcrumb":{"@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/b-method\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/b-method\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/b-method\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.systerel.fr\/en\/"},{"@type":"ListItem","position":2,"name":"Expertise","item":"https:\/\/www.systerel.fr\/en\/expertise\/"},{"@type":"ListItem","position":3,"name":"Formal methods","item":"https:\/\/www.systerel.fr\/en\/expertise\/formal-methods\/"},{"@type":"ListItem","position":4,"name":"B Method Software"}]},{"@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\/310","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=310"}],"version-history":[{"count":20,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/310\/revisions"}],"predecessor-version":[{"id":3606,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/310\/revisions\/3606"}],"up":[{"embeddable":true,"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/pages\/305"}],"wp:attachment":[{"href":"https:\/\/www.systerel.fr\/en\/wp-json\/wp\/v2\/media?parent=310"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}