SystemC/C-Based Model-Driven Design for Embedded Systems

被引:18
|
作者
Riccobene, Elvinia [1 ]
Scandurra, Patrizia [2 ]
Bocchio, Sara [3 ]
Rosti, Alberto [3 ]
Lavazza, Luigi [4 ,5 ]
Mantellini, Luigi [6 ]
机构
[1] Univ Milan, Dip Tecnol Informaz, Crema, CR, Italy
[2] Univ Bergamo, Dip Ingn Informaz & Metodi Matemat, Dalmine, BG, Italy
[3] STMicroelect Lab R&I, Agrate Brianza, Italy
[4] Univ Insubria, Dip Informat & Comunicaz, Varese, Italy
[5] CEFRIEL, Milan, Italy
[6] Ind Dial Face SpA, Milan, Italy
关键词
Model-driven engineering; embedded systems and SoC design; SystemC UML profile; multithread C UML profile; model refinement; MDE; ES; SoC; UML; SystemC; C;
D O I
10.1145/1550987.1550993
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This article summarizes our effort, since 2004 up to the present time, for improving the current industrial Systems-on-Chip and Embedded Systems design by joining the capabilities of the unified modeling language (UML) and SystemC/C programming languages to operate at system-level. The proposed approach exploits the OMG model-driven architecture-a framework for Model-driven Engineering-capabilities of reducing abstract, coarse-grained and platform-independent system models to fine-grained and platform-specific models. We first defined a design methodology and a development flow for the hardware, based on a SystemC UML profile and encompassing different levels of abstraction. We then included a multithread C UML profile for modelling software applications. Both SystemC/C profiles are consistent sets of modelling constructs designed to lift the programming features (both structural and behavioral) of the two coding languages to the UML modeling level. The new codesign flow is supported by an environment, which allows system modeling at higher abstraction levels (from a functional executable level to a register transfer level) and supports automatic code-generation/back-annotation from/to UML models.
引用
收藏
页数:37
相关论文
共 50 条
  • [21] Model-Driven Embedded-System Design
    Basten, Twan
    Ernst, Rolf
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2010, 10 (02)
  • [22] A quantitative evaluation of C-based synthesis on heterogeneous embedded systems design
    Hammami, Omar
    Wang, Zoukun
    Fresse, Virginie
    Houzet, Dominique
    PROCEEDINGS OF 2008 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-10, 2008, : 368 - +
  • [23] A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design
    Ziani, Adel
    Hamid, Brahim
    Bruel, Jean-Michel
    2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA), 2012, : 166 - 169
  • [24] Domain Specific Views in Model-driven Embedded Systems Design in Industrial Automation
    Ferrarini, Luca
    Dede, Alessio
    Salauen, Patrick
    Dang, Tuan
    Fogliazza, G.
    2009 7TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1 AND 2, 2009, : 702 - +
  • [25] Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset
    Basten, Twan
    van Benthum, Emiel
    Geilen, Marc
    Hendriks, Martijn
    Houben, Fred
    Igna, Georgeta
    Reckers, Frans
    de Smet, Sebastian
    Somers, Lou
    Teeselink, Egbert
    Trcka, Nikola
    Vaandrager, Frits
    Verriet, Jacques
    Voorhoeve, Marc
    Yang, Yang
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, 2010, 6415 : 90 - 105
  • [26] A Model-Driven Approach for Embedded System Prototyping and Design
    Hili, Nicolas
    Fabre, Christian
    Dupuy-Chessa, Sophie
    Rieu, Dominique
    PROCEEDINGS OF THE 2014 25TH IEEE INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP): SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2014, : 23 - 29
  • [27] Model-Driven Design of Embedded Multimedia Applications on SoCs
    Abdallah, Adolf
    Gamatie, Abdoulaye
    Dekeyser, Jean-Luc
    PROCEEDINGS OF THE 2009 12TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN, ARCHITECTURES, METHODS AND TOOLS, 2009, : 207 - 210
  • [28] Model-driven security management of embedded service systems
    Illner, S
    Pohl, A
    Krumm, H
    IECON 2005: THIRTY-FIRST ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, 2005, : 2655 - 2660
  • [29] MoVES: A Model-Driven Methodology for Vehicular Embedded Systems
    Bucaioni, Alessio
    Addazi, Lorenzo
    Cicchetti, Antonio
    Ciccozzi, Federico
    Eramo, Romina
    Mubeen, Saad
    Sjodin, Mikael
    IEEE ACCESS, 2018, 6 : 6424 - 6445
  • [30] Reliability Analysis in Model-Driven Development of Embedded Systems
    Velasco, David S.
    Kuhn, Thomas
    Kemmann, Soeren
    59TH ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS), 2013,