Extending UML/MARTE to Support Discrete Controller Synthesis, Application to Reconfigurable Systems-on-Chip Modeling

Guillet, Sébastien; de Lamotte, Florent; Le Griguer, Nicolas; Rutten, Éric; Gogniat, Guy; Diguet, Jean-Philippe

doi:10.1145/2629628

Public

Extending UML/MARTE to Support Discrete Controller Synthesis, Application to Reconfigurable Systems-on-Chip Modeling

Published in ACM Transactions on Reconfigurable Technology and Systems • Aug 1, 2014

Authors:

Sébastien Guillet

Florent de Lamotte

Nicolas Le Griguer

Abstract

This article presents the first framework to design and synthesize a formal controller managing dynamic reconfiguration, using a model-driven engineering methodology based on an extension of UML/MARTE. The implementation technique highlights the combination of hard configuration constraints using we...

Subject

MicroBlaze

Computer science

Control reconfiguration

Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!