The Symbolic WCET computation tool WSymb is released

Posted on Mon 20 April 2020

WSymb, our Symbolic Worst-Case Execution Time computation tool, is now available to the public. The main specificity of WSymb is that, instead of a constant WCET, it computes a WCET formula, where symbols (or parameters) can correspond to various kinds of values unnkown at analysis time. The formula can later …


Continue reading

Fourth CORTEVA meeting

Posted on Thu 12 March 2020

The fourth meeting of the consortium has taken place on the 3rd of Mars 2020 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)
  • Clément Ballabriga (CRIStAL)
  • Fréderic Fort (CRIStAL)
  • Davide Doose (ONERA …

Continue reading

Third CORTEVA meeting

Posted on Thu 20 June 2019

The third meeting of the consortium has taken place on the 11 and 12 of june 2019 in Toulouse, at the ONERA's premises.

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

  • F. Fort (CRIStAL) presented recent work on the synchronous language Prelude.

  • L. Havet (RTaW) described progress on …


Continue reading

Best paper at VMCAI

Posted on Fri 01 February 2019

Our paper "Static Analysis Of Binary Code With Memory Indirections Using Polyhedra." (hal) has received the best paper award at VMCAI.

In this paper we propose a new approach to compute loop bounds using abstract interpretation based on polyhedra. This research has been carried out in the context of the …


Continue reading

VMCAI paper presentation in January 2019

Posted on Fri 30 November 2018

We will present a paper entitled "Static Analysis Of Binary Code With Memory Indirections Using Polyhedra." at VMCAI'2019.


Continue reading

New reseach member joined in October 2018

Posted on Mon 15 October 2018

A new research member, Frédéric Fort, joined in October 2018. He will work on adaptive real-time systems with Prelude (mainly on WP1).


Continue reading

Second CORTEVA meeting

Posted on Mon 09 July 2018

The second meeting of the consortium has taken place on the 9th of july 2018 in Toulouse, at the ONERA's premises.

In this meeting, we first presented recent works by the partners directly related to CORTEVA:

  • F. Fort, J. Forget and G. Lipari (CRIStAL) presented several topics on code generation …


Continue reading

New reseach member joined in Juin 2018

Posted on Wed 20 June 2018

A new research member, Jordy Ruiz, joined in Juin 2018. He will work on polyhedral domain abstract interpretation, in the context of WCET computation (WP2).


Continue reading

Kick-off meeting held in Lille on 14-15 January 2018

Posted on Sat 20 January 2018

The CORTEVA projet has been launched during the kick-off meeting that was held in Lille from 14 to 15 of January 2018.

During the meeting, the partners discussed the main scientific challenges of the project, and we agreed on a roadmap towards the projet objectives.

We discussed the requirements of …


Continue reading