{"id":17820,"date":"2021-09-06T15:12:51","date_gmt":"2021-09-06T13:12:51","guid":{"rendered":"https:\/\/www.clearsy.com\/?p=17820"},"modified":"2023-04-17T10:50:16","modified_gmt":"2023-04-17T08:50:16","slug":"clearsy-participates-in-the-conference-isola-2021","status":"publish","type":"post","link":"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/","title":{"rendered":"CLEARSY participates in the conference ISOLA 2021"},"content":{"rendered":"<p>For the 10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (<a href=\"https:\/\/link.springer.com\/conference\/isola\">ISOLA 2021<\/a>), CLEARSY is going to present in-person two talks in two separate tracks :<br \/>\n<span class=\"couleur_bleu\"><\/span><\/p>\n<ul>\n<li><span class=\"couleur_orange\"><strong>Digital Modelling in the Railways<\/strong><\/span><\/li>\n<\/ul>\n<p style=\"padding-left: 40px;\">This talk presents some of the various digital modelling activities, including formal ones, that are undertaken by the railway industry, for design, development, validation, qualification, and exploitation. It also introduces trends toward regrouping models to obtain more significant results together with a larger scope, prefiguring digital twins.<\/p>\n<ul>\n<li><span class=\"couleur_orange\"><strong>Ensuring Safety with System Level Modelling<\/strong><\/span><\/li>\n<\/ul>\n<p style=\"padding-left: 40px;\">This talk makes clear the recent advances in the domain of system-level modelling aimed at demonstrating the safety of railways signalling systems, that remains manageable by the signalling engineer and understandable by the recipient of the study.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>For the 10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2021), CLEARSY is going to [&hellip;]<\/p>\n","protected":false},"author":17,"featured_media":17817,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[687,682,1536],"tags":[],"class_list":["post-17820","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-exhibitions-conferences","category-railway","category-safety"],"acf":[],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>CLEARSY participates in the conference ISOLA 2021 - CLEARSY<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"CLEARSY participates in the conference ISOLA 2021 - CLEARSY\" \/>\n<meta property=\"og:description\" content=\"For the 10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2021), CLEARSY is going to [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/\" \/>\n<meta property=\"og:site_name\" content=\"CLEARSY\" \/>\n<meta property=\"article:published_time\" content=\"2021-09-06T13:12:51+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-04-17T08:50:16+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/09\/news-isola-site-CLE.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1920\" \/>\n\t<meta property=\"og:image:height\" content=\"1080\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Thierry Lecomte\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Thierry Lecomte\" \/>\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.clearsy.com\\\/en\\\/railway\\\/clearsy-participates-in-the-conference-isola-2021\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/clearsy-participates-in-the-conference-isola-2021\\\/\"},\"author\":{\"name\":\"Thierry Lecomte\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/62096c067e9d3a553ad93a906e95a673\"},\"headline\":\"CLEARSY participates in the conference ISOLA 2021\",\"datePublished\":\"2021-09-06T13:12:51+00:00\",\"dateModified\":\"2023-04-17T08:50:16+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/clearsy-participates-in-the-conference-isola-2021\\\/\"},\"wordCount\":128,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/clearsy-participates-in-the-conference-isola-2021\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2021\\\/09\\\/news-isola-site-CLE.jpg\",\"articleSection\":[\"Exhibitions\\\/conferences\",\"Railway\",\"Safety\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/clearsy-participates-in-the-conference-isola-2021\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/clearsy-participates-in-the-conference-isola-2021\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/clearsy-participates-in-the-conference-isola-2021\\\/\",\"name\":\"CLEARSY participates in the conference ISOLA 2021 - CLEARSY\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/clearsy-participates-in-the-conference-isola-2021\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/clearsy-participates-in-the-conference-isola-2021\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2021\\\/09\\\/news-isola-site-CLE.jpg\",\"datePublished\":\"2021-09-06T13:12:51+00:00\",\"dateModified\":\"2023-04-17T08:50:16+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/clearsy-participates-in-the-conference-isola-2021\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/clearsy-participates-in-the-conference-isola-2021\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/clearsy-participates-in-the-conference-isola-2021\\\/#primaryimage\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2021\\\/09\\\/news-isola-site-CLE.jpg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2021\\\/09\\\/news-isola-site-CLE.jpg\",\"width\":1920,\"height\":1080},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/railway\\\/clearsy-participates-in-the-conference-isola-2021\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"CLEARSY participates in the conference ISOLA 2021\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"name\":\"CLEARSY\",\"description\":\"Safety Solutions Designer\",\"publisher\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#organization\",\"name\":\"CLEARSY\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"contentUrl\":\"https:\\\/\\\/www.clearsy.com\\\/wp-content\\\/uploads\\\/2020\\\/04\\\/logo-clearsy.svg\",\"width\":652,\"height\":163,\"caption\":\"CLEARSY\"},\"image\":{\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/#\\\/schema\\\/person\\\/62096c067e9d3a553ad93a906e95a673\",\"name\":\"Thierry Lecomte\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/1484587b45f9f96afa32a6615796f7bb4738001f5a3e0ebfe061e9a266f268a6?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/1484587b45f9f96afa32a6615796f7bb4738001f5a3e0ebfe061e9a266f268a6?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/1484587b45f9f96afa32a6615796f7bb4738001f5a3e0ebfe061e9a266f268a6?s=96&d=mm&r=g\",\"caption\":\"Thierry Lecomte\"},\"url\":\"https:\\\/\\\/www.clearsy.com\\\/en\\\/author\\\/tlecomte\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"CLEARSY participates in the conference ISOLA 2021 - CLEARSY","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.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/","og_locale":"en_US","og_type":"article","og_title":"CLEARSY participates in the conference ISOLA 2021 - CLEARSY","og_description":"For the 10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2021), CLEARSY is going to [&hellip;]","og_url":"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/","og_site_name":"CLEARSY","article_published_time":"2021-09-06T13:12:51+00:00","article_modified_time":"2023-04-17T08:50:16+00:00","og_image":[{"width":1920,"height":1080,"url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/09\/news-isola-site-CLE.jpg","type":"image\/jpeg"}],"author":"Thierry Lecomte","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Thierry Lecomte","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/#article","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/"},"author":{"name":"Thierry Lecomte","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/62096c067e9d3a553ad93a906e95a673"},"headline":"CLEARSY participates in the conference ISOLA 2021","datePublished":"2021-09-06T13:12:51+00:00","dateModified":"2023-04-17T08:50:16+00:00","mainEntityOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/"},"wordCount":128,"commentCount":0,"publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/09\/news-isola-site-CLE.jpg","articleSection":["Exhibitions\/conferences","Railway","Safety"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/","url":"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/","name":"CLEARSY participates in the conference ISOLA 2021 - CLEARSY","isPartOf":{"@id":"https:\/\/www.clearsy.com\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/#primaryimage"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/#primaryimage"},"thumbnailUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/09\/news-isola-site-CLE.jpg","datePublished":"2021-09-06T13:12:51+00:00","dateModified":"2023-04-17T08:50:16+00:00","breadcrumb":{"@id":"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/#primaryimage","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/09\/news-isola-site-CLE.jpg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2021\/09\/news-isola-site-CLE.jpg","width":1920,"height":1080},{"@type":"BreadcrumbList","@id":"https:\/\/www.clearsy.com\/en\/railway\/clearsy-participates-in-the-conference-isola-2021\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.clearsy.com\/en\/"},{"@type":"ListItem","position":2,"name":"CLEARSY participates in the conference ISOLA 2021"}]},{"@type":"WebSite","@id":"https:\/\/www.clearsy.com\/en\/#website","url":"https:\/\/www.clearsy.com\/en\/","name":"CLEARSY","description":"Safety Solutions Designer","publisher":{"@id":"https:\/\/www.clearsy.com\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.clearsy.com\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/www.clearsy.com\/en\/#organization","name":"CLEARSY","url":"https:\/\/www.clearsy.com\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","contentUrl":"https:\/\/www.clearsy.com\/wp-content\/uploads\/2020\/04\/logo-clearsy.svg","width":652,"height":163,"caption":"CLEARSY"},"image":{"@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/www.clearsy.com\/en\/#\/schema\/person\/62096c067e9d3a553ad93a906e95a673","name":"Thierry Lecomte","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/1484587b45f9f96afa32a6615796f7bb4738001f5a3e0ebfe061e9a266f268a6?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/1484587b45f9f96afa32a6615796f7bb4738001f5a3e0ebfe061e9a266f268a6?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/1484587b45f9f96afa32a6615796f7bb4738001f5a3e0ebfe061e9a266f268a6?s=96&d=mm&r=g","caption":"Thierry Lecomte"},"url":"https:\/\/www.clearsy.com\/en\/author\/tlecomte\/"}]}},"_links":{"self":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/17820","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/users\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/comments?post=17820"}],"version-history":[{"count":3,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/17820\/revisions"}],"predecessor-version":[{"id":19142,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/posts\/17820\/revisions\/19142"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media\/17817"}],"wp:attachment":[{"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/media?parent=17820"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/categories?post=17820"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.clearsy.com\/en\/wp-json\/wp\/v2\/tags?post=17820"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}