HyperspaceFlow: A System-Level Design Methodology for Smart Space

被引:10
|
作者
Zeng, Jing [1 ]
Yang, Laurence T. [2 ]
Ma, Jianhua [3 ]
Guo, Minyi [4 ]
机构
[1] Huazhong Univ Sci & Technol, Sch Comp Sci & Technol, Wuhan 430074, Peoples R China
[2] St Francis Xavier Univ, Dept Math Stat & Comp Sci, Antigonish, NS B2G 2W5, Canada
[3] Hosei Univ, Fac Comp & Informat Sci, Tokyo 1848584, Japan
[4] Shanghai Jiao Tong Univ, Dept Comp Sci & Engn, Shanghai 200240, Peoples R China
基金
加拿大创新基金会; 中国国家自然科学基金;
关键词
System-level design; ubiquitous computing; smart space; home health care; multi-objective optimization; MODELS;
D O I
10.1109/TETC.2015.2501846
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Smart space technology gains intensive attentions of the worldwide due to the advancement of pervasive computing. However, the design of smart space is inherently complex as it resides in highly varying environment with multiple devices, also the power consumption, cost, and user preference are usually ignored by designers, resulting in huge design cost, high power dissipation, and unsatisfactory user experience. In this paper, we present a system-level design methodology for smart space, which is able to refine the function specification of smart space into underlying implementations leveraging an intermediate representation model HyperspaceFlow. The tasks in smart space are deposited into distributed execution platforms, and a network is automatically synthesized to satisfy their needs of communication at given QoS constraints. Meanwhile, the proposed design methodology is able to offer relatively satisfactory cost, power consumption, and user preference of the design solution at given constraints. At last, a home health care case is used to elucidate our design methodology, and the simulation results demonstrate the effectiveness and feasibility of our methodology.
引用
收藏
页码:568 / 583
页数:16
相关论文
共 50 条
  • [1] A methodology for system-level analog design space exploration
    De Bernardinis, F
    Vincentelli, AS
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 676 - 677
  • [2] A METHODOLOGY FOR SUPPORTING SYSTEM-LEVEL DESIGN SPACE EXPLORATION AT HIGHER LEVELS OF ABSTRACTION
    Dedic, Joze
    Finc, Matjaz
    Trost, Andrej
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2008, 17 (04) : 703 - 727
  • [3] Is a unified methodology for system-level design possible?
    Sangiovanni-Vincentelli, Alberto
    IEEE DESIGN & TEST OF COMPUTERS, 2008, 25 (04): : 346 - 357
  • [4] A METHODOLOGY AND DESIGN TOOLS TO SUPPORT SYSTEM-LEVEL VLSI DESIGN
    KUCUKCAKAR, K
    PARKER, AC
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 1995, 3 (03) : 355 - 369
  • [5] Formal system-level design space exploration
    Knorreck, Daniel
    Apvrille, Ludovic
    Pacalet, Renaud
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2013, 25 (02): : 250 - 264
  • [6] A system-level design methodology for reconfigurable computing applications
    El-Araby, E
    El-Ghazawi, T
    Gaj, K
    FPT 05: 2005 IEEE International Conference on Field Programmable Technology, Proceedings, 2005, : 311 - 312
  • [7] Formal refinement checking in a system-level design methodology
    Talpin, JP
    Le Guernic, P
    Shukla, SK
    Doucet, F
    Gupta, R
    FUNDAMENTA INFORMATICAE, 2004, 62 (02) : 243 - 273
  • [8] A system-level approach for the design of smart sensor interfaces
    Chao, G
    Li, XJ
    Meijer, GCM
    PROCEEDINGS OF THE IEEE SENSORS 2004, VOLS 1-3, 2004, : 210 - 214
  • [9] Perspectives on System-level MPSoC Design Space Exploration
    Pimientel, Andy
    PROCEEDINGS OF 2016 INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING AND SIMULATION (SAMOS), 2016, : 335 - 335
  • [10] A methodology to manage system-level uncertainty during conceptual design
    Martin, Jay D.
    Simpson, Timothy W.
    JOURNAL OF MECHANICAL DESIGN, 2006, 128 (04) : 959 - 968