{"id":1957,"date":"2017-11-16T09:08:00","date_gmt":"2017-11-16T08:08:00","guid":{"rendered":"https:\/\/www.prover.com\/?p=1957"},"modified":"2025-01-07T14:28:23","modified_gmt":"2025-01-07T13:28:23","slug":"prover-technology-au-service-de-la-digitalisation-du-ferroviaire","status":"publish","type":"post","link":"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/","title":{"rendered":"Prover Technology au service de la digitalisation du ferroviaire"},"content":{"rendered":"<p><em>Le secteur ferroviaire mondial est en pleine croissance!<\/em> Son march\u00e9 est estim\u00e9 \u00e0 113 Mds \u20ac pour 2017-2020, avec une croissance annuelle de +1,5 %. La France r\u00e9siste bien et se positionne comme la 3e puissance mondiale du ferroviaire derri\u00e8re l\u2019Allemagne et la Chine. Le march\u00e9 int\u00e9rieur fran\u00e7ais est en progression \u00e0 8,2 Mds \u20ac en 2015-2017.<\/p>\n<p>La France b\u00e9n\u00e9ficie d\u2019une notori\u00e9t\u00e9 importante dans le monde gr\u00e2ce \u00e0 ses acteurs industriels majeurs, son expertise, et ses innovations technologiques.<\/p>\n<p>Le march\u00e9 fran\u00e7ais, avec de grands projets \u00e0 court, moyen terme tels que l\u2019extension de nouvelles lignes, et l\u2019installation de LGV (Ligne Grande Vitesse), se porte bien. En particulier l\u2019Ile de France est tr\u00e8s dynamique avec divers travaux de prolongement et d\u2019automatisation sur les lignes de m\u00e9tro 4, 6, 11 et 14, la ligne du RER A, et le projet du \u00ab\u00a0Grand Paris\u00a0\u00bb.<\/p>\n<p>Un des principaux d\u00e9fis des op\u00e9rateurs et gestionnaires d\u2019infrastructures est de pouvoir g\u00e9rer le niveau croissant de complexit\u00e9 des syst\u00e8mes de signalisation. La s\u00e9curit\u00e9 est un des enjeux majeurs avec en plus des besoins d\u2019accroissement de capacit\u00e9, de mise en exploitation rapide et avec des co\u00fbts d\u2019op\u00e9rations et de maintenance r\u00e9duits.<\/p>\n<p>Chez Prover Technology nous avons la conviction que la digitalisation du ferroviaire est une \u00e9tape fondamentale dans le d\u00e9veloppement des nouveaux syst\u00e8mes de signalisation.<\/p>\n<p><a href=\"https:\/\/www.prover.com\/software-solutions-rail-control\/prover-trident\/\">Prover Trident<\/a> est un nouveau concept moderne de d\u00e9veloppement de syst\u00e8mes de signalisation. Il est bas\u00e9 sur un ensemble g\u00e9n\u00e9rique de sp\u00e9cifications formelles et d\u2019outils logiciels permettant l&#8217;automatisation de la conception. Il inclue la g\u00e9n\u00e9ration de code, le test fonctionnel, la simulation et la v\u00e9rification formelle de propri\u00e9t\u00e9s de s\u00e9curit\u00e9. Il permet d\u2019optimiser les co\u00fbts, r\u00e9duire la maintenance et minimise les risques de retard sur l&#8217;ensemble du cycle de vie du projet.<\/p>\n<p><a href=\"https:\/\/www.prover.com\/software-solutions-rail-control\/prover-certifier\/\">Prover Certifier<\/a> est le seul outil de v\u00e9rification formelle sur le march\u00e9 qui vous permet d\u2019obtenir automatiquement des preuves de s\u00e9curit\u00e9 compl\u00e8tes pour la certification CENELEC EN50128 SIL 4.<\/p>\n<ul>\n<li>Analyse statique de code<\/li>\n<li>Preuve de propri\u00e9t\u00e9s \u2013 certification<\/li>\n<li>Preuve de propri\u00e9t\u00e9s d\u00e9finies par l\u2019utilisateur avec outils d\u2019analyse de contre-exemples<\/li>\n<li>Conforme \u00e0 la norme EN 50128:2011, outil de classe T2 pour syst\u00e8mes SIL4<\/li>\n<li>Langages : C , Ada , SCADE (v5, v6)<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Le secteur ferroviaire mondial est en pleine croissance! Son march\u00e9 est estim\u00e9 \u00e0 113 Mds \u20ac pour 2017-2020, avec une  [&#8230;]<\/p>\n","protected":false},"author":18,"featured_media":20643,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[159],"tags":[85,83,88],"class_list":["post-1957","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-company-news","tag-future-of-railway","tag-railway-industry","tag-software-development"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Prover Technology au service de la digitalisation du ferroviaire - Prover - Engineering a Safer World<\/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.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Prover Technology au service de la digitalisation du ferroviaire - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Le secteur ferroviaire mondial est en pleine croissance! Son march\u00e9 est estim\u00e9 \u00e0 113 Mds \u20ac pour 2017-2020, avec une [...]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2017-11-16T08:08:00+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-07T13:28:23+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"1707\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Thierry Lartaud\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Thierry Lartaud\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/\"},\"author\":{\"name\":\"Thierry Lartaud\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/c63088c510d5d0c1778d21de1b5e0ed9\"},\"headline\":\"Prover Technology au service de la digitalisation du ferroviaire\",\"datePublished\":\"2017-11-16T08:08:00+00:00\",\"dateModified\":\"2025-01-07T13:28:23+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/\"},\"wordCount\":406,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg\",\"keywords\":[\"Future of Railway\",\"Railway Industry\",\"Software Development\"],\"articleSection\":[\"Company news\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/\",\"url\":\"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/\",\"name\":\"Prover Technology au service de la digitalisation du ferroviaire - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg\",\"datePublished\":\"2017-11-16T08:08:00+00:00\",\"dateModified\":\"2025-01-07T13:28:23+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg\",\"width\":2560,\"height\":1707,\"caption\":\"Paris\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Company news\",\"item\":\"https:\/\/www.prover.com\/categories\/company-news\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Prover Technology au service de la digitalisation du ferroviaire\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/prover.com\/#website\",\"url\":\"https:\/\/prover.com\/\",\"name\":\"Prover - Engineering a Safer World\",\"description\":\"Interlocking Design Automation to meet demand for complex digital train control\",\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/prover.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/prover.com\/#organization\",\"name\":\"Prover - Engineering a Safer World\",\"url\":\"https:\/\/prover.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"width\":222,\"height\":22,\"caption\":\"Prover - Engineering a Safer World\"},\"image\":{\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/c63088c510d5d0c1778d21de1b5e0ed9\",\"name\":\"Thierry Lartaud\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/d2ce1049745b9624c7670fad7065436745db672f395120a6e663f851244c298d?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/d2ce1049745b9624c7670fad7065436745db672f395120a6e663f851244c298d?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/d2ce1049745b9624c7670fad7065436745db672f395120a6e663f851244c298d?s=96&d=mm&r=g\",\"caption\":\"Thierry Lartaud\"},\"url\":\"https:\/\/www.prover.com\/author\/thierry-lartaud\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Prover Technology au service de la digitalisation du ferroviaire - Prover - Engineering a Safer World","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.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/","og_locale":"en_US","og_type":"article","og_title":"Prover Technology au service de la digitalisation du ferroviaire - Prover - Engineering a Safer World","og_description":"Le secteur ferroviaire mondial est en pleine croissance! Son march\u00e9 est estim\u00e9 \u00e0 113 Mds \u20ac pour 2017-2020, avec une [...]","og_url":"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2017-11-16T08:08:00+00:00","article_modified_time":"2025-01-07T13:28:23+00:00","og_image":[{"width":2560,"height":1707,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg","type":"image\/jpeg"}],"author":"Thierry Lartaud","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Thierry Lartaud","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/"},"author":{"name":"Thierry Lartaud","@id":"https:\/\/prover.com\/#\/schema\/person\/c63088c510d5d0c1778d21de1b5e0ed9"},"headline":"Prover Technology au service de la digitalisation du ferroviaire","datePublished":"2017-11-16T08:08:00+00:00","dateModified":"2025-01-07T13:28:23+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/"},"wordCount":406,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg","keywords":["Future of Railway","Railway Industry","Software Development"],"articleSection":["Company news"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/","url":"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/","name":"Prover Technology au service de la digitalisation du ferroviaire - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg","datePublished":"2017-11-16T08:08:00+00:00","dateModified":"2025-01-07T13:28:23+00:00","breadcrumb":{"@id":"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/11\/iStock-512152818-scaled.jpg","width":2560,"height":1707,"caption":"Paris"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/company-news\/prover-technology-au-service-de-la-digitalisation-du-ferroviaire\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Company news","item":"https:\/\/www.prover.com\/categories\/company-news\/"},{"@type":"ListItem","position":3,"name":"Prover Technology au service de la digitalisation du ferroviaire"}]},{"@type":"WebSite","@id":"https:\/\/prover.com\/#website","url":"https:\/\/prover.com\/","name":"Prover - Engineering a Safer World","description":"Interlocking Design Automation to meet demand for complex digital train control","publisher":{"@id":"https:\/\/prover.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/prover.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/prover.com\/#organization","name":"Prover - Engineering a Safer World","url":"https:\/\/prover.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","width":222,"height":22,"caption":"Prover - Engineering a Safer World"},"image":{"@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/prover.com\/#\/schema\/person\/c63088c510d5d0c1778d21de1b5e0ed9","name":"Thierry Lartaud","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/d2ce1049745b9624c7670fad7065436745db672f395120a6e663f851244c298d?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/d2ce1049745b9624c7670fad7065436745db672f395120a6e663f851244c298d?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/d2ce1049745b9624c7670fad7065436745db672f395120a6e663f851244c298d?s=96&d=mm&r=g","caption":"Thierry Lartaud"},"url":"https:\/\/www.prover.com\/author\/thierry-lartaud\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1957","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/18"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=1957"}],"version-history":[{"count":1,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1957\/revisions"}],"predecessor-version":[{"id":6556,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1957\/revisions\/6556"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/20643"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=1957"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=1957"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=1957"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}