Description

Le projet Céos délivre un système fiable et sécurisé d’inspections d’ouvrages par mini-drone professionnel pour Opérateurs d’Importance Vitale couplé à leur Système d’Information Géographique. Il s’agit de réaliser ces inspections automatiquement avec un coût inférieur à celui des solutions actuelles employant des hélicoptères ou des véhicules tout terrain.

Logo de CEOSLa validation de la solution, en coopération avec la DGAC, est réalisée sur des zones d’essai privées puis sur les sites des partenaires utilisateurs finaux : ENEDIS (lignes aériennes moyenne tension), EDF (conduites forcées en montagne) et Aéroports de Lyon (clôtures entourant l’aéroport).

Le système Céos est composé d’un mini drone et de sa station sol fournis par la PME ALERION. Plusieurs logiciels applicatifs sont développés, adaptés et intégrés sur le drone, au sein d’une architecture innovante multi-criticité et criticité mixte utilisant un matériel multi-cœurs et un hyperviseur certifiable sur étagère : détection d’anomalies par analyse d’images par la PME ADCIS, communications résilientes et sécurisées depuis le drone jusqu’au SIG par THALES et l’ESIEE, contrôle commande par la PME RTaW et navigation en corridor 3D par l’université de Lorraine. L’architecture développée par l’INRIA et l’ESIEE garantit le fonctionnement temps réel des fonctions les plus critiques, ici le contrôle commande et la navigation du drone, au détriment des autres fonctions. C’est un compromis entre certification trop coûteuse et surdimensionnement du matériel.

Nom du projet

Céos (Cœos, Coéos ou Koios) est un titan et géant de la mythologie grecque, dieu de l’intelligence (« celui qui sait / pense »). C’est aussi lui qui définit la ligne autours de laquelle tournent les constellations. Ici, Céos fait référence à l’intelligence artificielle associée au drone pour inspecter et se déplacer.

Drone volant devant Céos apparaissant parmi les étoiles de nuit

Informations

Logo de Systematic FUI/FEDER FUI22
CEOS (GT OCDS) est un projet labellisé Systematic lors du 22e appel à projets du FUI (Fonds Unique Interministériel).
Criticité mixte pour les systèmes embarqués critiques communicants
Label : Systematic
Co-label : Move’o, Materalia
Porteur : Thales Communications et Sécurité (TCS)
Contact : Stéphane MENORET <stephane.menoret@thalesgroup.com>
Date de début : 1er mai 2017
Durée : 36 mois
Coût du projet : 4,56 M€
Coût de R&D en Île-de-France : 2,5 M€
Aide : 1,95 M€

Actions réalisées pour le projet

  • Organisation scientifique d’un séminaire Dagstuhl
  • Les partenaires et les objectifs du projet Céos ont été présenté à ADP (Aéroports de Paris) et DSNA Services
  • Une présentation a été faite lors de la journée S3P Alliance devant l’ensemble des partenaires du projet S3P
  • Organisation scientifique d’un workshop internationale sur la composition temps réel CRTS2017
  • Organisation pour la première fois en France de la conférence du domaine temps réel RTSS2017
  • Campagne de test du système du 3 au 6 avril 2018 sur le site ENEDIS d’Heillecourt en Lorraine

