Internship agreement with the Université Paris-Saclay
![](/storages/es-etit/_processed_/0/a/csm_Stock_Photo_1_e3de274d9a.jpg)
From October 01, 2022 we will offer a student from the Université Paris-Saclay the opportunity to research and work in the field of embedded systems for safety-critical systems as part of a one-year internship. For this purpose, we have reached a bilateral agreement with the French partner.
The internship provides the opportunity to extend the previous theoretically acquired knowledge practically with regard to the topic of application of formal methods in reliable distributed systems (taking into account a convergence) of embedded computing and communication resources.
The aim of the agreement is to develop a framework that serves as a common system abstraction, combining admission control mechanisms with dynamic resource reservation to guarantee end-to-end latencies. To this end, formal methods (i.e., contract theory and formal timing analysis) will be applied to reliable distributed systems. Validation of the framework will be performed using a real-world example from the field of automated driving or industrial automation. The work is based on an established collaboration with VERIMAG/CNRS (Prof. Susanne Graf) and Bosch Corporate Research (Dr.-Ing. Dirk Ziegenbein and Dr.-Ing. Arne Hamann).
The internship takes place in cooperation with the International Office of the TU Dortmund University. Further information about internships abroad can also be found under Internship Programs.