Skip to Main content Skip to Navigation
Theses

Modélisation et contrôle formel de la reconfiguration -- Application aux systèmes embarqués dynamiquement reconfigurables

Guillet Sébastien 1
1 Lab-STICC_UBS_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Résumé : 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 de conception par contrainte du contrôle, applicable dans le cadre de la spécification de ces systèmes. Reposant sur le principe d'Ingénierie Dirigée par les Modèles, cette méthodologie - basée sur UML/MARTE - est dotée de transformations appropriées, lui permettant de cibler une représentation synchrone, en langage BZR, de la partie contrôle. Cette représentation est ensuite exploitable par une technique correcte par construction - la synthèse de contrôleur discret -, dans le but d'obtenir automatiquement et de manière sûre les lois de commande correspondant aux contraintes spécifiées en amont. La partie contrôle est plus particulièrement divisée en deux aspects : la sécurité, obtenue formellement par synthèse afin de produire des espaces de configurations accessibles, et l'optimisation, implémentable par le concepteur et produisant un ordre de reconfiguration à partir d'un espace accessible. L'intégration sécurité/optimisation proposée est assimilable à un système réactif avec boucle de rétroaction. Un exemple démontrant la méthodologie est réalisé, et fait apparaître ses avantages tant en terme de simplification de conception (spécification par contraintes, approche automatique) qu'en terme de sécurité (contrôle formel).
Document type :
Theses
Complete list of metadatas

Cited literature [131 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00879731
Contributor : Sébastien Guillet <>
Submitted on : Monday, November 4, 2013 - 4:44:45 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:23 PM
Document(s) archivé(s) le : Friday, April 7, 2017 - 8:44:15 PM

Identifiers

  • HAL Id : tel-00879731, version 1

Citation

Guillet Sébastien. Modélisation et contrôle formel de la reconfiguration -- Application aux systèmes embarqués dynamiquement reconfigurables. Génie logiciel [cs.SE]. Université de Bretagne Sud, 2012. Français. ⟨tel-00879731⟩

Share

Metrics

Record views

551

Files downloads

1784