Post-Doctoral Research Visit F/M Probabilistic heterogenous multicore time critical scheduling
Contract type : Fixed-term contract
Level of qualifications required : PhD or equivalent
Fonction : Post-Doctoral Research Visit
Context
Context - The postdoctoral fellow will be recruited within the Kepler associated team (see https://team.inria.fr/kopernic/kepler/) between the Kopernic team (Inria Paris) and the STER (Federal University of Bahia). While the postdoctoral position is located in Paris, visits to STER are planned. This position is funded by Inria International Relations Department supporting Inria international collaborations. The postdoctoral contract will have a duration of 12 to 24 months. The default start date is November 1st, 2024 and not later than January, 1st 2025.
Assignment - Candidates for postdoctoral positions are recruited after the end of their Ph.D. or after a first post-doctoral period: for the candidates who obtained their PhD in the Northern hemisphere, the date of the Ph.D. defense shall be later than September 1, 2022; in the Southern hemisphere, later than April 1, 2022. In order to encourage mobility, the postdoctoral position must take place in a scientific environment that is truly different from the one of the Ph.D. (and, if applicable, from the position held since the Ph.D.); particular attention is thus paid to French or international candidates who obtained their doctorate abroad.
More about Paris center and Kopernic team - The Paris Research Center of Inria conducts its scientific activities by developing close partnerships with the best international teams, industry and services. It benefits from rich exchanges with the many scientific and economic players in the Paris region (Grandes Ecoles, prestigious universities, global competitiveness clusters). Members of the Kopernic team study real-time critical systems, using statistical and probabilistic approaches. The results obtained and the team's skills in the probabilistic study of these systems place it among the leaders in the field of real-time probabilistic systems. The topic proposed below is related to the collaboration of the Kopernic team with colleagues from the Federal University of Bahia (FUB) within the Inria associated team (see https://team.inria.fr/kopernic/kepler/ for more details).
Interested persons are asked to contact Liliana Cucu-Grosjean at liliana.cucu@inria.fr in order to prepare the application before June 2, 2024 with a detailed CV with a description of the PhD and a complete list of publications with the two most significant ones highlighted. The final postdoctoral topic is prepared together with Kepler members in order to include the applicants interest.
Assignment
The problem of statistically estimating bounds on execution times has received a great deal of interest since the publication of Kopernic and FUB members [1] in 2013 of results putting Extreme Value Theory back at the center of the study of these bounds. By following the list of articles citing [1], the list of which is available online and updated regularly [2], we can follow the latest advances on statistical and probabilistic approaches for embedded systems. Ongoing work in the scientific and industrial community focuses mainly on improving estimates, as we have done in [1, 3, 5], when an industrially applicable solution requires properties such as reproducibility and composability [4] from measurement protocols. Nevertheless, few results exist on the introduction of probabilistic worst-case execution times within the problem of multicore time critical scheduling. Indeed, most research on real-time scheduling with probabilistic guarantees has focused on uniprocessor systems. In the context of the Kepler project, we understand that the probabilistic specification of system components can be seen as a general framework for describing their level of time critical constraints. Our goal is, thus, to extend real-time multiprocessor scheduling by including probabilistic description. In particular, we plan to extend known optimal and low-overhead multiprocessor real-time scheduling algorithms that were originally designed assuming non-probabilistic behavior of tasks. Examples of such algorithms are RUN and QPS, both proposed by the STER team [6]. Our goal is verifying the extent to which they can be extended for providing probabilistic timeliness guarantees, while comparing to another class of optimal multicore scheduling which is the fluid scheduling [7]. To our knowledge, this hot problem is open.
Problem: Finding of an (almost) optimal scheduling algorithm for heterogenous multicore processors while time parameters are described by probability distributions.
[1] Liliana Cucu-Grosjean, Luca Santinelli, Michael Houston, Code Lo, Tullio Vardanega, Leonidas Kosmidis, Jaume Abella, Enrico Mezzetti, Eduardo Quiñones, Francisco J. Cazorla: Measurement-Based Probabilistic Timing Analysis for Multi-path Programs. ECRTS 2012: 91-101
[2] https://scholar.google.co.uk/scholar?oi=bibs&hl=fr&cites=5251528091307735099,3459830546551474137
[3] Liliana Cucu-Grosjean et Adriana Gogonel, Simulation Device, FR et US brevet, n°: FR2016/050504, 2016
[4] Cristian Maxim, Adriana Gogonel, Irina Mariuca Asavoae, Mihail Asavoae, Liliana Cucu-Grosjean: Reproducibility and representativity: mandatory properties for the compositionality of measurement-based WCET estimation approaches. SIGBED Review 14(3): 24-31 (2017)
[5] Tadeu Nogueira C. Andrade, George Lima, Veronica Maria Cadena Lima, Slim Bem-Amor, Ismail Hawila, Liliana Cucu-Grosjean: On the impact of hardware-related events on the execution of real-time programs. Des. Autom. Embed. Syst. 27(4): 275-302, 2023
[6] Ernesto Massa, George Lima, Paul Regnier, Greg Levin, Scott A. Brandt: Quasi-partitioned scheduling: optimality and adaptation in multiprocessor real-time systems. Real Time Syst. 52(5): 566-597, 2016
[7] H. Cho, B. Ravindran and E. D. Jensen: An optimal real-time scheduling algorithm for multiprocessors, Proc. 27th IEEE Int. Real-Time Syst. Symp., pp. 101-110, 2006
Main activities
Main activities:
- Updating state of the art results on optimal (or near) optimal multicore scheduling algorithms with real-time constraints
- Extending to probabilistic real-time tasks and providing associated schedulability analyses
- Numerical evaluation and energy-based comparaison of different solutions on KDBench programs and platforms
- Interaction with Kerdata team in Rennes within a possible EU project
- Writing scientific papers and participating to the animation of meetings between young researchers of Kepler associated team
Skills
Technical skills and level required : PhD thesis in Embedded Systems (not necessarily real-time)
Languages : English is mandatory
Benefits package
- 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 (after 12 months of employment)
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activities
- Access to vocational training
- Social security coverage
General Information
- Theme/Domain :
Embedded and Real-time Systems
System & Networks (BAP E) - Town/city : Paris
- Inria Center : Centre Inria de Paris
- Starting date : 2024-11-01
- Duration of contract : 2 years
- Deadline to apply : 2024-07-31
Warning : you must enter your e-mail address in order to save your application to Inria. Applications must be submitted online on the Inria website. Processing of applications sent from other channels is not guaranteed.
Instruction to apply
Defence Security :
This position is likely to be situated in a restricted area (ZRR), as defined in Decree No. 2011-1425 relating to the protection of national scientific and technical potential (PPST).Authorisation to enter an area is granted by the director of the unit, following a favourable Ministerial decision, as defined in the decree of 3 July 2012 relating to the PPST. An unfavourable Ministerial decision in respect of a position situated in a ZRR would result in the cancellation of the appointment.
Recruitment Policy :
As part of its diversity policy, all Inria positions are accessible to people with disabilities.
Contacts
- Inria Team : KOPERNIC
-
Recruiter :
Cucu Liliana / liliana.cucu@inria.fr
The keys to success
Team working
Mixing theoretical results and real applications to microcontrollers (and energy-oriented objectives)
Enjoying traveling between France and Bresil
About Inria
Inria is the French national research institute dedicated to digital science and technology. It employs 2,600 people. Its 200 agile project teams, generally run jointly with academic partners, include more than 3,500 scientists and engineers working to meet the challenges of digital technology, often at the interface with other disciplines. The Institute also employs numerous talents in over forty different professions. 900 research support staff contribute to the preparation and development of scientific and entrepreneurial projects that have a worldwide impact.