PhD position at ISAE-SUPAERO, Toulouse, France

PhD position at ISAE-SUPAERO, Toulouse, France*

Title: Contribution to the analysis, validation and development of Embedded Systems
Advisors: Janette CARDOSO and Pierre SIRON, Contact firstname.lastname@isae-supaero.fr

*Deadline* for the application: March 31, 2016. PhD thesis starts on September 2016

The PhD thesis will take place at ISAE-SUPAERO, a worldwide reference in aerospace higher education programs and research for aerospace engineering, in the  Complex System Engineering Department (DISC). The activities of DISC go from theoretical aspects of critical system engineering (distributed real time simulation,  model driven engineering) to practical aspects related to the design and implementation of such systems.

The goal of this thesis is to contribute to the analysis, validation and implementation of embedded systems. The very nature of cyber-physical systems, characterized by heterogeneous systems (and so, heterogeneous models of computation) and often distributed, makes the design and analysis very complex. Some significant propositions already exist among them the open-source Ptolemy project, PRISE/HLA and FMI  for distributed systems.

The starting point of this PhD proposal is to compare these approaches for distributed simulation and execution,  and put forward the "crossed" solutions that could be used in from a theoretical point of view. Indeed, a deterministic simulation is a key issue in the design of cyber-physical systems mainly for decreasing the gap between the distributed simulation and the real (implemented) distributed system.

The ultimate goal of this thesis is to implement the theoretical solutions proposed in these studies and apply them on an aerospace application focused at some level, eg, the avionics embedded system or a fleet of drones.

A scholarship from the Direction Générale de l'Armement will be provided.

Conditioned on the progress of the thesis, an internship at UC Berkeley may possibly be supported.

Skills:  Students with a Master's degree interested in distributed systems, real-time systems and simulation of cyber-physical systems. 

More details and bibliography:



https://www.adum.fr/script/downloadfile.pl?ID=10381&type=78