Description

The Céos project delivers a reliable and secure system of inspections of pieces of works using professional mini-drone for Operators of Vital Importance coupled with their Geographical Information System. These inspections are carried out automatically at a lower cost than current solutions employing helicopters or off-road vehicles.

Logo of CEOSValidation of the solution, in cooperation with the DGAC, is carried out on private test areas and then on the sites of end-users partners: ENEDIS (medium voltage overhead powerlines), EDF (penstock pipes in mountain areas) and Aéroports de Lyon (fences surrounding the airport).

The Ceos system is composed of a mini drone and its ground station provided by the Alerion SME. Several software applications are developed, adapted and integrated on the drone, within an innovative multi-criticality architecture and mixed criticality using multi-core hardware and a hypervisor certifiable on the shelf: detection of anomalies by image analysis by the ADCIS SME, resilient and secure communications from the drone to the GIS by THALES and the ESIEE, control by the RTaW SME and 3D corridor navigation by the University of Lorraine. The architecture developed by INRIA and ESIEE guarantees the real-time operation of the most critical functions, in this case the control and navigation of the drone, to the detriment of the other functions. This is a compromise between too expensive certification and oversized hardware.

Project name

Céos (French name for Coeus or Koios) is a titan and giant of the Greek mythology, god of intelligence (“who knows / thinks”). He also defines the line around which constellations turn. Here, Ceos refers to the artificial intelligence associated with the drone to inspect and move.

Drone flying in front of Ceos appearing among the stars at night

Informations

Logo of Systematic FUI/FEDER FUI22
CEOS (GT OCDS) is a project labeled Systematic during the 22nd call for projects of the FUI (Single Inter-Ministry Fund; French R&D fund for competitiveness clusters).
Joint criticality for communicative critical embedded systems
Label: Systematic
Co-label: Move’o, Materalia
Leader: Thales Communications & Security (TCS)
Contact: Stéphane MENORET <stephane.menoret@thalesgroup.com>
Start date: May 1st, 2017
Duration: 36 months
Cost: 4.56 M€
R&D in region Île-de-France cost : 2.5 M€
Aids: 1.95 M€

Actions realized

  • Scientific organization of a Dagstuhl seminar
  • The partners and objectives of the Ceos project have been presented to ADP (Aéroports de Paris) and DSNA (direction des Services de la navigation aérienne) services
  • A presentation was made during the S3P Alliance day to all S3P project partners
  • Scientific organization of an international workshop on real-time composition CRTS2017
  • Organization for the first time in France of RTSS2017 real-time domain conference
  • System test campaign from 3rd to 6th April 2018 on the ENEDIS site in Heillecourt, Lorraine

Publications

  1. "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. "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. "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. "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. "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. "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. "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. "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. "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. "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. "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. "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. "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. "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. "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

Aids and fundings

This project is supported by bpifrance, regions, competitiveness clusters, and clusters:

Partners

Complementarity of partners

Figure to explain complementarity of partners

Scientific expertise

The partners in charge of communications, safety and robotics:

Outsourcing supplier

Partner supplier of the drone platform and experiments:

  • ALERION;
    supply the mini drone and its ground station
    Logo of ALERION
  • SYSGO;
    supply PikeOS hypervisor embeded in the drone
    Logo of SYSGO

Solution providers

Vision software component:

  • ADCIS;
    detection of anomalies using image analysis
    Logo of ADCIS

Supplier of platforms, and chains of tools:

Secure communication:

  • THALES;
    secured communication between drone and GIS (with ESIEE)
    Logo of THALES

Users

System users and testers for different types of inspection: