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 …
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:
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 …
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 …
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.
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).
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 …
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).
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 …