Skip to Main content Skip to Navigation
New interface

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

Guillet Sébastien 1 
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : This thesis deals with the study of reconfiguration control modeling in dynamic systems, especially dynamically and partially reconfigurable Systems-on-Chip. The work presented in this manuscript aims to carry out a design-by-constraints methodology, applicable to the specification of these systems. Relying on Model Driven Engineering, this methodology - based on UML/MARTE - is provided with appropriated transformations, enabling it to target a synchronous representation, in the BZR language, dedicated to the control part. This representation is in turn operated through a correct-by-construction technique - discrete controller synthesis -, which aims to automatically and safely obtain control laws corresponding to the previously specified constraints. The control part is divided into two aspects: safety, formally obtained through synthesis and providing accessible configuration space, and optimisation, implementable by the designer and providing a reconfiguration order considering an accessible configuration space. The proposed incorporation of safety and optimisation is comparable to a reactive system using a feedback loop. An example showing the methodology is presented, illustrating its benefits on both the design simplification (designing by constraints, automated approach) and security levels (formal control).
Document type :
Complete list of metadata

Cited literature [131 references]  Display  Hide  Download
Contributor : Sébastien Guillet Connect in order to contact the contributor
Submitted on : Monday, November 4, 2013 - 4:44:45 PM
Last modification on : Monday, March 14, 2022 - 11:08:10 AM
Long-term archiving on: : Friday, April 7, 2017 - 8:44:15 PM


  • HAL Id : tel-00879731, version 1


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. ⟨NNT : ⟩. ⟨tel-00879731⟩



Record views


Files downloads