{"id":19309,"date":"2024-06-03T09:59:29","date_gmt":"2024-06-03T08:59:29","guid":{"rendered":"https:\/\/www.prover.com\/?p=19309"},"modified":"2025-01-09T14:43:38","modified_gmt":"2025-01-09T13:43:38","slug":"simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform","status":"publish","type":"post","link":"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/","title":{"rendered":"Simplified interlocking application engineering with Prover iLock for NEAT\u2019s GeminiX platform"},"content":{"rendered":"<p><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>Prover and NEAT are together demonstrating the benefits of using the <a href=\"\/products\/prover-ilock\/\">Prover iLock<\/a> tool suite for engineering interlocking applications executed on <a href=\"https:\/\/geminix.com\/\">NEAT\u2019s GeminiX platform<\/a>. GeminiX is a SIL-4 generic product consisting of a real-time OS, redundant CPUs, and I\/O modules. Prover iLock is a desktop tool for producing fully documented, tested and verified application software for railway signaling systems.<\/p>\n<h3>The demonstration includes:<\/h3>\n<ul>\n<li>The Prover iLock process for generating the interlocking logic from generic specifications and graphical configuration data, with\n<ul>\n<li>simulation-testing based functional testing,<\/li>\n<li>formal safety verification, and<\/li>\n<li>generation of C-code for execution on the GeminiX platform.<\/li>\n<\/ul>\n<\/li>\n<li>Execution on the GeminiX platform:\n<ul>\n<li>cross-compilation and execution of the generated C-code using a dedicated SIL-4 task on GeminiX-OS,<\/li>\n<li>configuration of I\/O, and<\/li>\n<li>connection to Prover iLock for real-time hardware in the loop testing, with visualization of generated test cases and manual interaction.<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>The safe function of the generated application logic (C-code) can be formally verified with the SIL-4 T2 sign-off verification tool Prover Certifier, certified by T\u00dcV Nord.<\/p>\n<p>The demonstration has been set up in NEAT\u2019s lab, with the GeminiX hardware connected to Prover iLock via a communication link, to provide simulation of wayside objects and a control panel, as shown in this video:<\/p>\n<div style=\"width: 1280px;\" class=\"wp-video\"><video class=\"wp-video-shortcode\" id=\"video-19309-1\" width=\"1280\" height=\"720\" preload=\"metadata\" controls=\"controls\"><source type=\"video\/mp4\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/NEAT-PROVER-1.mp4?_=1\" \/><a href=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/NEAT-PROVER-1.mp4\">https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/NEAT-PROVER-1.mp4<\/a><\/video><\/div>\n<h3>Highlights of the GeminiX platform include:<\/h3>\n<ul>\n<li>A complete Platform Documentation Package and Application Conditions, which describe and certify the compliance for applications up to SIL4 according to the EN50126\/128\/129 and IEC61508 standards.<\/li>\n<li>A HW 2oo2 diverse reference architecture, that can be made redundant for reliability.<\/li>\n<li>A real-time OS-like environment, GeminiX\u2013OS, certified as a SIL4 Generic Product on its own and also certified several times into clients\u2019 products. It is independent from the specific hardware, and includes its own complete Documentation Package.<\/li>\n<li>A VHDL Source Code, which implements diagnostic routines and generic I\/O, independent from the specific hardware, certified as a SIL4 Generic Product.<\/li>\n<li>Several Reference Designs, implemented using different CPUs (Intel, AMD, ARM, \u2026) and different bus architectures.<\/li>\n<\/ul>\n<p>Signaling Design Automation with Prover iLock is a more efficient approach to develop rail control software, rooted in an engineering process based on formal methods, modelling, and automation. In addition to enhancing the development process, it also paves the way for standardization and more open system, something that is key to drive down the long-term costs for rail control. With a development process that is not tied to a specific signaling vendor, the rail infrastructure managers can get in control of the life-cycle of their systems, and can address issues such as obsolescence with more flexibility. The combination of Signaling Design Automation with the GeminiX platform is a good example of how these benefits can be realized for an interlocking system.<\/p>\n<p>Prover and NEAT will showcase their joint solution later this year at InnoTrans and you are also welcome to request a demonstration online or onsite. Please come visit NEAT and Prover at InnoTrans in Berlin, September 24-27, 2024. You will find NEAT in Hall 27, stand 140 and Prover in Hall 3.2, stand 130. Looking forward to seeing you there!<\/p>\n<p>To learn more about signaling design automation with <a href=\"\/products\/prover-ilock\/\">Prover iLock<\/a> please visit <a href=\"\/\">www.prover.com<\/a>, and more information on the GeminiX platform is available at <a href=\"https:\/\/www.neat.it\">www.neat.it<\/a> or <a href=\"https:\/\/www.geminix.com\">www.geminix.com<\/a>.<\/p>\n<\/div><\/div><\/div><\/div><\/div><div class=\"fusion-fullwidth fullwidth-box fusion-builder-row-2 fusion-flex-container has-pattern-background has-mask-background 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-padding-top-small:0px;--awb-padding-bottom-small:0px;--awb-margin-top:60px;--awb-margin-bottom:0px;--awb-background-color:var(--awb-color2);--awb-flex-wrap:wrap;\" ><div class=\"fusion-builder-row fusion-row fusion-flex-align-items-center fusion-flex-justify-content-space-around 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-1 fusion_builder_column_1_4 1_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-filter:opacity(40%);--awb-filter-transition:filter 0.3s ease;--awb-filter-hover:opacity(100%);--awb-width-large:25%;--awb-margin-top-large:22px;--awb-spacing-right-large:23px;--awb-margin-bottom-large:22px;--awb-spacing-left-large:40px;--awb-width-medium:25%;--awb-order-medium:0;--awb-spacing-right-medium:23px;--awb-spacing-left-medium:40px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-image-element fusion-no-small-visibility\" style=\"--awb-caption-title-font-family:var(--h2_typography-font-family);--awb-caption-title-font-weight:var(--h2_typography-font-weight);--awb-caption-title-font-style:var(--h2_typography-font-style);--awb-caption-title-size:var(--h2_typography-font-size);--awb-caption-title-transform:var(--h2_typography-text-transform);--awb-caption-title-line-height:var(--h2_typography-line-height);--awb-caption-title-letter-spacing:var(--h2_typography-letter-spacing);\"><span class=\" fusion-imageframe imageframe-none imageframe-1 hover-type-none\"><img decoding=\"async\" width=\"300\" height=\"300\" title=\"safety\" src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/07\/safety.png\" data-orig-src=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/07\/safety-300x300.png\" alt class=\"lazyload img-responsive wp-image-19693\" srcset=\"data:image\/svg+xml,%3Csvg%20xmlns%3D%27http%3A%2F%2Fwww.w3.org%2F2000%2Fsvg%27%20width%3D%27700%27%20height%3D%27700%27%20viewBox%3D%270%200%20700%20700%27%3E%3Crect%20width%3D%27700%27%20height%3D%27700%27%20fill-opacity%3D%220%22%2F%3E%3C%2Fsvg%3E\" data-srcset=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/07\/safety-200x200.png 200w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/07\/safety-400x400.png 400w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/07\/safety-600x600.png 600w, https:\/\/www.prover.com\/wp-content\/uploads\/2024\/07\/safety.png 700w\" data-sizes=\"auto\" data-orig-sizes=\"(max-width: 840px) 100vw, 400px\" \/><\/span><\/div><\/div><\/div><div class=\"fusion-layout-column fusion_builder_column fusion-builder-column-2 fusion_builder_column_3_4 3_4 fusion-flex-column\" style=\"--awb-bg-size:cover;--awb-width-large:75%;--awb-margin-top-large:0px;--awb-spacing-right-large:41px;--awb-margin-bottom-large:20px;--awb-spacing-left-large:11px;--awb-width-medium:75%;--awb-order-medium:0;--awb-spacing-right-medium:41px;--awb-spacing-left-medium:11px;--awb-width-small:100%;--awb-order-small:0;--awb-spacing-right-small:40px;--awb-spacing-left-small:40px;\"><div class=\"fusion-column-wrapper fusion-column-has-shadow fusion-flex-justify-content-flex-start fusion-content-layout-column\"><div class=\"fusion-text fusion-text-2\"><div class=\"fusion-title title fusion-title-6 fusion-sep-none fusion-title-text fusion-title-size-four\">\n<h4 class=\"fusion-title-heading title-heading-left\">How safe and efficient are your rail control systems? <u style=\"color: var(--awb-text-color); font-family: var(--h4_typography-font-family); font-size: 1em; font-style: var(--h4_typography-font-style,normal); font-weight: var(--h4_typography-font-weight); letter-spacing: var(--h4_typography-letter-spacing); text-transform: var(--h4_typography-text-transform); background-color: var(--awb-bg-color-hover);\"><a href=\"https:\/\/www.prover.com\/services\/\">Let\u2019s find out!<\/a><\/u><\/h4>\n<\/div>\n<\/div><\/div><\/div><\/div><\/div>\n<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Prover and NEAT have collaborated to demonstrate the benefits of using the Prover iLock tool suite for engineering interlocking applications executed on NEAT\u2019s GeminiX platform.<\/p>\n","protected":false},"author":16,"featured_media":19317,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[151],"tags":[],"class_list":["post-19309","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-signaling-systems"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Simplified interlocking application engineering with Prover iLock for NEAT\u2019s GeminiX platform - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Prover and NEAT have collaborated to demonstrate the benefits of using the Prover iLock tool suite for engineering interlocking applications executed on NEAT\u2019s GeminiX platform.\" \/>\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\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Simplified interlocking application engineering with Prover iLock for NEAT\u2019s GeminiX platform - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Prover and NEAT have collaborated to demonstrate the benefits of using the Prover iLock tool suite for engineering interlocking applications executed on NEAT\u2019s GeminiX platform.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2024-06-03T08:59:29+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-01-09T13:43:38+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/Prover-Neat.png\" \/>\n\t<meta property=\"og:image:width\" content=\"1280\" \/>\n\t<meta property=\"og:image:height\" content=\"800\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\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=\"3 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/\"},\"author\":{\"name\":\"Gunnar Smith\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10\"},\"headline\":\"Simplified interlocking application engineering with Prover iLock for NEAT\u2019s GeminiX platform\",\"datePublished\":\"2024-06-03T08:59:29+00:00\",\"dateModified\":\"2025-01-09T13:43:38+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/\"},\"wordCount\":756,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/Prover-Neat.png\",\"articleSection\":[\"Signaling systems\"],\"inLanguage\":\"en-US\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/\",\"url\":\"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/\",\"name\":\"Simplified interlocking application engineering with Prover iLock for NEAT\u2019s GeminiX platform - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/Prover-Neat.png\",\"datePublished\":\"2024-06-03T08:59:29+00:00\",\"dateModified\":\"2025-01-09T13:43:38+00:00\",\"description\":\"Prover and NEAT have collaborated to demonstrate the benefits of using the Prover iLock tool suite for engineering interlocking applications executed on NEAT\u2019s GeminiX platform.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/Prover-Neat.png\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/Prover-Neat.png\",\"width\":1280,\"height\":800},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Signaling systems\",\"item\":\"https:\/\/www.prover.com\/categories\/signaling-systems\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Simplified interlocking application engineering with Prover iLock for NEAT\u2019s GeminiX platform\"}]},{\"@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":"Simplified interlocking application engineering with Prover iLock for NEAT\u2019s GeminiX platform - Prover - Engineering a Safer World","description":"Prover and NEAT have collaborated to demonstrate the benefits of using the Prover iLock tool suite for engineering interlocking applications executed on NEAT\u2019s GeminiX platform.","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\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/","og_locale":"en_US","og_type":"article","og_title":"Simplified interlocking application engineering with Prover iLock for NEAT\u2019s GeminiX platform - Prover - Engineering a Safer World","og_description":"Prover and NEAT have collaborated to demonstrate the benefits of using the Prover iLock tool suite for engineering interlocking applications executed on NEAT\u2019s GeminiX platform.","og_url":"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2024-06-03T08:59:29+00:00","article_modified_time":"2025-01-09T13:43:38+00:00","og_image":[{"width":1280,"height":800,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/Prover-Neat.png","type":"image\/png"}],"author":"Gunnar Smith","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Gunnar Smith","Est. reading time":"3 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/"},"author":{"name":"Gunnar Smith","@id":"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10"},"headline":"Simplified interlocking application engineering with Prover iLock for NEAT\u2019s GeminiX platform","datePublished":"2024-06-03T08:59:29+00:00","dateModified":"2025-01-09T13:43:38+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/"},"wordCount":756,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/Prover-Neat.png","articleSection":["Signaling systems"],"inLanguage":"en-US"},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/","url":"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/","name":"Simplified interlocking application engineering with Prover iLock for NEAT\u2019s GeminiX platform - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/Prover-Neat.png","datePublished":"2024-06-03T08:59:29+00:00","dateModified":"2025-01-09T13:43:38+00:00","description":"Prover and NEAT have collaborated to demonstrate the benefits of using the Prover iLock tool suite for engineering interlocking applications executed on NEAT\u2019s GeminiX platform.","breadcrumb":{"@id":"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/Prover-Neat.png","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2024\/05\/Prover-Neat.png","width":1280,"height":800},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/signaling-systems\/simplified-interlocking-application-engineering-with-prover-ilock-for-neats-geminix-platform\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Signaling systems","item":"https:\/\/www.prover.com\/categories\/signaling-systems\/"},{"@type":"ListItem","position":3,"name":"Simplified interlocking application engineering with Prover iLock for NEAT\u2019s GeminiX platform"}]},{"@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\/19309","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=19309"}],"version-history":[{"count":7,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/19309\/revisions"}],"predecessor-version":[{"id":20748,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/19309\/revisions\/20748"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/19317"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=19309"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=19309"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=19309"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}