Designing formal reconfiguration control using UML/MARTE

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.

[1]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[2]  Éric Rutten,et al.  Contracts for modular discrete controller synthesis , 2010, LCTES '10.

[3]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[4]  Wei Zhao,et al.  FPGA implementation of closed-loop control system for small-scale robot , 2005, ICAR '05. Proceedings., 12th International Conference on Advanced Robotics, 2005..

[5]  Éric Niel,et al.  A supervisor implementation approach in Discrete Controller Synthesis , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[6]  Paul Le Guernic,et al.  Synthesis of Discrete-Event Controllers Based on the Signal Environment , 2000, Discret. Event Dyn. Syst..

[7]  Oliver Pell,et al.  Verification of FPGA Layout Generators in Higher-Order Logic , 2006, Journal of Automated Reasoning.

[8]  Éric Rutten,et al.  Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model , 2010, CBSE.

[9]  Jeffrey O. Kephart,et al.  The Vision of Autonomic Computing , 2003, Computer.

[10]  Imed Moussa,et al.  A verification methodology for reconfigurable systems , 2004, Fifth International Workshop on Microprocessor Test and Verification (MTV'04).

[11]  Éric Rutten,et al.  Synchronous control of reconfiguration in fractal component-based systems - A case study , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[12]  Fabienne Boyer,et al.  Discrete supervisory control application to computing systems administration , 2012 .

[13]  Éric Rutten,et al.  Modeling and Formal Control of Partial Dynamic Reconfiguration , 2010, 2010 International Conference on Reconfigurable Computing and FPGAs.

[14]  Jérémie Crenne,et al.  Ultra-Fast Downloading of Partial Bitstreams through Ethernet , 2009, ARCS.