High-level modeling of communication-centric applications: Extensions to a system-level design and virtual prototyping tool

被引:1
作者
Genius, Daniela [1 ]
Apvrille, Ludovic [2 ]
Li, Letitia W. [2 ,3 ]
机构
[1] Sorbonne Univ, LIP6, CNRS, UMR 7606, Paris, France
[2] Univ Paris Saclay, Telecom ParisTech, LTCI, Paris, France
[3] Inst VEDECOM, 77 Rue Chantiers, F-78000 Versailles, France
关键词
Virtual prototyping; System-level design; Design space exploration; MULTIPROCESSOR; METHODOLOGY; GENERATION; ALGORITHMS;
D O I
10.1016/j.micpro.2019.03.006
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
High performance streaming applications require hardware platforms featuring complex, multi-level interconnects. These applications often resemble a task-farm, where many identical tasks listen to the same input channel. Usual embedded system design tools are not well adapted to capture these applications. In particular, the non-uniform memory access (NUMA) nature of the platforms induces latencies that must be carefully examined. The paper proposes a multi-level modeling methodology and tools (TTool, SoCLib) that have been extended to model the characteristics of streaming applications (multiple tasks, non deterministic behavior, I/O devices) in UML/SysML, and to automatically generate a virtual prototype that can be simulated with high precision. The paper uses a typical streaming application to show how latencies can be estimated and fed back to diagrams. (C) 2019 Elsevier B.V. All rights reserved.
引用
收藏
页码:117 / 130
页数:14
相关论文
共 27 条
  • [1] [Anonymous], 2017, C MOD DRIV ENG SOFTW
  • [2] Apvrille L, 2019, DESIGN AUTOMATION TE
  • [3] Metropolis: An integrated electronic system design environment
    Balarin, F
    Watanabe, Y
    Hsieh, H
    Lavagno, L
    Passerone, C
    Sangiovanni-Vincentelli, A
    [J]. COMPUTER, 2003, 36 (04) : 45 - +
  • [4] Batori G, 2007, LECT NOTES COMPUT SC, V4735, P316
  • [5] Timed automata: Semantics, algorithms and tools
    Bengtsson, J
    Yi, W
    [J]. LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 87 - 124
  • [6] Berrayana S, 2004, LECT NOTES COMPUT SC, V3149, P846
  • [7] Blanchet B., 2016, MODELING VERIFYING S
  • [8] Corner D., 2003, NETWORK SYSTEMS DESI
  • [9] An MDA approach for the generation of communication adapters integrating SW and FW components from simulink
    Di Natale, Marco
    Chirico, Francesco
    Sindico, Andrea
    Sangiovanni-Vincentelli, Alberto
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8767 : 353 - 369
  • [10] Multiobjective optimization and evolutionary algorithms for the application mapping problem in multiprocessor system-on-chip design
    Erbas, Cagkan
    Cerav-Erbas, Selin
    Pimentel, Andy D.
    [J]. IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION, 2006, 10 (03) : 358 - 374