Paper Info
Title
Designing formal reconfiguration control using UML/MARTE
Abstract
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 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.
Year
DOI
Venue
2012
10.1109/ReCoSoC.2012.6322870
Reconfigurable Communication-centric Systems-on-Chip
Keywords
Field
DocType
Unified Modeling Language,image processing,integrated circuit design,system-on-chip,Microblaze,UML/MARTE,Xilinx platform,formal reconfiguration control,hard configuration constraints,hardware reconfigurations,image processing,model driven engineering methodology,soft constraints
MicroBlaze,Control theory,System on a chip,Unified Modeling Language,Computer science,Model-driven architecture,Real-time computing,Integrated circuit design,Applications of UML,Control reconfiguration,Embedded system
Conference
ISBN
Citations 
PageRank 
978-1-4673-2571-4
6
0.51
References 
Authors
7
8
Name
Order
Citations
PageRank
Sébastien Guillet1223.33
Florent De Lamotte210910.46
Nicolas Le Griguer3172.15
Éric Rutten425530.50
Guy Gogniat551753.11
Jean-Philippe Diguet648667.41
de Lamotte, F.7252.53
Le Griguer, N.8111.37