• Home
  • Page : 'emploi' inconnue (menus.php)

 Thesis : Conception compositionnelle de dispositifs biomédicaux portables certifiables

PhD school thesis
Les dispositifs biomédicaux combinent parties analogiques tels que capteurs et actuateurs avec un contrôle numérique et le logiciel applicatif. La tolérance aux pannes et la performance sont d’une importance cruciale. La conception de ces systèmes nécessite l’intégration d’un grand nombre de composants issus de différentes disciplines. Ceci rend extrêmement difficile la tâche de trouver des garanties de performance, sûreté et sécurité. Nous investigons la compositionnalité comme façon de maîtriser la complexité et l’hétérogénéité en nous foca- lisant sur la combinaison de deux aspects : premièrement, des stratégies de conception et de modélisation et deuxièmement, la vérification. Le but de ce projet de recherche doctoral est donc de proposer une méthodologie de conception de ces dispositifs médicaux intégrant tous ces aspects.

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 :Roselyne Chotin, Daniela Genius