{"id":1819,"date":"2017-10-18T12:55:04","date_gmt":"2017-10-18T11:55:04","guid":{"rendered":"https:\/\/www.prover.com\/?p=1819"},"modified":"2025-01-08T15:50:07","modified_gmt":"2025-01-08T14:50:07","slug":"modern-rail-control-solutions","status":"publish","type":"post","link":"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/","title":{"rendered":"Justify investment in modern rail control solutions"},"content":{"rendered":"

Software for automating the development of signaling control solutions is critical for fast, cost efficient and safe development and deployment of modern rail control solutions.<\/p>\n

Business case for rail control solutions<\/h2>\n
\n
\n
\n

To build a business case for software automation for rail control you should compare traditional methods for developing signaling applications with a state of the art process based on formalized specifications and automation tools. Experience shows that using a modern Interlocking Design Automation process you will significantly reduce time to market, reduce life cycle costs to half, and greatly simplify the safety assessment process.<\/p>\n

Here you can find more information about IDeA and Prover\u2019s implementation of this concept, Prover Trident.<\/a><\/p>\n<\/div>\n

\n

We have developed a document that will give you an introduction on how to build the business case for this investment. To be able to fully adapt the business case for your organization we recommend that you discuss your needs with one of our experts, who will guide you through the process and help you quantify the specific data in your use case.<\/p>\n

\n
\n
\n
\n

The ROI calculation is centered around analyzing the costs for the following components:<\/p>\n

    \n
  1. Generic products (License fees or internal development costs)<\/li>\n
  2. Non-recurring engineering effort (Generic specification & application)<\/li>\n
  3. Safety case<\/li>\n
  4. Engineering efforts recurring for each installation (specific application), including specification, development, test and safety verification<\/li>\n
  5. Design changes after installation & maintenance<\/li>\n
  6. Total life cycle cost<\/li>\n<\/ol>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n

    Do you need help with your business case?<\/h2>\n<\/div>\n

    If you want help to build your business case we can set up a meeting and support you with the process. You can send a request for the meeting on this page.<\/a><\/strong><\/p>\n<\/div>\n<\/div>\n<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"

    Justify investment in modern rail control solutions<\/p>\n","protected":false},"author":13,"featured_media":19772,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[152],"tags":[89,90],"class_list":["post-1819","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-formal-methods","tag-business-case","tag-rail-control-solutions"],"yoast_head":"\nJustify investment in modern rail control solutions - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Justify investment in modern rail control solutions\" \/>\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\/formal-methods\/modern-rail-control-solutions\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Justify investment in modern rail control solutions - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Justify investment in modern rail control solutions\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2017-10-18T11:55:04+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-08T14:50:07+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/iStock-484744902-scaled.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"1696\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Anders Linden\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Anders Linden\" \/>\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\/formal-methods\/modern-rail-control-solutions\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/\"},\"author\":{\"name\":\"Anders Linden\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8c9c39a0d3a9071571558e15bb704155\"},\"headline\":\"Justify investment in modern rail control solutions\",\"datePublished\":\"2017-10-18T11:55:04+00:00\",\"dateModified\":\"2025-01-08T14:50:07+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/\"},\"wordCount\":472,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/iStock-484744902-scaled.jpg\",\"keywords\":[\"Business case\",\"Rail Control Solutions\"],\"articleSection\":[\"Formal methods\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/\",\"url\":\"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/\",\"name\":\"Justify investment in modern rail control solutions - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/iStock-484744902-scaled.jpg\",\"datePublished\":\"2017-10-18T11:55:04+00:00\",\"dateModified\":\"2025-01-08T14:50:07+00:00\",\"description\":\"Justify investment in modern rail control solutions\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/iStock-484744902-scaled.jpg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/iStock-484744902-scaled.jpg\",\"width\":2560,\"height\":1696},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Formal methods\",\"item\":\"https:\/\/www.prover.com\/categories\/formal-methods\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Justify investment in modern rail control solutions\"}]},{\"@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\/8c9c39a0d3a9071571558e15bb704155\",\"name\":\"Anders Linden\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g\",\"caption\":\"Anders Linden\"},\"url\":\"https:\/\/www.prover.com\/author\/anders-linden\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Justify investment in modern rail control solutions - Prover - Engineering a Safer World","description":"Justify investment in modern rail control solutions","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\/formal-methods\/modern-rail-control-solutions\/","og_locale":"en_US","og_type":"article","og_title":"Justify investment in modern rail control solutions - Prover - Engineering a Safer World","og_description":"Justify investment in modern rail control solutions","og_url":"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2017-10-18T11:55:04+00:00","article_modified_time":"2025-01-08T14:50:07+00:00","og_image":[{"width":2560,"height":1696,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/iStock-484744902-scaled.jpg","type":"image\/jpeg"}],"author":"Anders Linden","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Anders Linden","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/"},"author":{"name":"Anders Linden","@id":"https:\/\/prover.com\/#\/schema\/person\/8c9c39a0d3a9071571558e15bb704155"},"headline":"Justify investment in modern rail control solutions","datePublished":"2017-10-18T11:55:04+00:00","dateModified":"2025-01-08T14:50:07+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/"},"wordCount":472,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/iStock-484744902-scaled.jpg","keywords":["Business case","Rail Control Solutions"],"articleSection":["Formal methods"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/","url":"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/","name":"Justify investment in modern rail control solutions - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/iStock-484744902-scaled.jpg","datePublished":"2017-10-18T11:55:04+00:00","dateModified":"2025-01-08T14:50:07+00:00","description":"Justify investment in modern rail control solutions","breadcrumb":{"@id":"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/iStock-484744902-scaled.jpg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/iStock-484744902-scaled.jpg","width":2560,"height":1696},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/formal-methods\/modern-rail-control-solutions\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Formal methods","item":"https:\/\/www.prover.com\/categories\/formal-methods\/"},{"@type":"ListItem","position":3,"name":"Justify investment in modern rail control solutions"}]},{"@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\/8c9c39a0d3a9071571558e15bb704155","name":"Anders Linden","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/3e40ec9a94d11f911222d65a99690f116648e5e9f8677d5492581f0ae0d3bb09?s=96&d=mm&r=g","caption":"Anders Linden"},"url":"https:\/\/www.prover.com\/author\/anders-linden\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1819","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\/13"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=1819"}],"version-history":[{"count":6,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1819\/revisions"}],"predecessor-version":[{"id":20716,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1819\/revisions\/20716"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/19772"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=1819"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=1819"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=1819"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}