{"id":33300,"date":"2023-01-19T10:28:10","date_gmt":"2023-01-19T09:28:10","guid":{"rendered":"https:\/\/cesam.community\/?p=33300"},"modified":"2023-09-18T13:39:30","modified_gmt":"2023-09-18T11:39:30","slug":"formal-methods-for-safe-autonomous-driving-2","status":"publish","type":"post","link":"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/","title":{"rendered":"Formal Methods for Safe Autonomous Driving"},"content":{"rendered":"<div class=\"wpb-content-wrapper\"><section class=\"vc_row wpb_row vc_row-fluid  vc_custom_1671698838228\"><div class=\"wpb_column vc_column_container vc_col-sm-12 vc_col-md-offset-1 vc_col-md-10 col-xs-mobile-fullwidth\"><div class=\"vc_column-inner \"><div class=\"wpb_wrapper\"><h1 class=\"text-extra-dark-gray margin-20px-bottom font-weight-600 display-inline-block alt-font heading-style2  heading-1\"  style=\"font-size: 17px;\" data-fontsize=\"17px\">Formal Methods for Safe Autonomous Driving<\/h1><div class=\"last-paragraph-no-margin\"><p style=\"text-align: justify;\"><strong>Speaker:<br \/>\n<\/strong><strong>Thierry Lecomte \u2013 CLEARSY Founder &amp; R&amp;D Director, FM Evangelist<\/strong><\/p>\n<p style=\"text-align: justify;\"><strong>Abstract:<br \/>\n<\/strong>Formal methods history is paved with industry successes towards the improvement of railway systems safety: \u2013 L14 Paris driverless metro without accident after 20 years of exploitation, now historic line 1, then line 4 in the near future; \u2013 more than 30% worldwide CBTC-based metros embed a formal method; \u2013 formal techniques to prove configuration parameters and system level specification correctness; \u2013 safety computer programmed with formal method for SIL4 sensor-based C&amp;C systems. Formal methods are adequate to integrate autonomous systems in more open environments like autonomous trains and shuttles. This presentation makes clear how the future autonomous systems could benefit from further formal engineering.<\/p>\n<\/div><\/div><\/div><\/div><\/section><section class=\"vc_row wpb_row vc_row-fluid  vc_custom_1671698915900\"><div class=\"wpb_column vc_column_container vc_col-sm-12 vc_col-md-offset-1 vc_col-md-10 col-xs-mobile-fullwidth text-center\"><div class=\"vc_column-inner vc_custom_1695037142663\"><div class=\"wpb_wrapper\">[vc_btn title=\u00a0\u00bbPDF download\u00a0\u00bb color=\u00a0\u00bbgreen\u00a0\u00bb i_align=\u00a0\u00bbright\u00a0\u00bb i_icon_fontawesome=\u00a0\u00bbfar fa-file-pdf\u00a0\u00bb add_icon=\u00a0\u00bbtrue\u00a0\u00bb link=\u00a0\u00bburl:https%3A%2F%2Fcesam.community%2Fwp-content%2Fuploads%2F2022%2F05%2FCSDM-Paris-2020-Thierry-Lecomte.pdf|title:PDF%20download\u00a0\u00bb]<\/div><\/div><\/div><\/section>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>Formal methods history is paved with industry successes towards the improvement of railway systems safety: &#8211; L14 Paris driverless metro without accident after 20 years of exploitation, now historic line 1, then line 4 in the near future; &#8211; more than 30% worldwide CBTC-based metros embed a formal method; &#8211; formal techniques to prove configuration parameters and system level specification correctness; &#8211; safety computer programmed with formal method for SIL4 sensor-based C&#038;C systems&#8230;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[231,182],"tags":[181],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v24.2 - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Formal Methods for Safe Autonomous Driving<\/title>\n<meta name=\"description\" content=\"Formal methods are adequate to integrate autonomous systems in more open environments like autonomous trains and shuttles...\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Formal Methods for Safe Autonomous Driving\" \/>\n<meta property=\"og:description\" content=\"Formal methods are adequate to integrate autonomous systems in more open environments like autonomous trains and shuttles...\" \/>\n<meta property=\"og:url\" content=\"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/\" \/>\n<meta property=\"og:site_name\" content=\"Cesam Community\" \/>\n<meta property=\"article:published_time\" content=\"2023-01-19T09:28:10+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-09-18T11:39:30+00:00\" \/>\n<meta name=\"author\" content=\"admin\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:creator\" content=\"@cesamcommunity\" \/>\n<meta name=\"twitter:site\" content=\"@cesamcommunity\" \/>\n<meta name=\"twitter:label1\" content=\"\u00c9crit par\" \/>\n\t<meta name=\"twitter:data1\" content=\"admin\" \/>\n\t<meta name=\"twitter:label2\" content=\"Dur\u00e9e de lecture estim\u00e9e\" \/>\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:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/\"},\"author\":{\"name\":\"admin\",\"@id\":\"https:\/\/cesam.community\/fr\/#\/schema\/person\/1698618e5539e0eadd3578d29281a505\"},\"headline\":\"Formal Methods for Safe Autonomous Driving\",\"datePublished\":\"2023-01-19T09:28:10+00:00\",\"dateModified\":\"2023-09-18T11:39:30+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/\"},\"wordCount\":239,\"publisher\":{\"@id\":\"https:\/\/cesam.community\/fr\/#organization\"},\"keywords\":[\"Presentation\"],\"articleSection\":[\"CSD&amp;M\",\"CSD&amp;M 2020 Paris\"],\"inLanguage\":\"fr-FR\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/\",\"url\":\"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/\",\"name\":\"Formal Methods for Safe Autonomous Driving\",\"isPartOf\":{\"@id\":\"https:\/\/cesam.community\/fr\/#website\"},\"datePublished\":\"2023-01-19T09:28:10+00:00\",\"dateModified\":\"2023-09-18T11:39:30+00:00\",\"description\":\"Formal methods are adequate to integrate autonomous systems in more open environments like autonomous trains and shuttles...\",\"breadcrumb\":{\"@id\":\"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Accueil\",\"item\":\"https:\/\/cesam.community\/fr\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"CSD&amp;M\",\"item\":\"https:\/\/cesam.community\/fr\/category\/csdm\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Formal Methods for Safe Autonomous Driving\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/cesam.community\/fr\/#website\",\"url\":\"https:\/\/cesam.community\/fr\/\",\"name\":\"Cesam Community\",\"description\":\"La communaut\u00e9 CESAM\",\"publisher\":{\"@id\":\"https:\/\/cesam.community\/fr\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/cesam.community\/fr\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/cesam.community\/fr\/#organization\",\"name\":\"CESAM Community\",\"url\":\"https:\/\/cesam.community\/fr\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"fr-FR\",\"@id\":\"https:\/\/cesam.community\/fr\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/cesam.community\/wp-content\/uploads\/2021\/04\/cesam_community_logo_v4.png\",\"contentUrl\":\"https:\/\/cesam.community\/wp-content\/uploads\/2021\/04\/cesam_community_logo_v4.png\",\"width\":7310,\"height\":1018,\"caption\":\"CESAM Community\"},\"image\":{\"@id\":\"https:\/\/cesam.community\/fr\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/x.com\/cesamcommunity\",\"https:\/\/www.linkedin.com\/company\/community-cesam\/about\/\"]},{\"@type\":\"Person\",\"@id\":\"https:\/\/cesam.community\/fr\/#\/schema\/person\/1698618e5539e0eadd3578d29281a505\",\"name\":\"admin\",\"sameAs\":[\"https:\/\/cesam.community\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Formal Methods for Safe Autonomous Driving","description":"Formal methods are adequate to integrate autonomous systems in more open environments like autonomous trains and shuttles...","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:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/","og_locale":"fr_FR","og_type":"article","og_title":"Formal Methods for Safe Autonomous Driving","og_description":"Formal methods are adequate to integrate autonomous systems in more open environments like autonomous trains and shuttles...","og_url":"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/","og_site_name":"Cesam Community","article_published_time":"2023-01-19T09:28:10+00:00","article_modified_time":"2023-09-18T11:39:30+00:00","author":"admin","twitter_card":"summary_large_image","twitter_creator":"@cesamcommunity","twitter_site":"@cesamcommunity","twitter_misc":{"\u00c9crit par":"admin","Dur\u00e9e de lecture estim\u00e9e":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/#article","isPartOf":{"@id":"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/"},"author":{"name":"admin","@id":"https:\/\/cesam.community\/fr\/#\/schema\/person\/1698618e5539e0eadd3578d29281a505"},"headline":"Formal Methods for Safe Autonomous Driving","datePublished":"2023-01-19T09:28:10+00:00","dateModified":"2023-09-18T11:39:30+00:00","mainEntityOfPage":{"@id":"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/"},"wordCount":239,"publisher":{"@id":"https:\/\/cesam.community\/fr\/#organization"},"keywords":["Presentation"],"articleSection":["CSD&amp;M","CSD&amp;M 2020 Paris"],"inLanguage":"fr-FR"},{"@type":"WebPage","@id":"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/","url":"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/","name":"Formal Methods for Safe Autonomous Driving","isPartOf":{"@id":"https:\/\/cesam.community\/fr\/#website"},"datePublished":"2023-01-19T09:28:10+00:00","dateModified":"2023-09-18T11:39:30+00:00","description":"Formal methods are adequate to integrate autonomous systems in more open environments like autonomous trains and shuttles...","breadcrumb":{"@id":"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/cesam.community\/fr\/2023\/01\/19\/formal-methods-for-safe-autonomous-driving-2\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Accueil","item":"https:\/\/cesam.community\/fr\/"},{"@type":"ListItem","position":2,"name":"CSD&amp;M","item":"https:\/\/cesam.community\/fr\/category\/csdm\/"},{"@type":"ListItem","position":3,"name":"Formal Methods for Safe Autonomous Driving"}]},{"@type":"WebSite","@id":"https:\/\/cesam.community\/fr\/#website","url":"https:\/\/cesam.community\/fr\/","name":"Cesam Community","description":"La communaut\u00e9 CESAM","publisher":{"@id":"https:\/\/cesam.community\/fr\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/cesam.community\/fr\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"fr-FR"},{"@type":"Organization","@id":"https:\/\/cesam.community\/fr\/#organization","name":"CESAM Community","url":"https:\/\/cesam.community\/fr\/","logo":{"@type":"ImageObject","inLanguage":"fr-FR","@id":"https:\/\/cesam.community\/fr\/#\/schema\/logo\/image\/","url":"https:\/\/cesam.community\/wp-content\/uploads\/2021\/04\/cesam_community_logo_v4.png","contentUrl":"https:\/\/cesam.community\/wp-content\/uploads\/2021\/04\/cesam_community_logo_v4.png","width":7310,"height":1018,"caption":"CESAM Community"},"image":{"@id":"https:\/\/cesam.community\/fr\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/x.com\/cesamcommunity","https:\/\/www.linkedin.com\/company\/community-cesam\/about\/"]},{"@type":"Person","@id":"https:\/\/cesam.community\/fr\/#\/schema\/person\/1698618e5539e0eadd3578d29281a505","name":"admin","sameAs":["https:\/\/cesam.community"]}]}},"_links":{"self":[{"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/posts\/33300"}],"collection":[{"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/comments?post=33300"}],"version-history":[{"count":3,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/posts\/33300\/revisions"}],"predecessor-version":[{"id":35063,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/posts\/33300\/revisions\/35063"}],"wp:attachment":[{"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/media?parent=33300"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/categories?post=33300"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/tags?post=33300"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}