Modeling reconfigurable Systems-on-Chips with UML MARTE profile: an exploratory analysis

被引:5
|
作者
Cherif, Sana [1 ]
Quadri, Imran Rafiq [1 ]
Meftali, Samy [1 ]
Dekeyser, Jean-Luc [1 ]
机构
[1] INRIA Lille Nord Europe, LIFL, USTL, CNRS, 40 Ave Halley, F-59650 Villeneuve Dascq, France
关键词
D O I
10.1109/DSD.2010.58
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible nature. However due to the tremendous amount of hardware resources available in these systems, new design methodologies and tools are required to reduce their design complexity. In this paper we present an exploratory analysis for specification of these systems, while utilizing the UML MARTE (Modeling and Analysis of Real-time and Embedded Systems) profile. Our contributions permit us to model fine grain reconfigurable FPGA based SoC architectures while extending the profile to integrate new features such as Partial Dynamic Reconfiguration supported by these modern systems. Finally we present the current limitations of the MARTE profile and ask some open questions regarding how these high level models can be effectively used as input for commercial FPGA simulation and synthesis tools. Solutions to these questions can help in creating a design flow from high level models to synthesis, placement and execution of these reconfigurable SoCs.
引用
收藏
页码:706 / 713
页数:8
相关论文
共 47 条
  • [1] MARTE:: Also an UML profile for modeling AADL applications
    Faugere, Madeleine
    Bourbeau, Thimothee
    De Simone, Robert
    Gerard, Sebastien
    [J]. 12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 359 - 364
  • [2] Modeling Data Races Using UML/MARTE Profile
    Akshay, K. C.
    Nayak, Ashalatha
    Muniyal, Balachandra
    [J]. 2014 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2014, : 238 - 244
  • [3] Extensions to the UML Profile for MARTE for Distributed Embedded Systems
    Ebeid, Emad
    Medina, Julio
    Quaglia, Davide
    Fummi, Franco
    [J]. 2015 18TH FORUM ON SPECIFICATION AND DESIGN LANGUAGES (FDL), 2015, : 99 - 106
  • [4] UML for system-level design - Extending the object model for systems-on-chips
    Green, P
    Edwards, M
    Essa, S
    [J]. SYSTEM ON CHIP DESIGN LANGUAGES: EXTENDED PAPERS: BEST OF FDL'01 AND HDLCON'01, 2002, : 225 - 233
  • [5] Extending UML/MARTE to Support Discrete Controller Synthesis, Application to Reconfigurable Systems-on-Chip Modeling
    Guillet, Sebastien
    De Lamotte, Florent
    Le Griguer, Nicolas
    Rutten, Eric
    Gogniat, Guy
    Diguet, Jean-Philippe
    [J]. ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, 2014, 7 (03)
  • [6] Modeling Road Traffic Signals Control Using UML and the MARTE Profile
    Silvestre, Eduardo Augusto
    Soares, Michel dos Santos
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, 2012, 7336 : 1 - 15
  • [7] UML MARTE-based Design of Reconfigurable Distributed Embedded Control Systems
    Ali, Amen Ben Hadj
    Khalgui, Mohamed
    Ben Ahmed, Samir
    [J]. 2013 IEEE INTERNATIONAL CONFERENCE OF IEEE REGION 10 (TENCON), 2013,
  • [8] A high-level methodology for automatically generating dynamic partially reconfigurable systems using IP-XACT and the UML MARTE profile
    Ochoa-Ruiz, Gilberto
    Labbani, Ouassila
    Bourennane, El-Bay
    Soulard, Philippe
    Cherif, Sana
    [J]. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2012, 16 (03) : 93 - 128
  • [9] Instantiating GENESYS Application Architecture Modeling via UML 2.0 constructs and MARTE Profile
    Khan, Subayal
    Tiensyrja, Kari
    Nurmi, Jari
    [J]. 13TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN: ARCHITECTURES, METHODS AND TOOLS, 2010, : 251 - 254
  • [10] A high-level methodology for automatically generating dynamic partially reconfigurable systems using IP-XACT and the UML MARTE profile
    Gilberto Ochoa-Ruiz
    Ouassila Labbani
    El-Bay Bourennane
    Philippe Soulard
    Sana Cherif
    [J]. Design Automation for Embedded Systems, 2012, 16 : 93 - 128