AI Enhanced MBSE framework for joint safety and security analysis of critical systems
Critical systems must simultaneously meet the requirements of both Safety (preventing unintentional failures that could lead to damage) and Security (protecting against malicious attacks). Traditionally, these two areas are treated separately, whereas they are interdependent: An attack (Security) can trigger a failure (Safety), and a functional flaw can be exploited as an attack vector.
MBSE approaches enable rigorous system modeling, but they don't always capture the explicit links between Safety [1] and Security [2]; risk analyses are manual, time-consuming and error-prone. The complexity of modern systems makes it necessary to automate the evaluation of Safety-Security trade-offs.
Joint safety/security MBSE modeling has been widely addressed in several research works such as [3], [4] and [5]. The scientific challenge of this thesis is to use AI to automate and improve the quality of analyses. What type of AI should we use for each analysis step? How can we detect conflicts between safety and security requirements? What are the criteria for assessing the contribution of AI to joint safety/security analysis?
CORTEX: Container Orchestration for Real-Time, Embedded/edge, miXed-critical applications
This PhD proposal will develop a container orchestration scheme for real-time applications, deployed on a continuum of heterogeneous computing resources in the embedded-edge-cloud space, with a specific focus on applications that require real-time guarantees.
Applications, from autonomous vehicles, environment monitoring, or industrial automation, applications traditionally require high predictability with real-time guarantees, but they increasingly ask for more runtime flexibility as well as a minimization of their overall environmental footprint.
For these applications, a novel adaptive runtime strategy is required that can optimize dynamically at runtime the deployment of software payloads on hardware nodes, with a mixed-critical objective that combines real-time guarantees with the minimization of the environmental footprint.
Simulation of flow in centrifugal extractors: the impact of viscous solvents on operation
Within the framework of nuclear spent fuel reprocessing, the CEA co-developed with ROUSSELET-ROBATEL liquid/liquid extraction (ELL) devices aimed at bringing two immiscible liquids into contact, one of which contains the valuable metals to be recovered and the other an extractant molecule. The multi-stage Centrifugal Extractor is one of the devices used to perform ELL at the La Hague plant. The future use of solvents potentially more viscous than current industrial standards may pose performance issues that need to be studied in advance in the laboratory to provide the necessary recommendations to restore the expected performance levels for the plant. The nuclear environment in which these devices operate makes in situ studies nearly impossible, thus depriving R&D of valuable information that is nevertheless essential for a deep understanding of the physicochemical mechanisms at the heart of the issues involved. To address this, the proposed study will rely on a numerical approach that will have been previously validated by comparison with either historical experimental data or data acquired from more recent ad hoc pilot systems. Thus, following a phase of literature review and capitalization of recent measurements, it is proposed to first create test cases that will be used to validate the numerical models. Based on this validation and in light of the knowledge acquired from previous theses concerning the effect of viscosity on flows, it is proposed to numerically explore the impact of an increase in solvent viscosity on centrifugal extractors. This will pave the way for a better understanding of the operation of the devices as well as operational or geometric improvements. The student will work at CEA Marcoule, in a research environment at the crossroads between a team of experimentalists and a team of numerical simulators. This experience will enable the student to acquire important skills in modeling liquid-liquid flows as well as solid knowledge on the development of liquid-liquid contactors.
Exploration and optimization of RAID architectures and virtualization technologies for high-performance data servers
Given the ever-increasing demands of numerical simulation, supercomputers
must constantly evolve to improve their performance and thus maintain a
high quality of service for users. These demands are reflected on storage
systems, which, to be performant, reliable, and capacitive, must contain
cutting-edge technologies concerning the optimization of data placement
and the scheduling of I/O accesses. The objective of this thesis is to
study these technologies such as GPU-based RAID and I/O virtualization,
to evaluate them, and to establish optimizations that can improve the
performance of HPC storage systems.
A theoretical framework for the task-based optimal design of Modular and Reconfigurable Serial Robots for rapid deployment
The innovations that gave rise to industrial robots date back to the sixties and seventies. They have enabled a massive deployment of industrial robots that transformed factory floors, at least in industrial sectors such as car manufacturing and other mass production lines.
However, such robots do not fit the requirements of other interesting applications that appeared and developed in fields such as in laboratory research, space robotics, medical robotics, automation in inspection and maintenance, agricultural robotics, service robotics and, of course, humanoids. A small number of these sectors have seen large-scale deployment and commercialization of robotic systems, with most others advancing slowly and incrementally to that goal.
This begs the following question: is it due to unsuitable hardware (insufficient physical capabilities to generate the required motions and forces); software capabilities (control systems, perception, decision support, learning, etc.); or a lack of new design paradigms capable to meet the needs of these applications (agile and scalable custom-design approaches)?
The unprecedented explosion of data science, machine learning and AI in all areas of science, technology and society may be seen as a compelling solution, and a radical transformation is taking shape (or is anticipated), with the promise of empowering the next generations of robots with AI (both predictive and generative). Therefore, research can tend to pay increasing attention to the software aspects (learning, decision support, coding etc.); perhaps to the detriment of more advanced physical capabilities (hardware) and new concepts (design paradigms). It is however clear that the cognitive aspects of robotics, including learning, control and decision support, are useful if and only if suitable physical embodiments are available to meet the needs of the various tasks that can be robotized, hence requiring adapted design methodologies and hardware.
The aim of this thesis is thus to focus on design paradigms and hardware, and in particular on the optimal design of rapidly-produced serial robots based on given families of standardized « modules » whose layout will be optimized according to the requirements of the tasks that cannot be performed by the industrial robots available on the market. The ambition is to answer the question of whether and how a paradigm shift may be possible for the design of robots, from being fixed-catalogue to rapidly available bespoke type.
The successful candidate will enrol at the « Ecole Doctorale Mathématiques, STIC » of Nantes Université (ED-MASTIC), and he or she will be hosted for three years in the CEA-LIST Interactive Robotics Unit under supervision of Dr Farzam Ranjbaran. Professors Yannick Aoustin (Nantes) and Clément Gosselin (Laval) will provide academic guidance and joint supervision for a successful completion of the thesis.
A follow-up to this thesis is strongly considered in the form of a one-year Post-Doctoral fellowship to which the candidate will be able to apply, upon successful completion of all the requirements of the PhD Degree. This Post-Doctoral fellowship will be hosted at the « Centre de recherche en robotique, vision et intelligence machine (CeRVIM) », Université Laval, Québec, Canada.
Artificial Intelligence for the Modeling and Topographic Analysis of Electronic Chips
The inspection of wafer surfaces is critical in microelectronics to detect defects affecting chip quality. Traditional methods, based on physical models, are limited in accuracy and computational efficiency. This thesis proposes using artificial intelligence (AI) to characterize and model wafer topography, leveraging optical interferometry techniques and advanced AI models.
The goal is to develop AI algorithms capable of predicting topographical defects (erosion, dishing) with high precision, using architectures such as convolutional neural networks (CNN), generative models, or hybrid approaches. The work will include optimizing models for fast inference and robust generalization while reducing manufacturing costs.
This project aligns with efforts to improve microfabrication processes, with potential applications in the semiconductor industry. The expected results will contribute to a better understanding of surface defects and the optimization of production processes.
Control & optimization of fuel cell temperature
Proton exchange membrane fuel cells (PEMFC) represent a key technology for the development of clean and sustainable energy systems, particularly for heavy-duty transport applications where their energy density is very attractive. However, in order to represent a viable industrial alternative, a number of obstacles still need to be overcome, including operating costs and, above all, the durability of the systems under real-world conditions. Among the levers for action, optimizing operating conditions is a promising avenue for limiting the degradation phenomena occurring within the cell. The operating temperature is a particularly key parameter because it affects all aspects of the system, from the kinetics of degradation mechanisms to the thermal capacity that the system can dissipate, including the water balance within the fuel cell. Despite the influence of this parameter on durability, it is generally only optimized at the system level to achieve the best performance, the shortest possible response time and to limit the size of the thermal management system.
The aim of this thesis is to work on optimizing the temperature management of a fuel cell within a system, taking into account not only performance but also sustainability criteria. To do this, the impact of operating temperature on degradation mechanisms will be analyzed using various simulation tools already available at LITEN and the teams' fifteen years of experience in studying PEMFC fuel cell degradation. Various thermal architectures will be proposed and evaluated in conjunction with the work on temperature control optimization. The latter will be implemented on a real fuel cell system in order to demonstrate the relevance of the proposed solution using concrete experimental data.
Innovative techniques for evaluating critical steps and limiting factors for batteries formation
The battery manufacturing sector in Europe is currently experiencing strong growth. The electrical formation step that follows battery assembly and precedes delivery has received little academic attention, despite being crucial for battery performance (lifespan, internal resistance, defects, etc.). It is an essential time-consuming and costly step in the process (>30% of the cell manufacturing cost, and 25% of the equipment cost in a Gigafactory) that would greatly benefit from optimization.
In this thesis, we propose studying battery formation using innovative, complementary, operando non-intrusive techniques. The goal is to identify the limiting mechanisms of the electrolyte impregnation step (filling electrode pores) and of the initial charge. The candidate will implement experimental methods to monitor and analyze these mechanisms. He will also establish a methodology and protocols for studying these steps, combining electrochemical measurements with non-intrusive physical characterizations under operating conditions. The research will focus on optimizing formation time and quality control during this stage.