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
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 :
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 : Friday, September 25, 2020 - 3:35:49 AM
Long-term archiving on: : 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

567

Files downloads

1844