Description
Date depot: 6 avril 2021
Titre: Conception compositionnelle de dispositifs biomédicaux portables certifiables
Directrice de thèse:
Roselyne CHOTIN (LIP6)
Encadrante :
Daniela GENIUS (LIP6)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Systèmes et architectures intégrés matériel-logiciel
Resumé: 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 focalisant 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.