{"id":33322,"date":"2023-01-19T15:49:28","date_gmt":"2023-01-19T14:49:28","guid":{"rendered":"https:\/\/cesam.community\/?p=33322"},"modified":"2023-01-19T15:49:46","modified_gmt":"2023-01-19T14:49:46","slug":"safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2","status":"publish","type":"post","link":"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/","title":{"rendered":"Safe Automated Driving on Highways \u2013 Beyond Today\u2019s Autonomous and Connected Vehicles"},"content":{"rendered":"

Safe Automated Driving on Highways \u2013 Beyond Today\u2019s Autonomous and Connected Vehicles<\/h1>

Speaker:
\n<\/strong>G\u00e9rard Le Lann – INRIA<\/strong><\/p>\n

Abstract:
\n<\/strong>Safe automated driving rests on safety-critical (SC) inter-vehicular (IV) coordination. Safety criticality is defined unambiguously via the Bounded Move requirements. We show that today\u2019s autonomous vehicles and upcoming connected vehicles fail to meet these requirements by huge margins. We present a cyber-physical construct, IV communication protocols and IV agreement algorithms that achieve SC IV coordination in highway autonomic vehicular networks. Worst-case termination time bounds of protocols and algorithms are given, which allows for checking that the Bounded Move requirements are met. These solutions lay the ground for novel standards specifically aimed at safety. Interestingly, they also meet privacy requirements. Some open problems raised with automated driving are put into perspective.<\/p>\n<\/div><\/div><\/div><\/div><\/section>

[vc_message message_box_color=\u00a0\u00bbwhite\u00a0\u00bb]<\/p>\n

To scroll through the slides use the toolbar at the bottom of the presentation.<\/em><\/span><\/p>\n

[\/vc_message]

[pdf-embedder url=\u00a0\u00bbhttps:\/\/cesam.community\/wp-content\/uploads\/2022\/06\/CSDM2017-Gerard-LE-LANN-Diffusable.pdf\u00a0\u00bb title=\u00a0\u00bbCSDM2017 G\u00e9rard-LE-LANN-Diffusable\u00a0\u00bb]<\/p>\n<\/div><\/div><\/div><\/div><\/section>[vc_section css=\u00a0\u00bb.vc_custom_1671697190320{padding-bottom: 30px !important;}\u00a0\u00bb]

[vc_text_separator title=\u00a0\u00bbLATEST ARTICLES\u00a0\u00bb color=\u00a0\u00bbcustom\u00a0\u00bb border_width=\u00a0\u00bb2″ accent_color=\u00a0\u00bb#01af4f\u00a0\u00bb]<\/div><\/div><\/div><\/section>
<\/div>Energy system evolution challenges<\/a>
Energy systems inevitably change and develop over time; the systems of today are the result...<\/div>
<\/div>Continue reading<\/a><\/div><\/div><\/div><\/div><\/div>
<\/div>Road to Digital<\/a>
Jose Matias Fuentes Mattioli - Digital Vehicle Manager, Jaguar Land Rover The advent of ACES...<\/div>
<\/div>Continue reading<\/a><\/div><\/div><\/div><\/div><\/div>
<\/div>Formal Methods for Safe Autonomous Driving<\/a>
Formal methods history is paved with industry successes towards the improvement of railway systems safety:...<\/div>
<\/div>Continue reading<\/a><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/div><\/section>[\/vc_section]<\/p>\n<\/div>","protected":false},"excerpt":{"rendered":"

Safe automated driving rests on safety-critical (SC) inter-vehicular (IV) coordination. Safety criticality is defined unambiguously via the Bounded Move requirements. We show that today\u2019s autonomous vehicles and upcoming connected vehicles fail to meet these requirements by huge margins. We present a cyber-physical construct, IV communication protocols and IV agreement algorithms that achieve SC IV coordination in highway autonomic vehicular networks. Worst-case termination time bounds of protocols and algorithms are given, which allows for checking that the Bounded Move requirements are met. These solutions lay the ground for novel standards specifically aimed at safety. Interestingly, they also meet privacy requirements. Some open problems raised with automated driving are put into perspective…<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[231,195],"tags":[181],"yoast_head":"\nSafe Automated Driving on Highways \u2013 Beyond Today\u2019s Autonomous and Connected Vehicles<\/title>\n<meta name=\"description\" content=\"Safe automated driving rests on safety-critical inter-vehicular coordination. Safety criticality is defined unambiguously via the Bounded Move requirements...\" \/>\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\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Safe Automated Driving on Highways \u2013 Beyond Today\u2019s Autonomous and Connected Vehicles\" \/>\n<meta property=\"og:description\" content=\"Safe automated driving rests on safety-critical inter-vehicular coordination. Safety criticality is defined unambiguously via the Bounded Move requirements...\" \/>\n<meta property=\"og:url\" content=\"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/\" \/>\n<meta property=\"og:site_name\" content=\"Cesam Community\" \/>\n<meta property=\"article:published_time\" content=\"2023-01-19T14:49:28+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2023-01-19T14:49:46+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\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/\"},\"author\":{\"name\":\"admin\",\"@id\":\"https:\/\/cesam.community\/fr\/#\/schema\/person\/1698618e5539e0eadd3578d29281a505\"},\"headline\":\"Safe Automated Driving on Highways \u2013 Beyond Today\u2019s Autonomous and Connected Vehicles\",\"datePublished\":\"2023-01-19T14:49:28+00:00\",\"dateModified\":\"2023-01-19T14:49:46+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/\"},\"wordCount\":437,\"publisher\":{\"@id\":\"https:\/\/cesam.community\/fr\/#organization\"},\"keywords\":[\"Presentation\"],\"articleSection\":[\"CSD&M\",\"CSD&M 2017 Paris\"],\"inLanguage\":\"fr-FR\"},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/\",\"url\":\"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/\",\"name\":\"Safe Automated Driving on Highways \u2013 Beyond Today\u2019s Autonomous and Connected Vehicles\",\"isPartOf\":{\"@id\":\"https:\/\/cesam.community\/fr\/#website\"},\"datePublished\":\"2023-01-19T14:49:28+00:00\",\"dateModified\":\"2023-01-19T14:49:46+00:00\",\"description\":\"Safe automated driving rests on safety-critical inter-vehicular coordination. Safety criticality is defined unambiguously via the Bounded Move requirements...\",\"breadcrumb\":{\"@id\":\"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Accueil\",\"item\":\"https:\/\/cesam.community\/fr\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"CSD&M\",\"item\":\"https:\/\/cesam.community\/fr\/category\/csdm\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Safe Automated Driving on Highways \u2013 Beyond Today\u2019s Autonomous and Connected Vehicles\"}]},{\"@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":"Safe Automated Driving on Highways \u2013 Beyond Today\u2019s Autonomous and Connected Vehicles","description":"Safe automated driving rests on safety-critical inter-vehicular coordination. Safety criticality is defined unambiguously via the Bounded Move requirements...","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\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/","og_locale":"fr_FR","og_type":"article","og_title":"Safe Automated Driving on Highways \u2013 Beyond Today\u2019s Autonomous and Connected Vehicles","og_description":"Safe automated driving rests on safety-critical inter-vehicular coordination. Safety criticality is defined unambiguously via the Bounded Move requirements...","og_url":"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/","og_site_name":"Cesam Community","article_published_time":"2023-01-19T14:49:28+00:00","article_modified_time":"2023-01-19T14:49:46+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\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/#article","isPartOf":{"@id":"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/"},"author":{"name":"admin","@id":"https:\/\/cesam.community\/fr\/#\/schema\/person\/1698618e5539e0eadd3578d29281a505"},"headline":"Safe Automated Driving on Highways \u2013 Beyond Today\u2019s Autonomous and Connected Vehicles","datePublished":"2023-01-19T14:49:28+00:00","dateModified":"2023-01-19T14:49:46+00:00","mainEntityOfPage":{"@id":"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/"},"wordCount":437,"publisher":{"@id":"https:\/\/cesam.community\/fr\/#organization"},"keywords":["Presentation"],"articleSection":["CSD&M","CSD&M 2017 Paris"],"inLanguage":"fr-FR"},{"@type":"WebPage","@id":"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/","url":"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/","name":"Safe Automated Driving on Highways \u2013 Beyond Today\u2019s Autonomous and Connected Vehicles","isPartOf":{"@id":"https:\/\/cesam.community\/fr\/#website"},"datePublished":"2023-01-19T14:49:28+00:00","dateModified":"2023-01-19T14:49:46+00:00","description":"Safe automated driving rests on safety-critical inter-vehicular coordination. Safety criticality is defined unambiguously via the Bounded Move requirements...","breadcrumb":{"@id":"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/#breadcrumb"},"inLanguage":"fr-FR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/cesam.community\/fr\/2023\/01\/19\/safe-automated-driving-on-highways-beyond-todays-autonomous-and-connected-vehicles-2\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Accueil","item":"https:\/\/cesam.community\/fr\/"},{"@type":"ListItem","position":2,"name":"CSD&M","item":"https:\/\/cesam.community\/fr\/category\/csdm\/"},{"@type":"ListItem","position":3,"name":"Safe Automated Driving on Highways \u2013 Beyond Today\u2019s Autonomous and Connected Vehicles"}]},{"@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\/33322"}],"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=33322"}],"version-history":[{"count":2,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/posts\/33322\/revisions"}],"predecessor-version":[{"id":33324,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/posts\/33322\/revisions\/33324"}],"wp:attachment":[{"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/media?parent=33322"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/categories?post=33322"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/cesam.community\/fr\/wp-json\/wp\/v2\/tags?post=33322"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}