https://video.irem.univ-paris-diderot.fr/videos/watch/b3bc00a8-e965-4ef0-9b72-f05d23f009cf Une conférence de Romain Kervarc, Ingénieur-Chercheur (ONERA) De nombreux systèmes aérospatiaux sont autonomes : drones, satellites n'ont pas à leur bord d'opérateur humain, et sont supervisés depuis le sol. Cette autonomie n'est pas sans poser problème, qu'il s'agisse de la capacité du système à interagir avec les autres systèmes l'environnant ou à réagir à un danger (les débris spatiaux, une collision avec un autre aéronef, ...). Par ailleurs, ces systèmes étant soit extraordinairement coûteux, soit extrêmement critiques, il n'est pas possible d'utiliser la méthode industrielle traditionnelle consistant à répéter un test en exigeant que le taux moyen de panne constaté soit en dessous d'un certain seuil. C'est là que les mathématiques et la logique interviennent, afin d'apporter à l'ingénieur des outils lui permettant d'obtenir les garanties nécessaires. Le 2 avril 2012 Thu, 01 Oct 2026 11:47:07 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://video.irem.univ-paris-diderot.fr https://video.irem.univ-paris-diderot.fr/client/assets/images/icons/icon-96x96.png https://video.irem.univ-paris-diderot.fr/videos/watch/b3bc00a8-e965-4ef0-9b72-f05d23f009cf All rights reserved, unless otherwise specified in the terms specified at https://video.irem.univ-paris-diderot.fr/about and potential licenses granted by each content's rightholder.