17 places disponibles
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.
Ia1 – Systèmes d‘armes dits « autonomes » : vocabulaire et enjeux d’éthique
Ia2 – Lignes directrices de l’EASA sur la fiabilité de l’IA pour l’aéronautique
Ia3 – Intégration de l’IA dans la préparation de mission
Au programme : 17 domaines de discussion
Au programme : 18 domaines de discussion
Aviation civile [Ac]
Aérodynamique [Ae]
Avionique [Av]
Cybersécurité [Cy]
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]