Tesis : Conception compositionnelle de dispositifs biomédicaux portables certifiables