Formal Investigation of Timing Anomalies and Memory Interference in Multicore WCET Analysis H/F

Job description

General information Organisation: The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas : Drawing on its widely acknowledged expertise, and thanks to its 16000 technicians, engineers, researchers and staff, the CEA actively participates in collaborative projects with a large number of academic and industrial partners. The CEA is established in ten centers spread throughout France - defence and security, - nuclear energy (fission and fusion), - technological research for industry, - fundamental research in the physical sciences and life sciences. Reference: 2026-39508 Position description: Category: Mathematics, information, scientific, software: Contract: Internship: Job title: Formal Investigation of Timing Anomalies and Memory Interference in Multicore WCET Analysis H/F Subject: Critical automotive and avionics systems must guarantee that deadlines are always met, making timing analysis essential. Worst-Case Execution Time (WCET) analysis provides safe upper bounds on program execution but becomes challenging on multicore platforms due to timing anomalies and memory interferences from shared r...