{"id":3900,"date":"2020-04-30T10:16:49","date_gmt":"2020-04-30T09:16:49","guid":{"rendered":"https:\/\/www.prover.com\/?p=3900"},"modified":"2025-01-13T13:26:22","modified_gmt":"2025-01-13T12:26:22","slug":"signaling-systems-design-using-prover-trident","status":"publish","type":"post","link":"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/","title":{"rendered":"Automated signaling systems design using Prover Trident"},"content":{"rendered":"<div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-1 fusion-flex-container nonhundred-percent-fullwidth non-hundred-percent-height-scrolling\" style=\"--awb-border-radius-top-left:0px;--awb-border-radius-top-right:0px;--awb-border-radius-bottom-right:0px;--awb-border-radius-bottom-left:0px;--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-flex-start fusion-flex-content-wrap\" style=\"max-width:calc( 1280px + 80px );margin-left: calc(-80px \/ 2 );margin-right: calc(-80px \/ 2 );\"><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-0 fusion_builder_column_1_1 1_1 fusion-flex-column\" style=\"--awb-bg-blend:overlay;--awb-bg-size:cover;--awb-width-large:100%;--awb-margin-top-large:0px;--awb-spacing-right-large:40px;--awb-margin-bottom-large:0px;--awb-spacing-left-large:40px;--awb-width-medium:100%;--awb-spacing-right-medium:40px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-1\"><p><span style=\"font-weight: 400;\">In our previous blog post, we looked at some of the challenges commonly faced in delivery of rail control projects and proposed a remedy: the use of detailed and clear requirement specifications that enables automated development and more efficient safety verification. We will now take a closer look at this process for signaling systems design and how it is implemented with Prover Trident for automation. Our vision is that delivery of rail control systems shall be standardized, with:<\/span><\/p>\n<ul>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Clearly defined requirements as generic principles, used with automation tools<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Efficient management of new\/changed requirements during life cycle<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Automated development gives efficient, safe and predictable results<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Safety acceptance based on sign-off verification against the Infrastructure Managers safety requirements<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Computing components (hardware) that easily can be replaced with other brands (future proof); open interfaces enable product replacements<\/span><\/li>\n<\/ul>\n<p><span style=\"font-weight: 400;\">We recommend that the Infrastructure Managers provide tender specifications that separate life cycles of the hardware and software and encourage the use of automated development processes and formal safety verification. The suppliers are then well equipped to apply a signal systems design process, to meet the expectations of the Infrastructure Managers, and to maximize business benefits:<\/span><\/p>\n<ul>\n<li style=\"font-weight: 400;\"><b>Speed<\/b><span style=\"font-weight: 400;\">: Increase delivery capacity, and ensure that delivery schedules are met<\/span><\/li>\n<li style=\"font-weight: 400;\"><b>Safety<\/b><span style=\"font-weight: 400;\">: Provide safety verification with 100% coverage, that is easy to repeat<\/span><\/li>\n<li style=\"font-weight: 400;\"><b>Savings<\/b><span style=\"font-weight: 400;\">: Reduce dependency on labor-intense, error-prone, manual development processes<\/span><\/li>\n<\/ul>\n<h3><span style=\"font-weight: 400;\">A signaling systems design solution<\/span><\/h3>\n<p><span style=\"font-weight: 400;\">Prover\u2019s implementation of the signaling system design process is called Prover Trident. A three-pronged process that automates development, test and safety verification:<\/span><\/p>\n<p><b>Formal specification<\/b><span style=\"font-weight: 400;\">, defining a generic application (GA) for the signaling principles, as formalized requirement specifications in the <\/span><b>PiSPEC<\/b><span style=\"font-weight: 400;\"> language.<\/span><\/p>\n<p><b>Automated development, <\/b><span style=\"font-weight: 400;\">using<\/span><b> Prover iLock to<\/b><span style=\"font-weight: 400;\"> configure, generate, simulate and formally verify the application software for specific applications (SAs).<\/span><\/p>\n<p><b>Sign-off verification, <\/b><span style=\"font-weight: 400;\">using<\/span><b> Prover Certifier <\/b><span style=\"font-weight: 400;\">to create CENELEC EN50128 SIL 4-compliant safety evidence for the application software based on formal verification.<\/span><\/p>\n<p><span style=\"font-weight: 400;\">Prover Trident is a complete development process for generation, test and verification of revenue service signaling software, but it can also be used for prototyping in the requirement capturing phase, to simulate and test different requirements both at component and system levels. <\/span><\/p>\n<h3><span style=\"font-weight: 400;\">Benefits of a solution for signaling systems design<\/span><\/h3>\n<p><span style=\"font-weight: 400;\">The main benefits of using Prover Trident for automated development and safety assessment of interlocking application software are:<\/span><\/p>\n<ul>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Significantly reduced engineering effort and time to market.<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Significantly reduced life cycle costs, with efficient management of requirement changes during the life cycle of the system (maintenance).<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Efficient CENELEC EN50128 SIL 4 compliance in safety assessment.<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Predictable project schedules, with high quality deliveries.<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">An efficient, automated process for producing SA safety case, based on formal verification.<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Reduced dependency on a single supplier; it is easy to use the same design solution and process for multiple interlocking platforms. Avoids vendor lock-in and increases competition.<\/span><\/li>\n<\/ul>\n<h3><span style=\"font-weight: 400;\">Generic and specific applications<\/span><\/h3>\n<p><span style=\"font-weight: 400;\">In the context of Prover Trident, a Generic Application (GA) refers to a set of general signaling principles and requirements, formalized in the PiSPEC language. The GA is structured the following way:<\/span><\/p>\n<ul>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Object Model (OM), the specification of the objects, including their parameters and interfaces. <\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Generic Application Configuration (GAC), generic definition of configuration formats.<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Generic Design Specification (GDS), the design requirements to implement.<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Generic Safety Specification (GSS), the safety requirements to verify.<\/span><\/li>\n<li style=\"font-weight: 400;\"><span style=\"font-weight: 400;\">Generic Test Specification (GTS), the test cases to simulate for testing the functionality (positive behavior) of the specific applications.<\/span><\/li>\n<\/ul>\n<p><span style=\"font-weight: 400;\">These specifications are developed in natural language versions (typically English) and formal versions. The formalization is done in the PiSPEC language, with additional configuration scripts implemented in the Python scripting language. <\/span><\/p>\n<p><span style=\"font-weight: 400;\">The GA is used to automatically develop specific applications (SAs), for instance an interlocking system for a given signal location. With the GA in place the effort to develop an SA is reduced to a simple configuration task, either directly using the GUI of Prover iLock or by importing the configuration from an existing database. <\/span><\/p>\n<p><span style=\"font-weight: 400;\">Functional testing, safety verification and code generation is then fully automated, and the full process, including configuration, doesn\u2019t have to take more than a few hours. During the GA development, Prover iLock is used to validate the requirements on a set of typical SAs, in an iterative and test-driven approach.<\/span><\/p>\n<h3><span style=\"font-weight: 400;\">Demonstration of application engineering with Prover iLock<\/span><\/h3>\n<p><span style=\"font-weight: 400;\">Interested in learning more about Prover Trident, and how Prover iLock is used to develop revenue service interlocking software? <a href=\"https:\/\/www.prover.com\/expertise\/\">Sign up for our webinar \u2018Demonstration of an Interlocking Design Automation Solution\u2019<\/a>, or watch a shorter recorded product demonstration <a href=\"https:\/\/www.prover.com\/portfolio-items\/video-demo-interlocking-design-automation-solution-english\/\">here.<\/a><\/span><\/p>\n<\/div><\/div><\/div><\/div><\/div>\n","protected":false},"excerpt":{"rendered":"","protected":false},"author":16,"featured_media":14403,"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-3900","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>Automated signaling systems design using Prover Trident - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"In this blogpost we will take a closer look at this process of developing a modern signaling systems application based on signaling systems design process and how it is implemented with Prover Trident for automation.\" \/>\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\/signaling-systems-design-using-prover-trident\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Automated signaling systems design using Prover Trident - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"In this blogpost we will take a closer look at this process of developing a modern signaling systems application based on signaling systems design process and how it is implemented with Prover Trident for automation.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2020-04-30T09:16:49+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-13T12:26:22+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/04\/Automated-Signaling-Systems-Design-using-Prover-Trident-jpg.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"675\" \/>\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=\"4 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\/signaling-systems-design-using-prover-trident\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/\"},\"author\":{\"name\":\"Gunnar Smith\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10\"},\"headline\":\"Automated signaling systems design using Prover Trident\",\"datePublished\":\"2020-04-30T09:16:49+00:00\",\"dateModified\":\"2025-01-13T12:26:22+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/\"},\"wordCount\":939,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/04\/Automated-Signaling-Systems-Design-using-Prover-Trident-jpg.webp\",\"articleSection\":[\"Software development\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/\",\"url\":\"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/\",\"name\":\"Automated signaling systems design using Prover Trident - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/04\/Automated-Signaling-Systems-Design-using-Prover-Trident-jpg.webp\",\"datePublished\":\"2020-04-30T09:16:49+00:00\",\"dateModified\":\"2025-01-13T12:26:22+00:00\",\"description\":\"In this blogpost we will take a closer look at this process of developing a modern signaling systems application based on signaling systems design process and how it is implemented with Prover Trident for automation.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/04\/Automated-Signaling-Systems-Design-using-Prover-Trident-jpg.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/04\/Automated-Signaling-Systems-Design-using-Prover-Trident-jpg.webp\",\"width\":1200,\"height\":675,\"caption\":\"Automated signaling systems design using Prover Trident\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#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\":\"Automated signaling systems design using Prover Trident\"}]},{\"@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":"Automated signaling systems design using Prover Trident - Prover - Engineering a Safer World","description":"In this blogpost we will take a closer look at this process of developing a modern signaling systems application based on signaling systems design process and how it is implemented with Prover Trident for automation.","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\/signaling-systems-design-using-prover-trident\/","og_locale":"en_US","og_type":"article","og_title":"Automated signaling systems design using Prover Trident - Prover - Engineering a Safer World","og_description":"In this blogpost we will take a closer look at this process of developing a modern signaling systems application based on signaling systems design process and how it is implemented with Prover Trident for automation.","og_url":"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2020-04-30T09:16:49+00:00","article_modified_time":"2025-01-13T12:26:22+00:00","og_image":[{"width":1200,"height":675,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/04\/Automated-Signaling-Systems-Design-using-Prover-Trident-jpg.webp","type":"image\/jpeg"}],"author":"Gunnar Smith","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Gunnar Smith","Est. reading time":"4 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/"},"author":{"name":"Gunnar Smith","@id":"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10"},"headline":"Automated signaling systems design using Prover Trident","datePublished":"2020-04-30T09:16:49+00:00","dateModified":"2025-01-13T12:26:22+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/"},"wordCount":939,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/04\/Automated-Signaling-Systems-Design-using-Prover-Trident-jpg.webp","articleSection":["Software development"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/","url":"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/","name":"Automated signaling systems design using Prover Trident - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/04\/Automated-Signaling-Systems-Design-using-Prover-Trident-jpg.webp","datePublished":"2020-04-30T09:16:49+00:00","dateModified":"2025-01-13T12:26:22+00:00","description":"In this blogpost we will take a closer look at this process of developing a modern signaling systems application based on signaling systems design process and how it is implemented with Prover Trident for automation.","breadcrumb":{"@id":"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/04\/Automated-Signaling-Systems-Design-using-Prover-Trident-jpg.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2020\/04\/Automated-Signaling-Systems-Design-using-Prover-Trident-jpg.webp","width":1200,"height":675,"caption":"Automated signaling systems design using Prover Trident"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/software-development\/signaling-systems-design-using-prover-trident\/#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":"Automated signaling systems design using Prover Trident"}]},{"@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\/3900","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=3900"}],"version-history":[{"count":5,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/3900\/revisions"}],"predecessor-version":[{"id":20973,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/3900\/revisions\/20973"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/14403"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=3900"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=3900"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=3900"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}