System/Network Design-Space Exploration Based on TLM for Networked Embedded Systems

被引:16
|
作者
Bombieri, Nicola [1 ]
Fummi, Franco [1 ]
Quaglia, Davide [1 ]
机构
[1] Univ Verona, Dipartimento Informat, I-37134 Verona, Italy
关键词
Design; Performance; Verification; Transaction level modeling; networked embedded systems;
D O I
10.1145/1721695.1721703
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
This article presents amethodology for the design of Networked Embedded Systems (NESs), which extends Transaction Level Modeling (TLM) to perform system/network design-space exploration. As a result, a new design dimension is added to the traditional TLM refinement process to represent network configuration alternatives. Each network configuration can be used to drive both architecture exploration and system validation after each refinement step. A system/network simulation taxonomy is investigated aiming at precisely identifying the role of cosimulation in system/network design-space exploration. Furthermore, a general criterion to map functionalities to system and network models is presented. As a case study, the proposed methodology is applied to the design of a Voice-over-IP client.
引用
收藏
页数:32
相关论文
共 50 条
  • [1] Design space exploration of reliable networked embedded systems
    Streichert, Thilo
    Glass, Michael
    Haubelt, Christian
    Teich, Juergen
    JOURNAL OF SYSTEMS ARCHITECTURE, 2007, 53 (10) : 751 - 763
  • [2] A Case for Security-Aware Design-Space Exploration of Embedded Systems
    Pimentel, Andy D.
    JOURNAL OF LOW POWER ELECTRONICS AND APPLICATIONS, 2020, 10 (03) : 1 - 12
  • [3] 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
  • [4] Network-aware Design-Space Exploration of a Power-Efficient Embedded Application
    Sayyah, Parinaz
    Lazarescu, Mihai T.
    Quaglia, Davide
    Ebeid, Emad
    Bocchio, Sara
    Rosti, Alberto
    CODES+ISSS'12:PROCEEDINGS OF THE TENTH ACM INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE-CODESIGN AND SYSTEM SYNTHESIS, 2012, : 567 - 574
  • [5] A framework for design space exploration and performance analysis of networked embedded systems
    Dep. of Computer Science, University of Cantabria, Spain
    不详
    ACM Int. Conf. Proc. Ser.,
  • [6] CODESL: A Framework for System-level Modelling, Co-simulation and Design-Space Exploration of Embedded Systems based on System-on-Chip
    Hau, Y. W.
    Khalil-Hani, Mohamed
    Marsono, M. N.
    UKSIM-AMSS FIRST INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS, MODELLING AND SIMULATION, 2010, : 122 - 127
  • [7] HW/SW co-simulation for fast design-space exploration of multiprocessor embedded systems
    Fornaciari, W
    Pomante, L
    Salice, F
    Sciuto, D
    CANADIAN JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING-REVUE CANADIENNE DE GENIE ELECTRIQUE ET INFORMATIQUE, 2001, 26 (3-4): : 135 - 140
  • [8] Design-Space Reduction for Architectural Optimization of Automotive Embedded Systems
    Zhang, Xinhai
    Feng, Lei
    Chen, De-Jiu
    Torngren, Martin
    2015 IEEE 17TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2015 IEEE 7TH INTERNATIONAL SYMPOSIUM ON CYBERSPACE SAFETY AND SECURITY, AND 2015 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS), 2015, : 1103 - 1109
  • [9] Design-space exploration of a cryptography algorithm
    Sotiriou, CP
    Papaefstathiou, Y
    ICECS 2003: PROCEEDINGS OF THE 2003 10TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS, VOLS 1-3, 2003, : 858 - 861
  • [10] Novelty and Interestingness Measures for Design-space Exploration
    Reehuis, Edgar
    Olhofer, Markus
    Emmerich, Michael
    Sendhoff, Bernhard
    Baeck, Thomas
    GECCO'13: PROCEEDINGS OF THE 2013 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2013, : 1541 - 1548