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).
