Thematic Day Drones

Quand ? Mardi 06 novembre 2018 de 09H30 à 12H30

Où ?

Au Node Bordeaux
12 Rue des Faussets, 33000 Bordeaux
à 5 minutes à pieds du Palais de la Bourse.

Organisé par :

Le monde des drones bénéficie aujourd’hui largement de l’apport de l’Open Source, aussi bien logiciel que matériel. On peut acheter des appareils sur étagère et on peut aussi aisément assembler un engin à partir de composants eux-même sur étagère. Le cycle de développement de nouveaux  produits s’en trouve ainsi accéléré et les cas d’usages se concrétisent rapidement en des systèmes permettant de les traiter.

Néanmoins, les problématiques de security et de safety, souvent ignorées ou négligées car méconnues ou sans solution sur étagère, sont des enjeux majeurs qu’il devient incontournable de prendre en compte. Ces enjeux sont décuplés quand on s’intéresse non plus à un drone télé-opéré “classique”, mais à un drone autonome, voir à un essaim de drones.

L’objectif de cette présentation est de poser les problèmes essentiels, de présenter des solutions quand elles existent et de s’interroger sur les problèmes non résolus.

Programme :

09h30 – 10h00

Accueil et café convivial.

10h00 – 11h00

Security, Safety et enjeux de l’Open Source logiciel et matériel dans le monde des drones télé-opérés, des drones autonomes et des essaims de drones.

  • Serge Chaumette est Docteur en Informatique, Professeur à l’Université de Bordeaux, chercheur au LaBRI (Laboratoire Bordelais de Recherche en informatique, UMR CNRS 5800). Il possède un Doctorat en Informatique et un diplôme d’ingénieur en réseaux et systèmes. Son domaine principal de recherche concerne les essaims  de drones autonomes.
    Il est responsable des activités drones du LaBRI, membre du comité de pilotage du Cluster Systèmes de Drones (Aetos) de la Région Nouvelle Aquitaine, membre de la Commission Marché drones du pôle de Compétitivité Mondial Aerospace Valley et co-responsable du groupe Systèmes Télé-opérés du GIS Albatros, alliance scientifique de l’Université de Bordeaux avec Thales Avionics et Thales Defense Mission Systems. Il est en charge de plusieurs projets de recherche en collaboration avec des entreprises privées telles que Thales, Gemalto, NXP, etc. et des organismes gouvernementaux tels que la DGA, ou l’ORNL et l’ARL (US Army).
    Il est le co-auteur du livre UAV Networks and Communications publié aux états unis par Cambridge University Press.
    Il a par ailleurs cofondé la start-up NFC-Interactive, spécialisée dans l’IoT et l’analyse de données en milieu industriel, dont il est VP Innovation..

Illustration de ces propos avec Patrice Rosier de la société fabricant de drones, Reflet du Monde.

11h00 – 11h30

De l’open source vers l’industrie :
Retour d’expérience avec ArduPilot par Pierre Kancir de la société de Drones AZUR DRONES 

11H30 – 12h30

Présentation de la plateforme d’analyse de code Frama-C du CEA et illustration avec le projet INGOPCS – Virgile PREVOSTO

  • Résumé
    La plate-forme d’analyse de code C Frama-C (https://frama-c.com), disponible sous licence LGPL depuis 2008, propose un ensemble de greffons d’analyse, en particulier pour la vérification formelle de code. Cette présentation s’intéressera aux deux plus importants greffons, Eva et WP, et à leur utilisation pour prouver l’absence d’erreur à l’exécution ou la conformité à une spécification formelle. À travers les résultats du projet FUI INGOPCS, nous verrons également comment cet outil peut s’intégrer dans un processus de développement d’un logiciel libre, en l’occurrence la pile de communication SOPC (https://gitlab.com/systerel/S2OPC/). Enfin, à plus long terme, un des axes de recherche du laboratoire vise à remonter dans le cycle de développement en permettant de générer automatiquement des propriétés de bas-niveau à vérifier sur le code à partir d’exigences exprimées au niveau système. Dans ce contexte, nous présenterons également nos premières réflexions menées avec Mitsubishi Electric sur l’étude de cas RESSAC (https://github.com/AdaCore/RESSAC_Use_Case/) décrivant un modèle très simplifié de drone.