{"id":3897,"date":"2020-04-28T07:00:08","date_gmt":"2020-04-28T06:00:08","guid":{"rendered":"https:\/\/www.prover.com\/?p=3897"},"modified":"2025-01-13T13:24:30","modified_gmt":"2025-01-13T12:24:30","slug":"efficient-rail-control-projects-using-signaling-design-automation","status":"publish","type":"post","link":"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/","title":{"rendered":"More efficient rail control projects using signaling design automation (SDA)"},"content":{"rendered":"<p><span style=\"font-weight: 400;\">The delivery of rail control projects often suffers from high costs, unpredictable schedules and delays. Moreover, the life cycle of modern, computerized, signaling systems is often shorter than those of traditional relay-based systems, with higher maintenance costs. At the same time the need for new, more advanced rail control systems is growing, to optimize the use of existing, congested, infrastructure and to meet the demands from an increasing number of passengers. This situation drives the need for more efficient ways to deliver and ensure safety in Rail Control Projects.\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\">In this series of three blog posts on the subject we call Signal Design Automation, we will take a look at the reasons for this situation, present a solution and finally look at a case study where a Signal Design Automation process has been successfully applied in a real-life project.<\/span><\/p>\n<h3><span style=\"font-weight: 400;\">Expectations and challenges in rail control projects<\/span><\/h3>\n<p><span style=\"font-weight: 400;\">The successful delivery of a rail control system should meet the following typical expectations from the Infrastructure Manager:<\/span><\/p>\n<ul>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Improved interoperability and reliability, supporting system upgrades<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">1<\/span><span style=\"font-weight: 400;\">st<\/span><span style=\"font-weight: 400;\"> delivery of the system shall be on time and have the correct functionality<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Efficient safety assessment for guaranteed safety<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Reduced life-cycle cost<\/span>\n<ul>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Individual sub-systems should be separated with clear interfaces, providing flexibility in extending the overall life cycle<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Support for change of requirements and functionality over time<\/span><\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p><span style=\"font-weight: 400;\">Unfortunately, this is often quite far from the reality, and Infrastructure Managers (IM) are instead faced with signal modernization projects that:<\/span><\/p>\n<ul>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Requires multiple deliveries before the correct functionality can be demonstrated<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Safety Assessment is time consuming and largely done at late, critical stage in the rail control project<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Exceeds budgets and are delayed<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Locks the Infrastructure Manager to the same vendor for a long time, making maintenance and upgrades costly<\/span><\/li>\n<\/ul>\n<p><span style=\"font-weight: 400;\">In our experience, there is a number of root causes to this situation, both at the Infrastructure Manager side and on the supplier side. Naturally, suppliers may not benefit from delivering systems with open interfaces between sub-components and, if they are not required to do otherwise, they will happily stick to proprietary systems, enabling the supplier to dictate the conditions when the Infrastructure Manager is looking for an upgrade or component replacement. Here the Infrastructure Managers must drive the shift to industry standards and open interfaces and indeed there are initiatives in this direction, such as <\/span><a href=\"https:\/\/www.eulynx.eu\/\"><span style=\"font-weight: 400;\">EULYNX<\/span><\/a><span style=\"font-weight: 400;\">, in which thirteen European Infrastructure Managers are working together to define standard interfaces for interlocking systems.\u00a0<\/span><\/p>\n<h3><span style=\"font-weight: 400;\">Meeting the expectations in rail control project delivery<\/span><\/h3>\n<p><span style=\"font-weight: 400;\">A key factor to success in any project is that the stakeholders can agree on the requirements, i.e. what is to be delivered, and that it is easy to validate that a delivery meets the requirements. In many tender specifications, the technical requirements formulated by the Infrastructure Manager are kept vague. Either as a deliberate strategy to give the supplier freedom to bid with the most cost-efficient solution, or since the requirements, and their importance, are not fully understood by the procuring organization.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">A big risk with this approach is that there are a lot of implicit expectations and requirements that are not communicated with the supplier, and in the end the users may not get the system they wanted, even though it fulfills all the specified requirements. Without clear requirements it can also be difficult to understand the impact of different design solutions until the system is close to completion, at which time changes can be very costly. On the other hand, if the supplier can present the Infrastructure Manager with a clear specification, where functionality can be demonstrated with early prototyping at the start of the project, the chances of agreeing on the requirements and succeeding with the project are greatly improved.\u00a0<\/span><\/p>\n<p><span style=\"font-weight: 400;\">The other option is for the Infrastructure Manager to take control of the requirements and clearly specify, already at the tender stage, exactly what is expected of the system. Then it also becomes natural to require that the systems make use of open interfaces, addressing the issues of vendor-lock in and high cost of upgrades during the life cycle. And it works the other way around too; if you already have clear definitions of the system interfaces, then it becomes natural to provide clear requirement specifications for the overall system as well.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Clearly defined requirement specifications also pave the way for automation, as the step to formalize, or implement, them in a way that can be interpreted by automation tools will be small. The coding, functional testing and safety verification that turns the specifications into revenue services software can then be done automatically from simple application configurations.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">A high level of automation means that it will be less costly to implement and evaluate the impact of changed requirements and increases the chances of getting the functionality right at the first installation. The use of automated, formal, safety verification, addresses many of the issues around the safety assessment in traditional development processes and can be applied throughout the development. Finally, a Signal Design Automation solution need not be vendor specific, and thus can further help avoiding vendor lock-in, especially if it is combined with the use of standardized components and interfaces.\u00a0<\/span><\/p>\n<h3><span style=\"font-weight: 400;\">Formal Verification, a key to success in your rail control project<\/span><\/h3>\n<p><span style=\"font-weight: 400;\">Formal Verification is a method to prove with 100% certainty that a system fulfills a given set of safety requirements. In practice this verification is automated, using computer programs that implement mathematical algorithms performing the proofs. Formal Verification is a key component to maximize the level of automation in the delivery of rail control software, as it can remove many of the manual safety review tasks typically used in traditional safety assessment processes. It is also the only manageable way to deal with the safety verification of more and more complex systems, without risk of losing the confidence in the system safety, or accelerating the verification costs and delivery times.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">If you want to know more about Formal Verification you can <a href=\"https:\/\/www.prover.com\/portfolio-items\/video-formal-verification-in-english\/\">study our recorded webinar here.<\/a><\/span><\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The delivery of rail control projects often suffers from high costs, unpredictable schedules and delays. Moreover, the life cycle of  [&#8230;]<\/p>\n","protected":false},"author":16,"featured_media":1928,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[158],"tags":[],"class_list":["post-3897","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-software-development"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Rail control projects using Signaling Design Automation<\/title>\n<meta name=\"description\" content=\"In this series of three blog posts on the subject we call Signal Design Automation, we will take a look at the reasons for this situation, present a solution etc.\" \/>\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\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Rail control projects using Signaling Design Automation\" \/>\n<meta property=\"og:description\" content=\"In this series of three blog posts on the subject we call Signal Design Automation, we will take a look at the reasons for this situation, present a solution etc.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2020-04-28T06:00:08+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-13T12:24:30+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/rail-fast-blurry-700x400-1-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"700\" \/>\n\t<meta property=\"og:image:height\" content=\"400\" \/>\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:title\" content=\"Rail control projects using Signaling Design Automation\" \/>\n<meta name=\"twitter:description\" content=\"In this series of three blog posts on the subject we call Signal Design Automation, we will take a look at the reasons for this situation, present a solution etc.\" \/>\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=\"5 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/\"},\"author\":{\"name\":\"Gunnar Smith\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10\"},\"headline\":\"More efficient rail control projects using signaling design automation (SDA)\",\"datePublished\":\"2020-04-28T06:00:08+00:00\",\"dateModified\":\"2025-01-13T12:24:30+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/\"},\"wordCount\":1002,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/rail-fast-blurry-700x400-1-jpg.webp\",\"articleSection\":[\"Software development\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/\",\"url\":\"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/\",\"name\":\"Rail control projects using Signaling Design Automation\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/rail-fast-blurry-700x400-1-jpg.webp\",\"datePublished\":\"2020-04-28T06:00:08+00:00\",\"dateModified\":\"2025-01-13T12:24:30+00:00\",\"description\":\"In this series of three blog posts on the subject we call Signal Design Automation, we will take a look at the reasons for this situation, present a solution etc.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/rail-fast-blurry-700x400-1-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/rail-fast-blurry-700x400-1-jpg.webp\",\"width\":700,\"height\":400},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Software development\",\"item\":\"https:\/\/www.prover.com\/categories\/software-development\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"More efficient rail control projects using signaling design automation (SDA)\"}]},{\"@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":"Rail control projects using Signaling Design Automation","description":"In this series of three blog posts on the subject we call Signal Design Automation, we will take a look at the reasons for this situation, present a solution etc.","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\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/","og_locale":"en_US","og_type":"article","og_title":"Rail control projects using Signaling Design Automation","og_description":"In this series of three blog posts on the subject we call Signal Design Automation, we will take a look at the reasons for this situation, present a solution etc.","og_url":"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2020-04-28T06:00:08+00:00","article_modified_time":"2025-01-13T12:24:30+00:00","og_image":[{"width":700,"height":400,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/rail-fast-blurry-700x400-1-jpg.webp","type":"image\/jpeg"}],"author":"Gunnar Smith","twitter_card":"summary_large_image","twitter_title":"Rail control projects using Signaling Design Automation","twitter_description":"In this series of three blog posts on the subject we call Signal Design Automation, we will take a look at the reasons for this situation, present a solution etc.","twitter_misc":{"Written by":"Gunnar Smith","Est. reading time":"5 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/"},"author":{"name":"Gunnar Smith","@id":"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10"},"headline":"More efficient rail control projects using signaling design automation (SDA)","datePublished":"2020-04-28T06:00:08+00:00","dateModified":"2025-01-13T12:24:30+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/"},"wordCount":1002,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/rail-fast-blurry-700x400-1-jpg.webp","articleSection":["Software development"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/","url":"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/","name":"Rail control projects using Signaling Design Automation","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/rail-fast-blurry-700x400-1-jpg.webp","datePublished":"2020-04-28T06:00:08+00:00","dateModified":"2025-01-13T12:24:30+00:00","description":"In this series of three blog posts on the subject we call Signal Design Automation, we will take a look at the reasons for this situation, present a solution etc.","breadcrumb":{"@id":"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/rail-fast-blurry-700x400-1-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/10\/rail-fast-blurry-700x400-1-jpg.webp","width":700,"height":400},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/software-development\/efficient-rail-control-projects-using-signaling-design-automation\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Software development","item":"https:\/\/www.prover.com\/categories\/software-development\/"},{"@type":"ListItem","position":3,"name":"More efficient rail control projects using signaling design automation (SDA)"}]},{"@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\/3897","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=3897"}],"version-history":[{"count":4,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/3897\/revisions"}],"predecessor-version":[{"id":20972,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/3897\/revisions\/20972"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/1928"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=3897"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=3897"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=3897"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}