en en

Fourth CORTEVA meeting

Posted on Thu 11 February 2021 in misc

The fifth meeting of the consortium has taken place on the 11th of February 2021 in teleconference due to the covid19 travel restrictions.

In this meeting, we discussed the current state of the project.

Participants:

  • Lionel Havet (RTaW)
  • Giuseppe Lipari (CRIStAL)
  • Julien Forget (CRIStAL)
  • Fréderic Fort (CRIStAL)
  • Davide Doose (ONERA)
  • Youcef Bouchebaba (ONERA)

We discussed in particular:

  • New dates for the scientific completion of the project

  • Revision of the "Rapport intermediaire à 0+T36", to be sent to ANR as soon as possible.

The report is late because of the difficulties in working in these difficult conditions of the pandemic health situation worldwide.

  • Publication of the tool WSymb for computing the WCET on the CORTEVA web site.

https://gitlab.cristal.univ-lille.fr/otawa-plugins/WSymb

  • Discussion on the final demo app.

  • Demo "Neural Network" parametric

    • Static parameters

  • Post-doc ONERA

  • Starting from 1 of March

  • Discussion on the possibility to write a common paper to show the technology.

  • Integration between Prelude and CPAL

  • Prelude will generate code for CPAL, with mode automata, following the work by F. Fort.