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.
- K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten. 2003. Using controller-synthesis techniques to build property-enforcing layers. In Proceedings of the 12th European Conference on Programming (ESOP'03). Springer, 174--188. Google Scholar
Digital Library
- C. Andre. 1996. Representation and analysis of reactive behaviors: A synchronous approach. In Proceedings of the Conference on Computational Engineering in Systems Applications (CESA). IEEE-SMC, 19--29.Google Scholar
- C. Andre, F. Mallet, and R. De Simone. 2007. Time modeling in MARTE. In Proceedings of the ECSI Forum on Specification and Design Languages (FDL'07). 268--273.Google Scholar
- A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. De Simone. 2003. The synchronous languages 12 years later. Proc. IEEE 91, 1, 64--83.Google Scholar
- P. Bomel, J. Crenne, L. Ye, J.-P. Diguet, and G. Gogniat. 2009. Ultra-fast downloading of partial bitstreams through ethernet. In Proceedings of the 22nd International Conference on Architecture of Computing Systems (ARCS'09). Springer, 72--83. Google Scholar
Digital Library
- M. Borgatti, A. Fedeli, U. Rossi, J.-L. Lambert, I. Moussa, F. Fummi, C. Marconcini, and P. Pravadelli. 2004. A verification methodology for reconfigurable systems. In Proceedings of the 5th International Workshop on Microprocessor Test and Verification (MTV'04). 85--90. Google Scholar
Digital Library
- C. G. Cassandras. and S. Lafortune. 2006. Introduction to Discrete Event Systems. Springer. Google Scholar
Digital Library
- G. Delaval, H. Marchand, and E. Rutten. 2010. Contracts for modular discrete controller synthesis. In Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'10). ACM Press, New York, 57--66. Google Scholar
Digital Library
- J.-P. Diguet, Y. Eustache, and G. Gogniat. 2011. Closed-loop--based self-adaptive hardware/software-embedded systems: Design methodology and smart cam case study. ACM Trans. Embedd. Comput. Syst. 10, 3, 38:1--38:28. Google Scholar
Digital Library
- M. Dossis. 2011. A formal design framework to generate coprocessors with implementation options. Int. J. Res. Rev. Comput. Sci. 2, 4, 929--936.Google Scholar
- E. Dumitrescu, M. Ren, L. Pietrac, and E. Niel. 2008. A supervisor implementation approach in discrete controller synthesis. In Proceedings of the IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'08). 1433--1440.Google Scholar
- A. Gamatie, S. Le Beux, E. Piel, R. Ben Atitallah, A. Etien, P. Marquet, and J.-L. Dekeyser. 2011. A model-driven design framework for massively parallel embedded systems. ACM Trans. Embedd. Comput. Syst. 10, 4, 39:1--39:36. Google Scholar
Digital Library
- S. Guillet, F. De Lamotte, N. Le Griguer, E. Rutten, G. Gogniat, and J.-P. Diguet. 2012. Designing formal reconfiguration control using UML/MARTE. In Proceedings of the 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC'12). 1--8.Google Scholar
Cross Ref
- S. Gupta, R. K. Gupta, N. D. Dutt, and A. Nicolau. 2004. Coordinated parallelizing compiler optimizations and high-level synthesis. ACM Trans. Des. Autom. Electron. Syst. 9, 4, 441--470. Google Scholar
Digital Library
- J. O. Kephart and D. M. Chess. 2003. The vision of autonomic computing. Comput. 36, 1, 41--50. Google Scholar
Digital Library
- S. Kundu, S. Lerner, and R. Gupta. 2011. High-Level Verification: Methods and Tools for Verification of System-Level Designs. Springer. Google Scholar
Digital Library
- H. Marchand, P. Bournai, M. L. Borgne, and P. L. Guernic. 2000. Synthesis of discrete-event controllers based on the signalenvironment. Discr. Event Dynam. Syst. 10, 4, 325--346. Google Scholar
Digital Library
- O. Pell. 2006. Verification of FPGA layout generators in higher-order logic. J. Autom. Reason. 37, 117--152. Google Scholar
Digital Library
- I. R. Quadri. 2010. MARTE based model driven design methodology for targeting dynamically reconfigurable FPGA based SoCs. Ph.D. thesis, Universite des Sciences et Technologie de Lille 1. 1--252.Google Scholar
- P. J. G. Ramadge and W. M. Wonham. 1989. The control of discrete event systems. Proc. IEEE 77, 1, 81--98.Google Scholar
Cross Ref
- W. Zhao, B. H. Kim, A. Larson, and R. Voyles. 2005. Fpga implementation of closed-loop control system for small-scale robot. In Proceedings of the 12th International Conference on Advanced Robotics (ICAR'05). 70--77.Google Scholar
Recommendations
Model-driven engineering with domain-specific meta-modelling languages
Domain-specific modelling languages are normally defined through general-purpose meta-modelling languages like the MOF. While this is satisfactory for many model-driven engineering (MDE) projects, several researchers have identified the need for domain-...
Domain-specific textual meta-modelling languages for model driven engineering
ECMFA'12: Proceedings of the 8th European conference on Modelling Foundations and ApplicationsDomain-specific modelling languages are normally defined through general-purpose meta-modelling languages like the MOF. While this is satisfactory for many Model-Driven Engineering (MDE) projects, several researchers have identified the need for domain-...
Model-driven engineering
During the last decade a new trend of approaches has emerged, which considers models not just documentation artefacts, but also central artefacts in the software engineering field, allowing the creation or automatic execution of software systems ...






Comments