{"id":1580,"date":"2017-08-23T09:24:12","date_gmt":"2017-08-23T08:24:12","guid":{"rendered":"https:\/\/www.prover.com\/?p=1580"},"modified":"2024-06-20T10:32:20","modified_gmt":"2024-06-20T09:32:20","slug":"rssi-57th-annual-cs-exhibition-september-17-19","status":"publish","type":"post","link":"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/","title":{"rendered":"RSSI 57th Annual C&S Exhibition, September 17-19"},"content":{"rendered":"

This year the RSSI Annual C&S Exhibition<\/a> will be part of the 2017 Railway Interchange Conference and Exhibition, bringing together AREMA, RSI, REMSA and RSSI in the largest combined railway exhibition and technical conference in North America. Don\u2019t miss this opportunity to meet with close to 10,000 rail professionals from 40 plus countries, and learn about all the latest technologies and innovations provided by the leading manufacturers and service providers in the rail industry.<\/p>\n

Prover is proud to join our partner United Rail<\/a> at the RSSI exhibition, where you will find us in booth 2321. Prover will showcase the Prover iLock product suite<\/a>, which automates the design, coding, test and safety verification of rail control software, giving you reduced time to market, lower life cycle costs and increased confidence in the system safety. Prover iLock<\/a> is used by leading railroads and transit agencies all over the world, examples of our North American clients include Canadian Pacific and New York City Transit.<\/p>\n

Together with United Rail, Prover will also present the paper Automated Verification and Validation of Signaling Systems in PTC and CBTC Environments, at the AREMA Communications & Signals Technical Session, Tuesday September 19, 8:00 am. As the digitized railway signaling systems of today are becoming increasingly complex to support, higher demands in traffic capacity, the task of assessing the safety and function of these systems becomes more difficult, time consuming and expensive. We will present 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 world.<\/p>\n

 <\/p>\n

\"\"<\/p>\n

For more information, you can find it here<\/a>, or here<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"

This year the RSSI Annual C&S Exhibition will be part of the 2017 Railway Interchange Conference and Exhibition, bringing together […]<\/p>\n","protected":false},"author":16,"featured_media":1581,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[160],"tags":[73],"class_list":["post-1580","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-events","tag-railway-events"],"yoast_head":"\nRSSI 57th Annual C&S Exhibition, September 17-19 - Prover - Engineering a Safer World<\/title>\n<meta name=\"description\" content=\"Prover joins our partner United Rail at this years RSSI Annual C&S Exhibition in Indianapolis. Come meet us there.\" \/>\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\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"RSSI 57th Annual C&S Exhibition, September 17-19 - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"Prover joins our partner United Rail at this years RSSI Annual C&S Exhibition in Indianapolis. Come meet us there.\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2017-08-23T08:24:12+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-06-20T09:32:20+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/08\/rssi.png\" \/>\n\t<meta property=\"og:image:width\" content=\"652\" \/>\n\t<meta property=\"og:image:height\" content=\"278\" \/>\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=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/\"},\"author\":{\"name\":\"Gunnar Smith\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10\"},\"headline\":\"RSSI 57th Annual C&S Exhibition, September 17-19\",\"datePublished\":\"2017-08-23T08:24:12+00:00\",\"dateModified\":\"2024-06-20T09:32:20+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/\"},\"wordCount\":288,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/08\/rssi.png\",\"keywords\":[\"Railway Events\"],\"articleSection\":[\"Events\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/\",\"url\":\"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/\",\"name\":\"RSSI 57th Annual C&S Exhibition, September 17-19 - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/08\/rssi.png\",\"datePublished\":\"2017-08-23T08:24:12+00:00\",\"dateModified\":\"2024-06-20T09:32:20+00:00\",\"description\":\"Prover joins our partner United Rail at this years RSSI Annual C&S Exhibition in Indianapolis. Come meet us there.\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/08\/rssi.png\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/08\/rssi.png\",\"width\":652,\"height\":278},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Events\",\"item\":\"https:\/\/www.prover.com\/categories\/events\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"RSSI 57th Annual C&S Exhibition, September 17-19\"}]},{\"@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":"RSSI 57th Annual C&S Exhibition, September 17-19 - Prover - Engineering a Safer World","description":"Prover joins our partner United Rail at this years RSSI Annual C&S Exhibition in Indianapolis. Come meet us there.","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\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/","og_locale":"en_US","og_type":"article","og_title":"RSSI 57th Annual C&S Exhibition, September 17-19 - Prover - Engineering a Safer World","og_description":"Prover joins our partner United Rail at this years RSSI Annual C&S Exhibition in Indianapolis. Come meet us there.","og_url":"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2017-08-23T08:24:12+00:00","article_modified_time":"2024-06-20T09:32:20+00:00","og_image":[{"width":652,"height":278,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/08\/rssi.png","type":"image\/png"}],"author":"Gunnar Smith","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Gunnar Smith","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/"},"author":{"name":"Gunnar Smith","@id":"https:\/\/prover.com\/#\/schema\/person\/8fffe4665a1bd6297a1a72afbe980a10"},"headline":"RSSI 57th Annual C&S Exhibition, September 17-19","datePublished":"2017-08-23T08:24:12+00:00","dateModified":"2024-06-20T09:32:20+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/"},"wordCount":288,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/08\/rssi.png","keywords":["Railway Events"],"articleSection":["Events"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/","url":"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/","name":"RSSI 57th Annual C&S Exhibition, September 17-19 - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/08\/rssi.png","datePublished":"2017-08-23T08:24:12+00:00","dateModified":"2024-06-20T09:32:20+00:00","description":"Prover joins our partner United Rail at this years RSSI Annual C&S Exhibition in Indianapolis. Come meet us there.","breadcrumb":{"@id":"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/08\/rssi.png","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2017\/08\/rssi.png","width":652,"height":278},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/events\/rssi-57th-annual-cs-exhibition-september-17-19\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Events","item":"https:\/\/www.prover.com\/categories\/events\/"},{"@type":"ListItem","position":3,"name":"RSSI 57th Annual C&S Exhibition, September 17-19"}]},{"@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\/1580","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=1580"}],"version-history":[{"count":1,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1580\/revisions"}],"predecessor-version":[{"id":6567,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/1580\/revisions\/6567"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/1581"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=1580"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=1580"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=1580"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}