Ia3 – Approches formelles pour la certification de systèmes à base d’IA

C. Pagetti (ONERA)

Les enjeux de certification se posent pour divers niveaux d’application et de réalisation de fonctions et systèmes utilisant l’intelligence artificielle, et notamment les fonctions ou systèmes critiques soumis à des exigences de sûreté de fonctionnement et de sécurité. De nouvelles approches sont requises pour évaluer ou qualifier certains développement d’intelligence artificielle de ce point de vue. Les méthodes formelles proposent une voie pour apporter des solutions. La certification des fonctions à base d’IA doit commencer en amont du cycle de vie d’un système dès les processus de spécification et de conception. Après un tour d’horizon des travaux en cours et résultats obtenus sur les méthodes formelles appliquées à l’IA notamment dans le cadre du projet ANITI, nous ouvrirons des perspectives pour l’avenir.

Au programme : 17 domaines de discussion

Aviation civile [Ac]  Aérodynamique [Ae]  Avionique [Av]  Domaine militaire [Dm]  Drones & véhicules autonomes [Dr]  Essais et Expérimentations [Ee]  Énergie à bord [En]  Espace & Aéronautique [Es] Intelligence artificielle [Ia]

Innovation & Compétitivité [Ic] Matériaux [Ma]  Modélisat° & ingénierie système [Mo] Maintenance aéronautique [Mt]  Nvelles motorisat° & propulsion [Nm]  Conception de structures [St]  Transport Aérien durable [Td]  Usine du Futur [Uf]