A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Designing formal reconfiguration control using UML/MARTE
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
doi:10.1109/recosoc.2012.6322870
dblp:conf/recosoc/GuilletLGRGD12
fatcat:fp3lufzqafezpexbxhgc5f2dk4