Verification methodology for the IMT-Advanced channel simulator

Kyung Won Kim, Jae Joon Park, Sungroh Yoon, Seong-Jun Oh

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

In order to reflect a realistic wireless channel as closely as possible, the channel model becomes very complicated and is thus prone to error when implemented as a channel simulator. However, there is no rigorous way of verifying the implementation of the channel simulator. We propose a novel verification methodology that aims at implementing a verified channel simulator for the IMT-Advanced channel model. We first derive a systematic description of the channel model, where a random waveform is generated through various deterministic functional blocks and independent random number generators. We then verify the deterministic functional blocks by adopting the vector-based software verification methodology.

Original languageEnglish
Pages (from-to)994-1000
Number of pages7
JournalIEICE Electronics Express
Volume8
Issue number13
DOIs
Publication statusPublished - 2011 Aug 1

Fingerprint

simulators
Simulators
methodology
random numbers
waveforms
generators
computer programs

Keywords

  • 4G system
  • Channel model
  • Channel simulator
  • Communication standard
  • IMT-Advanced
  • ITU-R

ASJC Scopus subject areas

  • Electronic, Optical and Magnetic Materials
  • Condensed Matter Physics
  • Electrical and Electronic Engineering

Cite this

Verification methodology for the IMT-Advanced channel simulator. / Kim, Kyung Won; Park, Jae Joon; Yoon, Sungroh; Oh, Seong-Jun.

In: IEICE Electronics Express, Vol. 8, No. 13, 01.08.2011, p. 994-1000.

Research output: Contribution to journalArticle

Kim, Kyung Won ; Park, Jae Joon ; Yoon, Sungroh ; Oh, Seong-Jun. / Verification methodology for the IMT-Advanced channel simulator. In: IEICE Electronics Express. 2011 ; Vol. 8, No. 13. pp. 994-1000.
@article{d76593c0a77b4d5b811bc348e08fbf84,
title = "Verification methodology for the IMT-Advanced channel simulator",
abstract = "In order to reflect a realistic wireless channel as closely as possible, the channel model becomes very complicated and is thus prone to error when implemented as a channel simulator. However, there is no rigorous way of verifying the implementation of the channel simulator. We propose a novel verification methodology that aims at implementing a verified channel simulator for the IMT-Advanced channel model. We first derive a systematic description of the channel model, where a random waveform is generated through various deterministic functional blocks and independent random number generators. We then verify the deterministic functional blocks by adopting the vector-based software verification methodology.",
keywords = "4G system, Channel model, Channel simulator, Communication standard, IMT-Advanced, ITU-R",
author = "Kim, {Kyung Won} and Park, {Jae Joon} and Sungroh Yoon and Seong-Jun Oh",
year = "2011",
month = "8",
day = "1",
doi = "10.1587/elex.8.994",
language = "English",
volume = "8",
pages = "994--1000",
journal = "IEICE Electronics Express",
issn = "1349-2543",
publisher = "The Institute of Electronics, Information and Communication Engineers (IEICE)",
number = "13",

}

TY - JOUR

T1 - Verification methodology for the IMT-Advanced channel simulator

AU - Kim, Kyung Won

AU - Park, Jae Joon

AU - Yoon, Sungroh

AU - Oh, Seong-Jun

PY - 2011/8/1

Y1 - 2011/8/1

N2 - In order to reflect a realistic wireless channel as closely as possible, the channel model becomes very complicated and is thus prone to error when implemented as a channel simulator. However, there is no rigorous way of verifying the implementation of the channel simulator. We propose a novel verification methodology that aims at implementing a verified channel simulator for the IMT-Advanced channel model. We first derive a systematic description of the channel model, where a random waveform is generated through various deterministic functional blocks and independent random number generators. We then verify the deterministic functional blocks by adopting the vector-based software verification methodology.

AB - In order to reflect a realistic wireless channel as closely as possible, the channel model becomes very complicated and is thus prone to error when implemented as a channel simulator. However, there is no rigorous way of verifying the implementation of the channel simulator. We propose a novel verification methodology that aims at implementing a verified channel simulator for the IMT-Advanced channel model. We first derive a systematic description of the channel model, where a random waveform is generated through various deterministic functional blocks and independent random number generators. We then verify the deterministic functional blocks by adopting the vector-based software verification methodology.

KW - 4G system

KW - Channel model

KW - Channel simulator

KW - Communication standard

KW - IMT-Advanced

KW - ITU-R

UR - http://www.scopus.com/inward/record.url?scp=79960780216&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79960780216&partnerID=8YFLogxK

U2 - 10.1587/elex.8.994

DO - 10.1587/elex.8.994

M3 - Article

AN - SCOPUS:79960780216

VL - 8

SP - 994

EP - 1000

JO - IEICE Electronics Express

JF - IEICE Electronics Express

SN - 1349-2543

IS - 13

ER -