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 条
  • [31] A Model-driven Validation & Verification Environment for Embedded Systems
    Gargantini, A.
    Riccobene, E.
    Scandurra, P.
    2008 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS, 2008, : 241 - +
  • [32] Single Source Design Environment for Embedded Systems Based on SystemC
    H. Posadas
    F. Herrera
    V. FernÁndez
    P. SÁnchez
    E. Villar
    F. Blasco
    Design Automation for Embedded Systems, 2004, 9 : 293 - 312
  • [33] Model-Driven design of Industrial Control Systems
    Marcos, M.
    Estevez, E.
    2008 IEEE INTERNATIONAL SYMPOSIUM ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, 2008, : 33 - 38
  • [34] A model-driven design approach for mechatronic systems
    Huang, Jinfeng
    Voeten, Jeroen
    Groothuis, Marcel
    Broenink, Jan
    Corporaal, Henk
    SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 127 - +
  • [35] Single source design environment for embedded systems based on SystemC
    Posadas, H
    Herrera, F
    Fernández, V
    Sánchez, P
    Villar, E
    Blasco, F
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2004, 9 (04) : 293 - 312
  • [36] Model-Driven Design and Organic Computing - two different but possibly accordable concepts for the design of embedded systems
    Fey, Dietmar
    PROCEEDINGS OF THE 12TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, 2009, : 93 - 94
  • [37] Model-Driven Development of Embedded Real-Time Systems
    David, Alexandre
    Nielsen, Brian
    ERCIM NEWS, 2008, (75): : 19 - 20
  • [38] Model-driven Testing Approach for Embedded Systems Specifics Verification based on UML Model Transformation
    Grigorjevs, Jurijs
    MODEL-DRIVEN ARCHITECTURE AND MODEL-DRIVEN SOFTWARE DEVELOPMENT, 2011, : 26 - 35
  • [39] Supporting model-driven requirements management in the embedded systems domain
    Siegert, Eliane
    Sena Marques, Milena Rota
    Brisolara, Lisane
    2013 SYMPOSIUM ON COMPUTING AND AUTOMATION FOR OFFSHORE SHIPBUILDING (NAVCOMP 2013), 2013, : 34 - 39
  • [40] Towards the Model-Driven Engineering of Security Requirements for Embedded Systems
    Roudier, Yves
    Idrees, Muhammad Sabir
    Apvrille, Ludovic
    2013 3RD INTERNATIONAL WORKSHOP ON MODEL-DRIVEN REQUIREMENTS ENGINEERING (MODRE), 2013, : 55 - 64