LIP6 CNRS Sorbonne Université
Direct Link LIP6 » Jobs

 Thesis : Sémantique formelle d'un langage de spécification du comportement des composants logiciels pour les systèmes de contrôle cyber-physiques

ISCD PhD thesis
La recherche proposée se situe dans le contexte du développement d’un modèle de composants pour les systèmes de contrôle cyber-physiques. Plus précisément, l’objectif de la thèse est de concevoir un langage de spécification compositionnelle du comportement des composants et d’en définir une sémantique formelle. Cette conception s'appuiera sur les systèmes hybrides stochastiques en s’inspirant des Hybrid Input/Output Automata de l’équipe de N. Lynch et des travaux d'A. Platzer sur les fondements logiques des systèmes cyber-physiques. Une sémantique formelle de type dénotationnelle devra être développée pour préfigurer un générateur de code de simulation. L’objectif de ces travaux est de faciliter et de systématiser la spécification, le test, la vérification, la validation, l’auto-configuration au déploiement et l’auto-adaptation des systèmes de contrôle cyber-physiques.

Ce projet de recherche doctoral fait l’objet d’une demande de financement auprès de « Institut des Sciences du calcul & des Données (ISCD) », le candidat retenu par son porteur devra donc participer au concours correspondant (prévoir un dossier et une audition) en vue d’obtenir le financement effectif.

More details here

Contact :Jacques Malenfant

 Mentions légales
Site map |