Design Space Exploration over a Co-simulation environment for Cyber Physical Systems
Context
Καιρος (Kairos) is a research team, in strong connexion with industries, working on methods and tools to manage the behavior (potentially timed and concurrent) of programs written in dedicated languages, at different levels of abstraction. The targeted languages are mainly dedicated to the development of cyber physical systems (e.g., satellites, aircraft engines or drones). In this context we propose tools to simulate a (set of) program (s) with the possibility of using an omniscient debugger.
Mission
In this context, industrials increasingly rely on co-simulation (ie, collaborative simulation of programs written in different languages and executed in different tools (https://fmi-standard.org/)) in order to understand behaviors emerging from the integration of the different elements of the system. In order to help them, a co-simulation environment must make it possible to define and simulate the different elements. However, in order to explore different design choices, it is interesting to control multiple co-simulations programmatically to achieve predefined performance goals. The purpose of the internship is to propose a method and a tool (why not a language) to define the objectives and launch (co-) simulations automatically with different parameters in order to move towards a (pseudo) optimal solution.
Until now, the method to choose the simulation parameters is completely open, it could be based on the Pareto principle, on a genetic algorithm, on deep learning or any other choice.
Profile
A M2 student, curious and motivated by the world of the cyber physical model simulation, not afraid to navigate in the middle of different technologies. Note that a PhD on related topics is a possible follow up.
How to apply
Please send your application (PDF) to Julien Deantoni as soon as possible. Screening of applications starts immediately and continues until the position is filled.
