Verification of embedded real-time systems using hardware/software co-simulation

被引:0
|
作者
El Shobaki, M [1 ]
机构
[1] Malardalen Univ, IDT, CUS, S-72123 Vasteras, Sweden
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper presents hardware/software co-simulation and discusses its suitability in the development of realtime systems. Due to the facts that time-to-market challenge has increased the need for shortening the development process, new techniques and methodologies are introduced. A fashionable technique is to use co-simulation environments in the verification phase of a design process. As this technique is being adopted, and the fact that companies from a wide industry ar en has become using it, real-time issues arp becoming relevant. This paper will discuss the use of a co-simulation tool for verification of embedded real-time systems.
引用
收藏
页码:46 / 50
页数:3
相关论文
共 50 条
  • [1] Co-simulation of distributed embedded real-time control systems
    Verhoef, Marcel
    Visser, Peter
    Hooman, Jozef
    Broenink, Jan
    [J]. INTEGRATED FORMAL METHODS, PROCEEDINGS, 2007, 4591 : 639 - 658
  • [2] CPU model-based hardware/software co-design, co-simulation and analysis technology for real-time embedded control systems
    Ishikawa, Makoto
    McCune, D. J.
    Saikalis, George
    Oho, Shigeru
    [J]. RTAS 2007: 13th Real-Time and Embedded Technology and Applications Symposium, Proceedings, 2007, : 3 - 11
  • [3] Design of a hardware/software co-simulation/verification platform
    Wu, Ye
    Jiang, Hai
    Wei, Chao
    [J]. IMECS 2007: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2007, : 488 - +
  • [4] Hardware Co-simulation for Chroma-keying in Real-time
    Kotgire, Pallavi Pandurang
    Mori, Jigar Mukeshbhai
    Nahar, Amit Balalal
    [J]. 1ST INTERNATIONAL CONFERENCE ON COMPUTING COMMUNICATION CONTROL AND AUTOMATION ICCUBEA 2015, 2015, : 863 - 867
  • [5] Hardware-software partitioning for real-time embedded systems
    Univ of Notre Dame, Notre Dame, United States
    [J]. Des Autom Embedded Syst, 3-4 (339-358):
  • [6] Hardware-software partitioning for real-time embedded systems
    Hu, XS
    DAmbrosio, JG
    [J]. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 1997, 2 (3-4) : 339 - 358
  • [7] Hardware-Software Partitioning for Real-Time Embedded Systems
    Xiaobo (Sharon) Hu
    Joseph G. D’Ambrosio
    [J]. Design Automation for Embedded Systems, 1997, 2 : 339 - 358
  • [8] Hardware-software co-simulation for SOC functional verification
    Yan, Ying-Jian
    Liu, Ming-Ye
    [J]. Journal of Beijing Institute of Technology (English Edition), 2005, 14 (02): : 121 - 125
  • [9] Hardware-Software Co-Simulation for SOC Functional Verification
    严迎建
    刘明业
    [J]. Journal of Beijing Institute of Technology, 2005, (02) : 121 - 125
  • [10] Automatic Instrumentation of Embedded Software for High Level Hardware/Software Co-Simulation
    Bouchhima, Aimen
    Gerin, Patrice
    Petrot, Frederic
    [J]. PROCEEDINGS OF THE ASP-DAC 2009: ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE 2009, 2009, : 546 - 551