PhD Position F/M Parametric design and analysis of adaptive real-time systems

Le descriptif de l’offre ci-dessous est en Anglais

Niveau de diplôme exigé : Bac + 5 ou équivalent

Fonction : Doctorant

Contexte et atouts du poste

The applicant will work in the SyCoMoRES team, which focuses its research on embedded real-time systems. A real-time system is a computer system that is required not only to compute correct values, but also to compute values at the right time. Real-time systems can be found in several industrial domains, such as automotive, aeronautics, nuclear plants or automated production lines.

The thesis subject relies on previous work by our team, in which we proposed a novel parametric Worst-Case Execution Time analysis, which analyzes the binary code of a procedure to produce a WCET formula that represents the WCET of the procedure as a function of its arguments.

Mission confiée

The objective of the thesis is to contribute to a novel design and analysis methodology for adaptive real-time systems based on parametric WCET. The applicant will investigate one or several of the following research directions.

First, sensitivity analysis could be used to compute the intervals of admissible values of the execution times that make the system schedulable. Second, WCET formulas can be instantiated at run-time, at which point parameter values become known, to implement an adaptive scheduler that takes it decisions based on the current value of the instantiated WCET. In particular, a promising research direction would be to extend an existing resource reservation algorithm for the semi-clairvoyant scheduling approach.

Principales activités

The following activities will be carried out during the thesis:

  • Bibliographic research;
  • Proposing solutions for the identified research directions;
  • Writing research papers on the thesis results;
  • Teaching (optional)

 

Compétences

Technical skills: a good background on computer science and embedded systems.

Languages: English. French is not required.

Other valued, appreciated: real-time systems, theoretical computer science. Autonomy.

 

Avantages

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
  • Possibility of teleworking and flexible organization of working hours
  • Professional equipment available (videoconferencing, loan of computer equipment, etc.)
  • Social, cultural and sports events and activities
  • Access to vocational training
  • Social security coverage