{"id":1802,"date":"2017-10-04T09:40:48","date_gmt":"2017-10-04T08:40:48","guid":{"rendered":"https:\/\/www.prover.com\/?p=1802"},"modified":"2025-01-07T14:42:00","modified_gmt":"2025-01-07T13:42:00","slug":"safety-for-modern-railroads","status":"publish","type":"post","link":"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/","title":{"rendered":"How to handle complexity and safety for modern railroads"},"content":{"rendered":"<p><span style=\"font-weight: 400;\">The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better use of the existing infrastructure, while maintaining the highest level of safety. This also means that the task of assessing the safety and function of these system becomes more and more complex and often constitutes a significant part of the overall development costs. <\/span><\/p>\n<p><span style=\"font-weight: 400;\">We have created a white paper where we look at a state of the art solution for automating a significant part of these verification and validation tasks, and see how this solution has been applied to signaling systems in PTC and CBTC environments around the globe.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">The basis for this solution is having requirement specifications that captures the signaling rules in a formalized way, enabling automated processing by computer programs. With this in place, we show that the effort for verifying the safety and validating the critical functionality of a signaling system can be reduced to a simple configuration task. This will reduce workload and the safety for modern railroads.<\/span><\/p>\n<p><a href=\"https:\/\/www.prover.com\/portfolio-items\/automated-verification-in-ptc-and-cbtc\/\"><strong>If you want to study the white paper you can download it here.<\/strong><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better  [&#8230;]<\/p>\n","protected":false},"author":16,"featured_media":1061,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[155],"tags":[80,72,85],"class_list":["post-1802","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-safety","tag-automation-solutions","tag-formal-methods","tag-future-of-railway"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>How to handle complexity and safety for modern railroads - 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\/safety\/safety-for-modern-railroads\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"How to handle complexity and safety for modern railroads - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better [...]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2017-10-04T08:40:48+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-07T13:42:00+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2016\/12\/our-team-banner-scaled.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"2560\" \/>\n\t<meta property=\"og:image:height\" content=\"1280\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Gunnar Smith\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Gunnar Smith\" \/>\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\/safety\/safety-for-modern-railroads\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/\"},\"author\":{\"name\":\"Gunnar Smith\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10\"},\"headline\":\"How to handle complexity and safety for modern railroads\",\"datePublished\":\"2017-10-04T08:40:48+00:00\",\"dateModified\":\"2025-01-07T13:42:00+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/\"},\"wordCount\":195,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2016\/12\/our-team-banner-scaled.webp\",\"keywords\":[\"Automation Solutions\",\"Formal Methods\",\"Future of Railway\"],\"articleSection\":[\"Safety\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/\",\"url\":\"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/\",\"name\":\"How to handle complexity and safety for modern railroads - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2016\/12\/our-team-banner-scaled.webp\",\"datePublished\":\"2017-10-04T08:40:48+00:00\",\"dateModified\":\"2025-01-07T13:42:00+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2016\/12\/our-team-banner-scaled.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2016\/12\/our-team-banner-scaled.webp\",\"width\":2560,\"height\":1280},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Safety\",\"item\":\"https:\/\/www.prover.com\/categories\/safety\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"How to handle complexity and safety for modern railroads\"}]},{\"@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\/8fffe4665a1bd6297a1a72afbe980a10\",\"name\":\"Gunnar Smith\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g\",\"caption\":\"Gunnar Smith\"},\"url\":\"https:\/\/www.prover.com\/author\/gunnar-smith\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"How to handle complexity and safety for modern railroads - 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\/safety\/safety-for-modern-railroads\/","og_locale":"en_US","og_type":"article","og_title":"How to handle complexity and safety for modern railroads - Prover - Engineering a Safer World","og_description":"The digitalized railway signaling systems of today are becoming increasingly complex with more and more functionality added to make better [...]","og_url":"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2017-10-04T08:40:48+00:00","article_modified_time":"2025-01-07T13:42:00+00:00","og_image":[{"width":2560,"height":1280,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2016\/12\/our-team-banner-scaled.webp","type":"image\/jpeg"}],"author":"Gunnar Smith","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Gunnar Smith","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/"},"author":{"name":"Gunnar Smith","@id":"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10"},"headline":"How to handle complexity and safety for modern railroads","datePublished":"2017-10-04T08:40:48+00:00","dateModified":"2025-01-07T13:42:00+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/"},"wordCount":195,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2016\/12\/our-team-banner-scaled.webp","keywords":["Automation Solutions","Formal Methods","Future of Railway"],"articleSection":["Safety"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/","url":"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/","name":"How to handle complexity and safety for modern railroads - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2016\/12\/our-team-banner-scaled.webp","datePublished":"2017-10-04T08:40:48+00:00","dateModified":"2025-01-07T13:42:00+00:00","breadcrumb":{"@id":"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2016\/12\/our-team-banner-scaled.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2016\/12\/our-team-banner-scaled.webp","width":2560,"height":1280},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/safety\/safety-for-modern-railroads\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Safety","item":"https:\/\/www.prover.com\/categories\/safety\/"},{"@type":"ListItem","position":3,"name":"How to handle complexity and safety for modern railroads"}]},{"@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\/8fffe4665a1bd6297a1a72afbe980a10","name":"Gunnar Smith","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/0086b01cb8ea2fad0a0fed976b3b6786b7a307e0eadf382e8d809a15257b2e21?s=96&d=mm&r=g","caption":"Gunnar Smith"},"url":"https:\/\/www.prover.com\/author\/gunnar-smith\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1802","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\/16"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=1802"}],"version-history":[{"count":3,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1802\/revisions"}],"predecessor-version":[{"id":20647,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1802\/revisions\/20647"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/1061"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=1802"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=1802"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=1802"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}