LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Jobs

 Thesis : Conception compositionnelle de dispositifs biomédicaux portables certifiables

PhD school thesis
Cette thèse vise à développer une méthodologie de conception pour des dispositifs bio-médicaux portables. Nous souhaitons en minimiser le coût, la taille et la consommation ainsi que garantir la sûrété de fonctionnement et la sécurité. Nous proposons pour cela de construire un environnement basé sur des méthodes d'ingénierie dirigé par les modèles, des techniques de co-simulation analogique/numérique et de vérification formelle, en utilisant des techniques compositionnelles d'abstraction et de décomposition hiérarchique. La complexité sera ainsi décomposée de manière hiérarchique en composants locaux, pour lesquels nous analysons les dépendances. Cette approche devrait permettre à prendre en considération de multiples domaines (biologie, mécanique, ...).

Mots clefs : objets connectés, dispositifs biomédicaux, systèmes cyber-physiques, co-conception matérielle-logicielle, vérification formelle

Ce projet de recherche doctoral fait l’objet d’une demande de financement auprès de « Ecole Doctorale d‘Informatique, Télécommunication et d‘Electronique (EDITE) », 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 :François Pêcheux

 Mentions légales
Site map |