Modélisation et contrôle formel de la reconfiguration -- Application aux systèmes embarqués dynamiquement reconfigurables
Cette thèse a pour objet l'étude de la modélisation du contrôle de la reconfiguration dans les systèmes dynamiques, plus particulièrement les systèmes sur puce dynamiquement et partiellement reconfigurables. Les travaux présentés dans ce manuscrit visent à réaliser une méthodologie...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
Université de Bretagne Sud
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00879731 http://tel.archives-ouvertes.fr/docs/00/87/97/31/PDF/THESE-GUILLET-SEBASTIEN.pdf |