Designing formal reconfiguration control using UML/MARTE

Sebastien Guillet, Florent de Lamotte, Nicolas Le Griguer, Eric Rutten, Guy Gogniat, Jean-Philippe Diguet
2012 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC)  
This paper presents the first framework to design and synthesize a formal controller managing dynamic reconfiguration, using a Model Driven Engineering methodology base on an extension of UML/MARTE. The implementation technique highlights the combination of hard configuration constraints using weights (control part) -ensured statically and fulfilled by the managed system at runtime -and soft constraints (decision part) which, given a set of correct and accessible configurations, choose one of
more » ... ns, choose one of them. An application model of an image processing application is presented, then transformed and synthesized to be executed on a Xilinx platform to show how the controller, executed on a Microblaze, manages the hardware reconfigurations. 1
doi:10.1109/recosoc.2012.6322870 dblp:conf/recosoc/GuilletLGRGD12 fatcat:fp3lufzqafezpexbxhgc5f2dk4