Si la performance des systèmes de décision automatiques est désormais suffisante pour attirer l’intérêt des industries où la sécurité est critique, il n’en demeure pas moins que celles-ci ne peuvent évidemment pas renoncer à la nécessité de maîtriser les systèmes automatiques et de disposer de garanties formelles concernant leur fonctionnement.
Les systèmes critiques pour l’aéronautique doivent subir un processus de certification exigeant avant de pouvoir être embarqué ou d’être utilisé au sol. La certification a pour mandat de s’assurer que le programme va opérer de façon conforme dans l’environnement prévu. Toutefois, la certification des algorithmes d’apprentissage profonds et de l’informatique 2.0 pose de nouveaux défi.
Cet axe vise à faire progresser l’état de l’art en certification avec comme objectif de pouvoir certifier des systèmes incluant des composantes issues d’algorithmes d’apprentissages pour une utilisation en aéronautique.
Responsable d’axe : Ettore Merlo, Polytechnique Montréal