{"id":267,"date":"2011-09-14T13:12:48","date_gmt":"2011-09-14T12:12:48","guid":{"rendered":"http:\/\/www.test.atelierb.eu\/?page_id=267"},"modified":"2016-07-26T17:28:22","modified_gmt":"2016-07-26T16:28:22","slug":"references-industrielles-atelier-b","status":"publish","type":"page","link":"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/","title":{"rendered":"Industrial References for Atelier B"},"content":{"rendered":"[vc_row full_width=”stretch_row” css=”.vc_custom_1469444339600{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=”REFERENCES” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469444431609{padding-top: 75px !important;padding-bottom: 55px !important;}”][vc_column][st_customheading heading=”INDUSTRIAL REFERENCES FOR ATELIER B” heading_color=”#eb690b” content_align=”text-center”][vc_row_inner content_placement=”top” css=”.vc_custom_1469444478757{padding-top: 45px !important;}”][vc_column_inner width=”1\/6″][vc_single_image image=”2769″ img_size=”full” alignment=”center”][\/vc_column_inner][vc_column_inner width=”2\/6″ css=”.vc_custom_1469446509928{border-right-width: 1px !important;padding-right: 25px !important;border-right-color: #ededed !important;border-right-style: solid !important;}”][vc_column_text]\n

CLIENT : ALSTOM<\/strong><\/h4>\n

> URBALIS EVOLUTION :<\/strong> Modelling, creation and formal proof (B method) of the SIL 4 on-board software for the new Peking underground commissioned for the 2008 Olympic Games: energy and location control. In addition creation of a safety tool for the generation of railway data that configures the on-board software.
\n> URBALIS 200 : <\/strong>Development of a safety (SIL4), validation and integration application for undergrounds in Santiago, Madrid, Seoul and Delhi
\n> URBALIS 300 :<\/strong> Development of a safety (SIL4), validation and integration application for undergrounds in Singapore and Lausanne
\n> DTVT :<\/strong> Tool for checking the B properties on railway invariants<\/p>\n[\/vc_column_text][\/vc_column_inner][vc_column_inner width=”1\/6″][vc_single_image image=”2772″ img_size=”full” alignment=”center”][\/vc_column_inner][vc_column_inner width=”2\/6″][vc_column_text]\n

CLIENT : SIEMENS<\/strong><\/h4>\n

> TRAINGUARD :<\/strong> Participation in the B development of the CBTC Trainguard product.
\n> BARCELONE BORD :<\/strong> Safety software B development for the Barcelona underground
\n> VAL DE ROISSY : <\/strong>Development of the following software, according to B method: creation of the formal general design (requirements) and the formal detailed design (algorithm and code); mathematical proof of coherence, refinement and coding.
\n> METRO DE NEW YORK :<\/strong> Proof Validation OURAGAN Ligne 3.<\/p>\n[\/vc_column_text][\/vc_column_inner][\/vc_row_inner][vc_row_inner content_placement=”top” css=”.vc_custom_1469444478757{padding-top: 45px !important;}”][vc_column_inner width=”1\/6″][vc_single_image image=”2776″ img_size=”full” alignment=”center”][\/vc_column_inner][vc_column_inner width=”2\/6″ css=”.vc_custom_1469446535924{border-right-width: 1px !important;padding-right: 25px !important;border-right-color: #ededed !important;border-right-style: solid !important;}”][vc_column_text]\n

CLIENT : RATP<\/strong><\/h4>\n

> DOF1 :<\/strong> System modelling, safety software development
\n> COPPILOT :<\/strong> System modelling, safety software development
\n> COPP :<\/strong> System modelling, safety software development
\n><\/strong> Tool for checking the B properties on railway invariants<\/p>\n[\/vc_column_text][\/vc_column_inner][vc_column_inner width=”1\/6″][vc_single_image image=”2779″ img_size=”full” alignment=”center”][\/vc_column_inner][vc_column_inner width=”2\/6″][vc_column_text]\n

CLIENT : CNIM<\/strong><\/h4>\n

> SPRAT :<\/strong> Modelling the electronic architecture of a specific military vehicle<\/p>\n[\/vc_column_text][\/vc_column_inner][\/vc_row_inner][vc_row_inner content_placement=”top” css=”.vc_custom_1469444478757{padding-top: 45px !important;}”][vc_column_inner width=”1\/6″][vc_single_image image=”2782″ img_size=”full” alignment=”center”][\/vc_column_inner][vc_column_inner width=”2\/6″ css=”.vc_custom_1469446587872{border-right-width: 1px !important;padding-right: 25px !important;border-right-color: #ededed !important;border-right-style: solid !important;}”][vc_column_text]\n

CLIENT : ATMEL<\/strong><\/h4>\n

><\/strong> Several modelling projects for a smart card security policy at a Common Criteria EAL5+ certification level<\/p>\n[\/vc_column_text][\/vc_column_inner][vc_column_inner width=”1\/6″][vc_single_image image=”2785″ img_size=”full” alignment=”center”][\/vc_column_inner][vc_column_inner width=”2\/6″][vc_column_text]\n

CLIENT : DGA<\/strong><\/h4>\n

> OISAU : <\/strong>Study based on the creation of a requirement specification for a new standard concerning the opening and interoperability of autonomous systems<\/p>\n[\/vc_column_text][\/vc_column_inner][\/vc_row_inner][vc_row_inner content_placement=”top” css=”.vc_custom_1469444478757{padding-top: 45px !important;}”][vc_column_inner width=”1\/6″][vc_single_image image=”2788″ img_size=”full” alignment=”center”][\/vc_column_inner][vc_column_inner width=”2\/6″ css=”.vc_custom_1469446619748{border-right-width: 1px !important;padding-right: 25px !important;border-right-color: #ededed !important;border-right-style: solid !important;}”][vc_column_text]\n

CLIENT : CNES<\/strong><\/h4>\n

> RESEARCH :<\/strong> Ignition Detection
\n> RESEARCH :<\/strong> Limbs
\n> RESEARCH :<\/strong> Servogovern<\/p>\n[\/vc_column_text][\/vc_column_inner][vc_column_inner width=”1\/6″][vc_single_image image=”2791″ img_size=”full” alignment=”center”][\/vc_column_inner][vc_column_inner width=”2\/6″][vc_column_text]\n

CLIENT : PSA<\/strong><\/h4>\n

> BR-VV :<\/strong> Modelling of the operating principles for 3 car models.<\/p>\n[\/vc_column_text][\/vc_column_inner][\/vc_row_inner][vc_row_inner content_placement=”top” css=”.vc_custom_1469444478757{padding-top: 45px !important;}”][vc_column_inner width=”1\/6″][vc_single_image image=”2794″ img_size=”full” alignment=”center”][\/vc_column_inner][vc_column_inner width=”2\/6″ css=”.vc_custom_1469446638924{border-right-width: 1px !important;padding-right: 25px !important;border-right-color: #ededed !important;border-right-style: solid !important;}”][vc_column_text]\n

CLIENT : STMICROELECTRONICS<\/strong><\/h4>\n

> FORCOMENT :<\/strong> Modelling of micro-electronic components
\n> L4B4 :<\/strong> Development of a micro-kernel
\n> PHENIX :<\/strong> Modelling of a smart card security policy at a Common Criteria EAL5+ certification level<\/p>\n[\/vc_column_text][\/vc_column_inner][vc_column_inner width=”1\/6″][\/vc_column_inner][vc_column_inner width=”2\/6″][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_row full_width=”stretch_row_content_no_spaces” css=”.vc_custom_1469444376813{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=”350px”][\/vc_column][\/vc_row]\n","protected":false},"excerpt":{"rendered":"

[vc_row full_width=”stretch_row” css=”.vc_custom_1469444339600{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=”REFERENCES” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” css=”.vc_custom_1469444431609{padding-top: 75px !important;padding-bottom: 55px !important;}”][vc_column][st_customheading heading=”INDUSTRIAL REFERENCES FOR ATELIER B” heading_color=”#eb690b” content_align=”text-center”][vc_row_inner content_placement=”top” css=”.vc_custom_1469444478757{padding-top: 45px !important;}”][vc_column_inner width=”1\/6″][vc_single_image image=”2769″ img_size=”full” alignment=”center”][\/vc_column_inner][vc_column_inner width=”2\/6″ css=”.vc_custom_1469446509928{border-right-width: 1px !important;padding-right: 25px !important;border-right-color: #ededed !important;border-right-style: solid !important;}”][vc_column_text] CLIENT : ALSTOM > URBALIS EVOLUTION […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"amp_status":""},"yoast_head":"\nIndustrial References for Atelier B | Atelier B<\/title>\n<meta name=\"description\" content=\"CLIENT : ALSTOM > URBALIS EVOLUTION : Modelling, creation and formal proof (B method) of the SIL 4 on-board software for the new Peking underground\" \/>\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\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Industrial References for Atelier B | Atelier B\" \/>\n<meta property=\"og:description\" content=\"CLIENT : ALSTOM > URBALIS EVOLUTION : Modelling, creation and formal proof (B method) of the SIL 4 on-board software for the new Peking underground\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:modified_time\" content=\"2016-07-26T16:28:22+00:00\" \/>\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\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/\",\"name\":\"Industrial References for Atelier B | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"datePublished\":\"2011-09-14T12:12:48+00:00\",\"dateModified\":\"2016-07-26T16:28:22+00:00\",\"description\":\"CLIENT : ALSTOM > URBALIS EVOLUTION : Modelling, creation and formal proof (B method) of the SIL 4 on-board software for the new Peking underground\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/references-industrielles-atelier-b\/#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\"}}]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/267\/"}],"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=267"}],"version-history":[{"count":4,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/267\/revisions\/"}],"predecessor-version":[{"id":2893,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/267\/revisions\/2893\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=267"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}