Modeling reconfigurable systems-on-chips with UML MARTE profile: An exploratory analysis

Proceedings - 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2010

Volumn , Issue , 2010, Pages 706-713

  Cherif, Sana ^a   Quadri, Imran Rafiq ^a   Meftali, Samy ^a   Dekeyser, Jean Luc ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CURRENT LIMITATION; DESIGN COMPLEXITY; DESIGN FLOWS; EXPLORATORY ANALYSIS; FINE GRAINS; HARDWARE RESOURCES; HIGH-LEVEL MODELS; MODELING AND ANALYSIS; MODERN EMBEDDED SYSTEMS; NEW DESIGN; PARTIAL DYNAMIC RECONFIGURATION; PREFERRED SOLUTIONS; RE-CONFIGURABLE; REAL-TIME AND EMBEDDED SYSTEMS; RECONFIGURABLE FPGA; RECONFIGURABLE SYSTEMS; SOC ARCHITECTURE; SYNTHESIS TOOL; SYSTEMS-ON-CHIP;

COMPUTER SIMULATION; DYNAMIC MODELS; MICROPROCESSOR CHIPS; PROGRAMMABLE LOGIC CONTROLLERS; REAL TIME SYSTEMS; RECONFIGURABLE HARDWARE; STRUCTURAL DESIGN; SYSTEMS ANALYSIS;

EMBEDDED SYSTEMS;

EID: 78649901592     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSD.2010.58     Document Type: Conference Paper

References (21)

1. P. Lysaght and B. Blodget and J. Mason, "Invited Paper: Enhanced Architectures, Design Methodologies and CAD Tools for Dynamic Reconfiguration of Xilinx FPGAs," in FPL'06, 2006.
2. OMG, "Portal of the Model Driven Engineering Community," 2007, http://www.planetmde.org.
3. S. Sendall and W. Kozaczynski, "Model Transformation: The Heart and Soul of Model-Driven Software Development," IEEE Software, vol. 20, no. 5, pp. 42-45, 2003.
4. OMG, "Modeling and Analysis of Real-time and Embedded systems (MARTE), Beta 3," http://www.omgwiki.org/marte-ftf2/doku.php, 2009.
5. G. Stitt, F. Vahid, and S. Nematbakhsh, "Energy savings and speedups from partitioning critical software loops to hardware in embedded systems," ACM Transactions on Embedded Computing Systems, vol. 3, no. 1, pp. 218-232, 2004.
6. B. Blodget and S. McMillan and P. Lysaght, "A lightweight approach for embedded reconfiguration of FPGAs," in Design, Automation & Test in Europe, DATE'03, 2003.
7. S. Choi, J. W. Wang, S. Mohanty, and V. K. Prasana, "Domain-specific modeling for rapid system level energy estimation of reconfigurable architectures," in International Conference of Engineering of Reconfig urable Systems and Algorithms, 2002.
8. S. Mohanty and V.K. Prasanna and S. Neema and J. Davis, "Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation," in LCTES/Scopes 2002, 2002.
9. ModelSim, "Modelsim - advanced simulation and debugging," 2010, http://model.com/.
10. R. Ben Atitallah, "Modéle et simulation des systéme sur purce mul tiprocesseurs - estimation des performances et de la consommation d'énergie," Ph.D. dissertation, USTL, 2008.
11. Xilinx, "Processor local bus structure," http://www.xilinx.com/ products/ipcenter/PLBBusStructure.htm, 2009.
12. Xilinx, "OPB hwicap product specification," Tech. Rep., 2009.
13. IBM Corporation, "The Coreconnect Bus Architecture, white paper," in International Business Machines Corporation, 2004.
14. Xilinx, "XUP-V2Pro Board," 2009, http://www.xilinx.com/univ/ xupv2p.html.
15. N. Dorairaj and E. Shiflet and M. Goosman, "PlanAhead Software as a Platform for Partial Reconfiguration," Xcell Journal, vol. 55, pp. 68-71, 2005.
16. J. Vidal and F. De Lamotte and G. Gogniat, "A co-design approach for embedded system modeling and code generation with UML and MARTE," in Design, Automation and Test in Europe (DATE'09), 2009.
17. I. R. Quadri, S. Meftali, and J.-L. Dekeyser, "A model based design flow for dynamic reconfigurable fpgas," International Journal of Re configurable Computing, 2009.
18. T. Arpinen, E. Salminen, T. D. Hamalainen, and M. Hannikainen, "Ex tension to MARTE profile for Modeling Dynamic Power Management of Embedded Systems," in 1st Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2010), DATE 2010, 2010.
19. Software Technology Laboratory, "Stl: Uml semantics project. school of computing, queen's university," http://www.cs.queensu.ca/~stl/internal/ uml2/bibtex/ref\umlstatemachines.htm, 2009.
20. H. Fecher, J. Schönborn, M. Kyas, and W. P. de Roever, "29 new unclar ities in the semantics of uml 2.0 state machines," in 7th International Conf. on Formal Engineering Methods (ICFEM'05), 2005, pp. 52-65.
21. I. R. Quadri, A. Gamatié, P. Boulet, and J.-L. Dekeyser, "Modeling of configurations for embedded system implementation in marte," in 1st workshop on Model Based Engineering for Embedded Systems Design (MBESD 2010), at DATE 2010, 2010.