Stage M2 avec poursuite en thèse: Synthèse des Sytèmes

Stage de M2 avec la possibilité de poursuivre la thématique en thèse portant sur la prise en compte des aspects temporels dans une approche structurée et correcte par construction de synthèse de système.

Pour ceci on cherche à enrichir la langage DEPS qui permet de décrire et synthétiser un système soumis à des exigences hétérogènes.

Une application envisagé et la configuration et déploiement de flotte de drones hétérogène.