Publications

  1. (en) "Open Challenges for Probabilistic Measurement-Based Worst-Case Execution Time" – S. J. GIL, I. BATE, G. LIMA, L. SANTINELLI, A. GOGONEL, L. CUCU-GROSJEAN. – IEEE Embedded Systems Letters, June 2017, vol. 9, n°3, pp. pages 69 - 72
  2. (en) "On the analysis of random replacement caches using static probabilistic timing methods for multi-path programs" – B. LESAGE, S. ALTMEYER, D. GRIFFIN, L. CUCU-GROSJEAN, R. DAVIS. – Real-Time Systems / Real Time Systems; The Journal of Real-Time Systems, 2017, pp. 1-82
  3. (en) "Probabilistic Analysis for Mixed Criticality Systems using Fixed Priority Preemptive Scheduling" – D. I. MAXIM, R. DAVIS, L. I. CUCU-GROSJEAN, A. EASWARAN. – RTNS 2017 - International Conference on Real- Time Networks and Systems, Grenoble, France, October 2017
  4. (en) "Automatic parallelization of multi-rate fmi-based co-simulation on multi- core" – S. E. SAIDI, N. PERNET, Y. SOREL. – TMS/DEVS 2017 - Symposium on Theory of Modeling and Simulation, Virginia Beach, United States, ACM, April 2017
  5. (en) "Schedulability analysis of dependent probabilistic real-time tasks" – S. BEN-AMOR, D. MAXIM, L. CUCU. – MAPSP 2017 - 13th Workshop on Models and Algorithms for Planning and Scheduling Problems, Seeon- Seebruck, Germany, RTNS ’16 Proceedings of the 24th International Conference on Real-Time Networks and Systems, ACM, June 2017, pp. 99-107
  6. (en) "Probabilistic foundations for the time predictions of cyber-physical systems" – L. CUCU-GROSJEAN, A. GOGONEL. – MMR 2017 - 10th International Conference on Mathematical Methods in Reliability, Grenoble, France, July 2017
  7. (en) "Towards statistical estimation of worst case inter-core communications, October 2017" – A. REVUZ, L. CUCU-GROSJEAN. – JRWRTC 2017 - 11th Junior Researcher Workshop on Real-Time Computing
  8. (en) "A hypervisor schedulability analysis for safety and security critical applications scheduled in arbitrary patterns of slots" – T. FAUTREL, L. GEORGE, F. FAUBERTEAU. – Proceedings of the 11th Junior Researcher Workshop on Real-Time Computing, JRWRTC 2017, Grenoble, Oct 2017, France.
  9. (en) "Reproducibility and representativity: mandatory properties for the compositionality of measurement-based WCET estimation approaches" – C. MAXIM, A. GOGONEL, I. ASAVOAE, M. ASAVOAE, L. CUCU-GROSJEAN. – ACM SIGBED Review, November 2017, vol. 14, n°3, pp. 24 - 31
  10. (en) "pWCET estimator for real-time systems" – A. GOGONEL, C. MAXIM, L. CUCU-GROSJEAN. – RTSS 2017 - IEEE Real-Time Systems Symposium, Paris, France, December 2017
  11. (en) "Analysis and Simulation Tools for Probabilistic Real-Time Systems" – D. MAXIM, A. BERTOUT. – 8th Inter- national Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS)
  12. (en) "Probabilistic schedulability analysis" – D. MAXIM, L. CUCU-GROSJEAN, R. DAVIS. – Handbook on Real-Time Computing, A. EASWARAN (editor), Handbook on Real-Time Computing, Springer, 2017
  13. (en) "Mixed Criticality on Multicore / Manycore Platforms (Dagstuhl Seminar 17131)" – L. CUCU-GROSJEAN, R. DAVIS, S. K. BARUAH, Z. STEPHENSON (editors). – Schloss Dagstuhl, 2017, pp. 70-98
  14. (en) "Keynote Talk, Probabilities - a key solution for tomorrow real-time compositional frameworks" – L. CUCU-GROSJEAN. – International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, CRTS’2017, Paris, Dec 2017, France
  15. (en) "Selective Real-time Data Emission in Mobile Intelligent Transport Systems" – L. GEORGE, D. MASSON, V. NELLIS. – 5th International Workshop on Mixed Criticality Systems, WMC’2017, Paris, Dec. 2017, France

Soutiens

Ce projet reçoit le soutien de bpifrance, de régions, et de pôles de compétitivité et clusters :

Partenaires

Complémentarité des partenaires

Schéma de complémentarité des partenaires

Expertise scientifique

Les partenaires en charge des communications, de la sûreté de fonctionnement et de la robotique :

Fournisseur sous-traitance

Partenaire fournisseur de la plateforme drone et des expérimentations :

  • ALERION ;
    fourni le mini drone et sa station sol
    Logo d’ALERION
  • SYSGO ;
    fourni l’hyperviseur PikeOS embarqué dans le drone
    Logo de SYSGO

Fournisseurs de solutions

Partie logicielle de vision :

  • ADCIS ;
    détection d’anomalies par analyse d’images
    Logo d’ADCIS

Fournisseur de plateformes, et chaînes d’outils :

Communication sécurisée :

  • THALES ;
    communication drone/SIG sécurisée (avec l’ESIEE)
    Logo de THALES

Utilisateurs

Utilisateurs et testeurs du système pour différents types d’inspection :