Name
Title | ||
|---|---|---|
Extending UML/MARTE to Support Discrete Controller Synthesis, Application to Reconfigurable Systems-on-Chip Modeling |
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 weights (control part)—ensured statically and fulfilled by the system at runtime—and soft constraints (decision part) that, 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 |
|---|---|---|
2014 | 10.1145/2629628 | TRETS |
Keywords | Field | DocType |
design,reactive systems,synchronous language,model-driven engineering,uml/marte,feedback loop,discrete controller synthesis,management,reliability,bzr,formal method,model driven engineering | MicroBlaze,Control theory,Unified Modeling Language,Computer science,Model-driven architecture,Parallel computing,Real-time computing,Applications of UML,Formal methods,Reactive system,Control reconfiguration,Embedded system | Journal |
Volume | Issue | ISSN |
7 | 3 | 1936-7406 |
Citations | PageRank | References |
1 | 0.35 | 10 |
Authors | ||
6 | ||
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 |
| Guy Gogniat | 5 | 517 | 53.11 |
| Jean-Philippe Diguet | 6 | 486 | 67.41 |