Software
Software implementing research results (academic use)
Matlab
set of programs implementing the probabilistic
response time analysis proposed
in RTSS2013. The
tool is implemented by Dorin Maxim, I have the
usual role of scientific advisor on the research
solution with no implementation role.
Simso integration of a probabilistic simulator presented in RTSS2016. The
tool is implemented by Antoine Bertout, I have the
usual role of scientific advisor on the research
solution with no implementation role.
Simso integration of a probabilistic DAG schedulability analysis as well as a multicore probabilistic simulator presented in the thesis of Slim Ben Amor. The
tool is implemented by Slim, I have the
usual role of scientific advisor on the research
solution with no implementation role.
Software transferred (industrial use)
A WCET statistical estimator based on the implementation of the Extreme Value Theory.
My implication to this software developpement, as well as to the writing of the patents supporting the IP of this software is about 60%. I am the main architect of the software by building its structure as well as the unitary and global tests phases. I have been also in charge of formalizing the automatic measurement protocol evolution based on industrial case studies as drones autopilot or A320 flight management control unit. Today, the WCET estimator is able to analyze programs executed on NXP family of microcontrollers (T10 or LS10).