[vc_row][vc_column][vc_column_text]Abstract…
Virtualization of computing and networking, IT-OT convergence, cybersecurity and AI-based enhancement of autonomy are significantly increasing the complexity of CPS and CPSoS. New challenges have emerged to demonstrate that these systems are safe and secure. We emphasize the role of control and emerging fields therein, like symbolic control or set-based fault-tolerant and decentralized control, to address safety. We have chosen three open verification problems we deem central in cost-effective development and certification of safety critical CPSoS. We review some promising threads of research that could lead in the long term to a scalable and powerful verification strategy. Its main components are set-based and invariant-based design, contracts, adversarial testing, algorithmic geometry of dynamics, and probabilistic estimation derived from compositional massive testing. To explore these orientations in collaborative projects, and to promote them in certification arenas, we propose to continue and upgrade an open innovation drone-based use case that originated from a collaborative research project in aeronautic certification reformation.[/vc_column_text][/vc_column][/vc_row][vc_row][vc_column][mpc_button preset=”mpc_preset_29″ url=”url:https%3A%2F%2Fwww.embedded-france.org%2Fwp-content%2Fuploads%2F2021%2F05%2FLITES_CPS_Engineering_Gap_Analysis.pdf|target:_blank” font_preset=”mpc_preset_20″ font_color=”#ffffff” font_size=”16″ font_transform=”uppercase” title=”Télécharger l’article publié par Emmanuel Ledinot – Thales R&T” background_color=”#dd4f52″ border_divider=”true” border_css=”border-top:2px;border-right:0px;border-bottom:2px;border-left:0px;border-color:#75cdde;border-style:solid;border-radius:0px;” padding_divider=”true” padding_css=”padding-top:12px;padding-right:32px;padding-bottom:12px;padding-left:32px;” margin_divider=”true” margin_css=”margin-top:11px;” hover_font_color=”#df8384″ hover_background_color=”#ffffff” hover_background_effect=”expand-horizontal” hover_background_offset=”0″ hover_border_css=”border-radius:0px;”][/vc_column][/vc_row][vc_row][vc_column][mpc_button preset=”mpc_preset_29″ url=”url:https%3A%2F%2Fojs.dagstuhl.de%2Findex.php%2Flites%2Findex|target:_blank” font_preset=”mpc_preset_20″ font_color=”#ffffff” font_size=”16″ font_transform=”uppercase” title=”En savoir plus sur le LITES…” background_color=”#dd4f52″ border_divider=”true” border_css=”border-top:2px;border-right:0px;border-bottom:2px;border-left:0px;border-color:#75cdde;border-style:solid;border-radius:0px;” padding_divider=”true” padding_css=”padding-top:12px;padding-right:32px;padding-bottom:12px;padding-left:32px;” margin_divider=”true” margin_css=”margin-top:11px;” hover_font_color=”#df8384″ hover_background_color=”#ffffff” hover_background_effect=”expand-horizontal” hover_background_offset=”0″ hover_border_css=”border-radius:0px;”][/vc_column][/vc_row]
