skip to main content
research-article

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

Published:03 September 2014Publication History
Skip Abstract Section

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.

References

  1. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  2. 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 ScholarGoogle Scholar
  3. 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 ScholarGoogle Scholar
  4. 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 ScholarGoogle Scholar
  5. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  6. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  7. C. G. Cassandras. and S. Lafortune. 2006. Introduction to Discrete Event Systems. Springer. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  9. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  10. M. Dossis. 2011. A formal design framework to generate coprocessors with implementation options. Int. J. Res. Rev. Comput. Sci. 2, 4, 929--936.Google ScholarGoogle Scholar
  11. 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 ScholarGoogle Scholar
  12. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  13. 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 ScholarGoogle ScholarCross RefCross Ref
  14. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  15. J. O. Kephart and D. M. Chess. 2003. The vision of autonomic computing. Comput. 36, 1, 41--50. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. S. Kundu, S. Lerner, and R. Gupta. 2011. High-Level Verification: Methods and Tools for Verification of System-Level Designs. Springer. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  18. O. Pell. 2006. Verification of FPGA layout generators in higher-order logic. J. Autom. Reason. 37, 117--152. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. 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 ScholarGoogle Scholar
  20. P. J. G. Ramadge and W. M. Wonham. 1989. The control of discrete event systems. Proc. IEEE 77, 1, 81--98.Google ScholarGoogle ScholarCross RefCross Ref
  21. 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 ScholarGoogle Scholar

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in

Full Access

  • Published in

    cover image ACM Transactions on Reconfigurable Technology and Systems
    ACM Transactions on Reconfigurable Technology and Systems  Volume 7, Issue 3
    Special Issue on 11th International Conference on Field-Programmable Technology (FPT'12) and Special Issue on the 7th International Workshop on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC'12)
    August 2014
    199 pages
    ISSN:1936-7406
    EISSN:1936-7414
    DOI:10.1145/2664590
    Issue’s Table of Contents

    Copyright © 2014 ACM

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 3 September 2014
    • Accepted: 1 March 2014
    • Revised: 1 February 2014
    • Received: 1 January 2013
    Published in trets Volume 7, Issue 3

    Permissions

    Request permissions about this article.

    Request Permissions

    Check for updates

    Qualifiers

    • research-article
    • Research
    • Refereed

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader
About Cookies On This Site

We use cookies to ensure that we give you the best experience on our website.

Learn more

Got it!