Abstract | ||
---|---|---|
This paper presents a framework to integrate the formal synthesis of a reconfiguration controller into a Model Driven Engineering methodology used for reliable design of reconfigurable architectures. This methodology is based on an extension of UML/MARTE, GASPARD, and the aforementioned controller is obtained as a C code through a formal technique named Discrete Controller Synthesis. Taking advantage of using both modeling and synthesis techniques, the approach demonstrates an effective reduction of complexity in the specification of such reconfigurable systems. An application model of an image processing application is presented as a case study. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1109/FPL.2012.6339157 | Field Programmable Logic and Applications |
Keywords | Field | DocType |
control system synthesis,discrete systems,image processing,reconfigurable architectures,system-on-chip,C code,GASPARD,UML-MARTE,discrete controller synthesis,image processing,model driven engineering methodology,partial reconfiguration controller formal synthesis,reconfigurable architectures,reconfigurable systems,system-on-chip | Formal synthesis,Control theory,Computer architecture,System on a chip,Unified Modeling Language,Model-driven architecture,Computer science,Image processing,Real-time computing,Control reconfiguration,Embedded system | Conference |
ISBN | Citations | PageRank |
978-1-4673-2255-3 | 1 | 0.35 |
References | Authors | |
0 | 8 |
Name | Order | Citations | PageRank |
---|---|---|---|
Sébastien Guillet | 1 | 22 | 3.33 |
Florent De Lamotte | 2 | 109 | 10.46 |
Nicolas Le Griguer | 3 | 17 | 2.15 |
Éric Rutten | 4 | 255 | 30.50 |
Jean-Philippe Diguet | 5 | 486 | 67.41 |
Guy Gogniat | 6 | 517 | 53.11 |
de Lamotte, F. | 7 | 25 | 2.53 |
Le Griguer, N. | 8 | 11 | 1.37 |