{"id":1971,"date":"2024-05-14T17:10:00","date_gmt":"2024-05-14T17:10:00","guid":{"rendered":"https:\/\/connets.di.unimi.it\/?page_id=1971"},"modified":"2024-05-14T17:11:09","modified_gmt":"2024-05-14T17:11:09","slug":"foreseen","status":"publish","type":"page","link":"https:\/\/connets.di.unimi.it\/?page_id=1971","title":{"rendered":"FORESEEN"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"1971\" class=\"elementor elementor-1971\">\n\t\t\t\t\t\t\t\t\t<section class=\"has_eae_slider elementor-section elementor-top-section elementor-element elementor-element-aed578d elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"aed578d\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"has_eae_slider elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-c0eec0d\" data-id=\"c0eec0d\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-ac88f45 elementor-widget elementor-widget-image\" data-id=\"ac88f45\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"150\" src=\"https:\/\/connets.di.unimi.it\/wp-content\/uploads\/2024\/05\/logo_ue_mur_id-1024x150-1.png\" class=\"attachment-full size-full\" alt=\"\" srcset=\"https:\/\/connets.di.unimi.it\/wp-content\/uploads\/2024\/05\/logo_ue_mur_id-1024x150-1.png 1024w, https:\/\/connets.di.unimi.it\/wp-content\/uploads\/2024\/05\/logo_ue_mur_id-1024x150-1-300x44.png 300w, https:\/\/connets.di.unimi.it\/wp-content\/uploads\/2024\/05\/logo_ue_mur_id-1024x150-1-768x113.png 768w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"has_eae_slider elementor-section elementor-top-section elementor-element elementor-element-5302ca0 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"5302ca0\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"has_eae_slider elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-920e502\" data-id=\"920e502\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-203b231 elementor-position-top elementor-vertical-align-top elementor-widget elementor-widget-image-box\" data-id=\"203b231\" data-element_type=\"widget\" data-widget_type=\"image-box.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t<div class=\"elementor-image-box-wrapper\"><figure class=\"elementor-image-box-img\"><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"230\" src=\"https:\/\/connets.di.unimi.it\/wp-content\/uploads\/2024\/05\/foreseen_sfondo-e1705939838582-1024x230-1.png\" class=\"attachment-full size-full\" alt=\"\" \/><\/figure><div class=\"elementor-image-box-content\"><h3 class=\"elementor-image-box-title\">FORESEEN<\/h3><p class=\"elementor-image-box-description\"><b>FOR<\/b>mal m<b>E<\/b>thod<b>S<\/b> for attack d<b>E<\/b>t<b>E<\/b>ction in autonomous drivi<b>N<\/b>g systems<br><i>PRIN-PNRR 2022<\/i><\/p><\/div><\/div>\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"has_eae_slider elementor-section elementor-top-section elementor-element elementor-element-fe8e0f9 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"fe8e0f9\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"has_eae_slider elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-3ce66a9\" data-id=\"3ce66a9\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-9db059f elementor-widget elementor-widget-image\" data-id=\"9db059f\" data-element_type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img loading=\"lazy\" decoding=\"async\" width=\"150\" height=\"150\" src=\"https:\/\/connets.di.unimi.it\/wp-content\/uploads\/2024\/05\/cropped-logo_foreseen_scritta-e1715706277257-150x150.png\" class=\"attachment-thumbnail size-thumbnail\" alt=\"\" srcset=\"https:\/\/connets.di.unimi.it\/wp-content\/uploads\/2024\/05\/cropped-logo_foreseen_scritta-e1715706277257-150x150.png 150w, https:\/\/connets.di.unimi.it\/wp-content\/uploads\/2024\/05\/elementor\/thumbs\/cropped-logo_foreseen_scritta-e1715706277257-qo5pcrd3iwjsux1dr52433p2vw8hz109bft2wk0gy8.png 200w\" sizes=\"auto, (max-width: 150px) 100vw, 150px\" \/>\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<section class=\"has_eae_slider elementor-section elementor-top-section elementor-element elementor-element-4ecf816 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-id=\"4ecf816\" data-element_type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"has_eae_slider elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-ccf2d1a\" data-id=\"ccf2d1a\" data-element_type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t\t\t<div class=\"elementor-element elementor-element-0aafd1c elementor-widget elementor-widget-text-editor\" data-id=\"0aafd1c\" data-element_type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t<p><b>Project Overview<\/b><\/p><p>Formal methods for attack detection in autonomous driving systems.<\/p><p>Autonomous driving systems are complex cyber-physical systems (CPS) that rely on connectivity and advanced driver-assistance technologies (Connected Autonomous Vehicles CAV). CAV systems perceive surrounding environment via sensors and actuators. The main objective of the project is the development of a formal-method based methodology with supported tools for the detection of sensor and actuator attacks in autonomous driving systems. While formal methods usually involve expensive computations, our methodology consists in using formal methods to generate simple tests that can be run online on limited resources available in a CAV. The results of FORESEEN will therefore enable on-line monitoring services development.<\/p><p>Project coordinator:\u00a0<span style=\"font-size: 1rem;\">Universit\u00e0 di Pisa, Department of Information Engineering<\/span><\/p><p>UNIMI Unit Leader: <b>Christian Quadri<\/b><\/p><p>Project website:\u00a0<a href=\"https:\/\/foreseen.dii.unipi.it\/\">https:\/\/foreseen.dii.unipi.it\/<\/a><\/p><p>\u00a0<\/p><p>This study received funding from the European Union \u2013 Next-GenerationEU \u2013 National Recovery and Resilience Plan (NRRP) \u2013 MISSION 4 COMPONENT 2, INVESTMENT N. 1.1, CALL PRIN 2022 PNRR D.D. 1409 14-09-2022 \u2013 (FORESEEN) CUP N.P2022WYAEW<\/p>\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"<p>FORESEEN FORmal mEthodS for attack dEtEction in autonomous driviNg systemsPRIN-PNRR 2022 Project Overview Formal methods for attack detection in autonomous driving systems. Autonomous driving systems are complex cyber-physical systems (CPS) that rely on connectivity and advanced driver-assistance technologies (Connected Autonomous Vehicles CAV). CAV systems perceive surrounding environment via sensors and actuators. The main objective of [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1971","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/connets.di.unimi.it\/index.php?rest_route=\/wp\/v2\/pages\/1971","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/connets.di.unimi.it\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/connets.di.unimi.it\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/connets.di.unimi.it\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/connets.di.unimi.it\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1971"}],"version-history":[{"count":10,"href":"https:\/\/connets.di.unimi.it\/index.php?rest_route=\/wp\/v2\/pages\/1971\/revisions"}],"predecessor-version":[{"id":1984,"href":"https:\/\/connets.di.unimi.it\/index.php?rest_route=\/wp\/v2\/pages\/1971\/revisions\/1984"}],"wp:attachment":[{"href":"https:\/\/connets.di.unimi.it\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1971"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}