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 – L’IA hybride vers une IA certifiable
Résumé
Ia2 – Sûreté et sécurité des systèmes à base d’IA : Approches CEA sur la certification de systèmes critiques
Résumé
Ia3 – Travaux et lignes directrices de l’EASA pour des systèmes d’IA fiables pour l’aviation
Résumé
Ia4 – IA pour les systèmes critiques – un état des lieux
Résumé
Au programme : 17 domaines de discussion
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]