{"id":347,"date":"2011-09-21T15:18:36","date_gmt":"2011-09-21T14:18:36","guid":{"rendered":"http:\/\/www.test.atelierb.eu\/?page_id=347"},"modified":"2016-07-26T18:25:44","modified_gmt":"2016-07-26T17:25:44","slug":"articles-de-presse-sur-latelier-b-et-les-methodes-formelles","status":"publish","type":"page","link":"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/articles-de-presse-sur-latelier-b-et-les-methodes-formelles\/","title":{"rendered":"Atelier B Press"},"content":{"rendered":"[vc_row full_width=”stretch_row” css=”.vc_custom_1469439411708{padding-top: 95px !important;padding-bottom: 70px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/visu-header-pages.jpg?id=2315) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column][st_customheading heading=”PRESS” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”middle” css=”.vc_custom_1469439395402{padding-top: 55px !important;padding-bottom: 55px !important;background-color: #f29400 !important;}”][vc_column width=”2\/6″][st_customheading heading=”OUR ARTICLES” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”1\/6″][vc_single_image image=”2750″ img_size=”105×105″ alignment=”center”][\/vc_column][vc_column width=”3\/6″][vc_column_text]You will find right on this page all the articles written about Atelier B.<\/strong>[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”top” css=”.vc_custom_1469440355378{padding-top: 55px !important;padding-bottom: 35px !important;}”][vc_column width=”1\/6″][vc_single_image image=”2278″ img_size=”105×105″ alignment=”center”][\/vc_column][vc_column width=”2\/6″][vc_column_text]\n

TRAINGUARD MT CBTC Safety Software<\/h4>\n

Magazine le Rail<\/h4>\n

Overview of the technologies used by STS to ensure the proper operations of its rail transport automatisms. The coded safety processor protects against calculation errors and the B Method protects against program design errors.<\/p>\n

DOWNLOAD \u00a0 \"pictos-fleche1\"<\/a>[\/vc_column_text][\/vc_column][vc_column width=”1\/6″][vc_single_image image=”2278″ img_size=”105×105″ alignment=”center”][\/vc_column][vc_column width=”2\/6″][vc_column_text]\n

FORMAL METHODS SUPPORT
\nUNIT TESTS<\/h4>\n

Magazine 01 Informatique<\/h4>\n

Presentation of formal methods with proof, the methods used by ClearSy System Engineering in the context of its creation of rail transport safety systems<\/p>\n

DOWNLOAD PDF \u00a0 \"pictos-fleche1\"<\/a>
\nDOWNLOAD PDF 2 \"pictos-fleche1\"<\/a>
\nDOWNLOAD PDF 3 \"pictos-fleche1\"<\/a>[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”top” css=”.vc_custom_1469440365908{padding-top: 55px !important;padding-bottom: 35px !important;}”][vc_column width=”1\/6″][vc_single_image image=”2278″ img_size=”105×105″ alignment=”center”][\/vc_column][vc_column width=”2\/6″][vc_column_text]\n

FROM THE USE OF THE B METHOD<\/h4>\n

Magazine Rail & R<\/h4>\n

Another article that presents the B Method and its use in the current rail transport sector where operational safety is crucial.<\/p>\n

DOWNLOAD PDF\u00a0 \"pictos-fleche1\"<\/a>[\/vc_column_text][\/vc_column][vc_column width=”1\/6″][vc_single_image image=”2278″ img_size=”105×105″ alignment=”center”][\/vc_column][vc_column width=”2\/6″][vc_column_text]\n

ZERO DEFECTS DOES NOT EXIST,
\nBUT WE CAN GET CLOSE<\/h4>\n

Magazine 01 Informatique<\/h4>\n

Presentation by Jean-Raymond Abrial of the B Method, its use and its capacity to come close to zero defects.<\/p>\n

DOWNLOAD PDF \u00a0 \"pictos-fleche1\"<\/a>[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”top” css=”.vc_custom_1469440426180{border-bottom-width: 85px !important;padding-top: 55px !important;}”][vc_column width=”1\/6″][vc_single_image image=”2278″ img_size=”105×105″ alignment=”center”][\/vc_column][vc_column width=”2\/6″ css=”.vc_custom_1469440462375{padding-bottom: 15px !important;}”][vc_column_text]\n

FORMAL METHODS, GUARANTORS OF SYSTEM SAFETY<\/h4>\n

Magazine 01 Informatique<\/h4>\n

Article on Formal Methods applied to the rail transport sector to ensure the security and safety of a system.<\/p>\n

DOWNLOAD PDF \u00a0 \"pictos-fleche1\"<\/a>[\/vc_column_text][\/vc_column][vc_column width=”1\/6″][\/vc_column][vc_column width=”2\/6″][\/vc_column][\/vc_row][vc_row full_width=”stretch_row_content_no_spaces” css=”.vc_custom_1469440444386{margin-top: 65px !important;margin-bottom: -60px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/footer-visu2.jpg?id=2296) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column][vc_empty_space height=”350″][\/vc_column][\/vc_row]\n","protected":false},"excerpt":{"rendered":"

[vc_row full_width=”stretch_row” css=”.vc_custom_1469439411708{padding-top: 95px !important;padding-bottom: 70px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/visu-header-pages.jpg?id=2315) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column][st_customheading heading=”PRESS” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”middle” css=”.vc_custom_1469439395402{padding-top: 55px !important;padding-bottom: 55px !important;background-color: #f29400 !important;}”][vc_column width=”2\/6″][st_customheading heading=”OUR ARTICLES” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”1\/6″][vc_single_image image=”2750″ img_size=”105×105″ alignment=”center”][\/vc_column][vc_column width=”3\/6″][vc_column_text]You will find right on this page all the articles written about Atelier B.[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”top” css=”.vc_custom_1469440355378{padding-top: 55px !important;padding-bottom: […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":267,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"amp_status":""},"yoast_head":"\nAtelier B Press | Atelier B<\/title>\n<meta name=\"description\" content=\"You will find right on this page all the articles written about Atelier B. TRAINGUARD MT CBTC Safety Software Magazine le Rail Overview of the\" \/>\n<meta name=\"robots\" content=\"index, follow\" \/>\n<meta name=\"googlebot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<meta name=\"bingbot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.atelierb.eu\/references-industrielles-atelier-b\/articles-de-presse-sur-latelier-b-et-les-methodes-formelles\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Atelier B Press | Atelier B\" \/>\n<meta property=\"og:description\" content=\"You will find right on this page all the articles written about Atelier B. TRAINGUARD MT CBTC Safety Software Magazine le Rail Overview of the\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/articles-de-presse-sur-latelier-b-et-les-methodes-formelles\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:modified_time\" content=\"2016-07-26T17:25:44+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/pictos-fleche1.png\" \/>\n<meta name=\"twitter:card\" content=\"summary\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\",\"url\":\"https:\/\/www.atelierb.eu\/en\/\",\"name\":\"Atelier B\",\"description\":\"Atelier de G\\u00e9nie Logiciel\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":\"https:\/\/www.atelierb.eu\/en\/?s={search_term_string}\",\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/articles-de-presse-sur-latelier-b-et-les-methodes-formelles\/#primaryimage\",\"inLanguage\":\"fr-FR\",\"url\":\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/pictos-fleche1.png\",\"width\":256,\"height\":256},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/articles-de-presse-sur-latelier-b-et-les-methodes-formelles\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/articles-de-presse-sur-latelier-b-et-les-methodes-formelles\/\",\"name\":\"Atelier B Press | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/articles-de-presse-sur-latelier-b-et-les-methodes-formelles\/#primaryimage\"},\"datePublished\":\"2011-09-21T14:18:36+00:00\",\"dateModified\":\"2016-07-26T17:25:44+00:00\",\"description\":\"You will find right on this page all the articles written about Atelier B. TRAINGUARD MT CBTC Safety Software Magazine le Rail Overview of the\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/articles-de-presse-sur-latelier-b-et-les-methodes-formelles\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/articles-de-presse-sur-latelier-b-et-les-methodes-formelles\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/articles-de-presse-sur-latelier-b-et-les-methodes-formelles\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/\",\"url\":\"https:\/\/www.atelierb.eu\/\",\"name\":\"Accueil\"}},{\"@type\":\"ListItem\",\"position\":2,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/\",\"name\":\"Industrial References for Atelier B\"}},{\"@type\":\"ListItem\",\"position\":3,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/articles-de-presse-sur-latelier-b-et-les-methodes-formelles\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/articles-de-presse-sur-latelier-b-et-les-methodes-formelles\/\",\"name\":\"Atelier B Press\"}}]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/347\/"}],"collection":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/"}],"about":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/types\/page\/"}],"author":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/users\/1\/"}],"replies":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/comments\/?post=347"}],"version-history":[{"count":4,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/347\/revisions\/"}],"predecessor-version":[{"id":2913,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/347\/revisions\/2913\/"}],"up":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/267\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=347"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}