• 정보처리학회논문지A
• /
• 제12A권7호
• /
• pp.589-596
• /
• 2005

임베디드 소프트웨어는 하드웨어 플랫폼에 탑재하기 전, 소스 코드에 대한 품질을 검증하는 작업이 매우 중요하다. 임베디드 소프트웨어의 코드 품질을 향상시키기 위해서는 분석 및 설계 단계의 모델에 대한 품질과 생성된 코드에 대한 품질이 관리되어야 한다. 본 연구에서는 임베디드 소프트웨어의 소스 코드 품질을 향상시키기 위한 방법으로 Practice Pattern을 제안한다. 이는 모델링 과정이나 코딩 과정에서 개발자를 가이드 하는 절차 패턴으로써, 모델의 품질과 소스 코드 품질을 향상시키는 방법으로 사용될 수 있다. 제시하는 패턴의 적용은 기능의 정확성뿐만 아니라 성능, 모듈화, 재사용성 및 이식성 등과 같은 품질 요소들을 향상시킬 수 있을 것으로 보인다.

• Journal of information and communication convergence engineering
• /
• 제10권2호
• /
• pp.175-180
• /
• 2012

This paper presents a blind watermark detection scheme for an additive watermark embedding model. The proposed estimation-correlation-based watermark detector first estimates the embedded watermark by exploiting non-Gaussian of the real-world audio signal and the mutual independence between the host-signal and the embedded watermark and then a correlation-based detector is used to determine the presence or the absence of the watermark. For watermark estimation, blind source separation (BSS) based on independent component analysis (ICA) is used. Low watermark-to-signal ratio (WSR) is one of the limitations of blind detection with the additive embedding model. The proposed detector uses two-stage processing to improve the WSR at the blind detector; the first stage removes the audio spectrum from the watermarked audio signal using linear predictive (LP) filtering and the second stage uses the resulting residue from the LP filtering stage to estimate the embedded watermark using BSS based on ICA. Simulation results show that the proposed detector performs significantly better than existing estimation-correlationbased detection schemes.

• 전기학회논문지P
• /
• 제51권4호
• /
• pp.198-205
• /
• 2002

In this paper, we proposed a wavelet image coder based on the portable embedded microprocessor. The proposed coder stores the bit level information of the wavelet coefficient in the 2D significance array. Using this information, the coder make the significance check for coefficient and bit level scanning at the same pass. The proposed method has the advantage that we can reduce the scan iteratively and the memory usage for the coding process. Experimental results show that the proposed method outperforms popular image coders such as JPEG, EZW and SPIHT in based on the portable embedded system environment.

• 한국통신학회논문지
• /
• 제29권6C호
• /
• pp.785-792
• /
• 2004

본 논문에서는 Sharipo에 의해 소개된 EZW(embedded zerotree wavelet) 알고리즘을 개선하여 실시간 처리가 가능하며 효율이 더 좋은 방법을 제안하였다. 기존의 EZW는 각각의 심벌(symbol)마다 2비트를 할당하는데 이는 각 대역(band)에서 나타날 수 있는 심벌의 수를 고려하지 않고 부호화를 수행하는 것이므로 압축 효율이 떨어지는 단점이 있으며 부호화 과정에서 제로트리 코딩(zerotree coding)을 함으로써 많은 시간이 소요된다. 본 논문에서는 각 역별로 심별마다 가변 비트를 할당하여 압축 효율을 높였다. 그리고 Backscan방식을 사용하여 부호화 시간을 상당히 단축하였고 웨이블릿(wavelet) 변환을 리프팅 구조로 나타내어 전체적인 부호화 시간을 줄였다. 실험 결과 본 논문에서 제안한 방법이 기존의 EZW보다 PSNR은 약 0.3∼l.5［㏈］, 부호화 시간은 2∼10배 이상 향상됨을 확인하였다.

• 한국통신학회논문지
• /
• 제18권1호
• /
• pp.110-122
• /
• 1993

음성이 패킷망을 통해 전송될때 각각의 call들에 의해서 발생되는 패킷들은 statistical multiplexer에 의해 다중화 되는데 이때 overload control이 필요하다. Overload control 방식은 음성 traffic을 coding하는 방식과 밀접한 관계가 있으며 그동안 많은 연구가 진행되어 왔다. CCITT에서는 최근에 packetized voice protocol에 대한 권고안 초안인 G.764를 작성하였는데 여기에서 embedded coding을 사용하는 경우에 bit dropping 방식을 사용하면 매우 훌륭하게 overload control을 할 수 있다는 사실을 언급하였다. 이에 따라 본 논문에서는 음성을 embedded ADPCM으로 coding하여 CCITT권고안 G.764에 따라 전송하는 경우에, bit dropping 방식에 따른 overload control 방식을 사용하는 패킷 multiplexer의 성능을 분석하고자 한다. 성능 분석을 위해서는 먼저 multiplexer에 도착하는 중첩된 packet arrival process에서 패킷들의 interarrival time들 간에 존재하는 큰 correlation을 정확히 나타낼 수 있는 수학적인 model이 필요하다. 본 논문에서는 Poisson process나 birth-and-death process에 비해 이들 packet arrival process를 상대적으로 정확히 표현할 수 있는 Makov-modulated Poisson Process(MMPP)를 사용하여 모델링을 하였다.따라서 성능분석은 MMPP/G/1 queueing system에 대한 분석과 비슷하다. 다만 서비스 시간의 분포가 시스템의 상태에 따라 달라지는데 이러한 경우에 대해서는 기존의 논문에서 분석되지 않았다. 성능분석을 통하여 queue에서 서비스를 기다리는 패킷의 수에 대한 분포의 Z-transform을 구하고 이를 이용하여 임의의 시간에서의 queue length와 waiting time의 평균과 표준편차를 구하였다. 이를 통하여 bit dropping 방식에 의한 overload control이 음성의 질을 많이 저하시키지 않으면서도 overload control을 하지 않을 때에 비해 statistical multiplexer에서 훨씬 많은 수의 call을 수용할 수 있도록 하는 효과를 가진다는 사실을 확인 하였다. 또한 패킷이 queue에서 떠난 직후와 임의의 시간에서 구한 queue length와 waiting time의 평균과 표준편차가 매우 비슷하다는 사실을 알 수 있었다. 본 논문에서와 마찬가지로 임의의 시간에서의 분석은 매우 복잡한 경우가 대부분이므로 이러한 사실을 이용하면 매우 간단히 성능분석을 할 수 있을 것이다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2001년도 하계종합학술대회 논문집(4)
• /
• pp.179-182
• /
• 2001

This paper has been studied a wavelet based still image transmission over the wireless channel. EZW(Embedded Zerotree Wavelet) is an efficient and scalable wavelet based image coding technique, which provides progressive transfer of signal resulted in multi-resolution representation. It reduces therefore the reduce cost of storage media. Although EZW has many advantages, it is very sensitive on error. Because coding are performed in subband by subband, and it uses arithmetic coding which is a kind of variable length coding. Therefore only 1∼2bit error may degrade quality of the entire image. So study of error localization and recovery are required. This paper investigates the use of reversible variable length codes(RVLC) and data partitioning. RVLC are known to have a superior error recovery property due to their two-way decoding capability and data partitioning is essential to applying RVLC. In this work, we show that appropriate data partitioning length for each SNR(Signal-to-Noise Power Ratio) and error localization in wireless channel.

• 한국철도학회논문집
• /
• 제12권1호
• /
• pp.81-87
• /
• 2009

최근의 컴퓨터 기술의 발달에 따라 열차제어시스템들이 컴퓨터 소프트웨어에 의존성이 더욱 증가되고 있으며, 이에 따라 이러한 열차제어시스템 소프트웨어의 안전성에 대한 테스팅이 더욱 중요하게 되었다. 본 논문에서는 이러한 열차제어시스템 소프트웨어를 위한 코딩규칙의 테스팅 자동화 도구의 적용을 제안하였으며, 코딩규칙 테스팅 자동화 도구의 구현 및 적용결과를 제시하였다. 구현 툴에서의 테스팅 항목은 철도시스템 소프트웨어 관련된 국제규격과 MISRA-C 기준을 참조하였다. 본 열차제어시스템 테스팅 자동화 도구는 열차제어시스템 소프트웨어 평가단계에서도 활용될 수 있고 또한 소프트웨어 개발단계에서도 유용하게 활용될 수 있을 것으로 예상된다.

• 한국통신학회논문지
• /
• 제28권3C호
• /
• pp.286-295
• /
• 2003

본 논문에서는 최소의 메모리 사용량으로 원하는 비트율로 영상 부호화가 가능한 웨이브렛 기반의 영상 부호화기를 제안하였다. 제안된 방법은 부호화 과정시 요구되는 메모리 사용량을 줄이기 위해 웨이블릿 계수들의 비트 레벨 정보를 가지는 2D 중요 계수 배열을 사용하였다. 2D SCA는 웨이블릿 계수의 비트 레벨 정보를 저장하는 이차원 자료 구조로서, 제안된 알고리즘은 이것을 이용하여 중요한 계수에 대한 부호화 과정과 계수들의 비트 레벨 정보의 부호화 과정을 한 번에 수행할 수 있다. 실험 결과 기존의 부호화 방법보다 화질 면에서 비슷하거나 우수한 성능을 보였다. 특히 2D SCA를 이용한 최소의 메모리 사용으로 다양한 비트율에서 영상의 일그러짐 없이 안정적으로 동작함을 확인하였다.

• 정보보호학회논문지
• /
• 제29권5호
• /
• pp.973-983
• /
• 2019

정보 보안의 중요성은 응용 소프트웨어의 보안으로 인해 국가, 조직 및 개인 수준에서 점점 더 강조되고 있다. 임베디드 소프트웨어를 포함하는 높은 안전성 소프트웨어의 개발 기술은 항공 및 원자력 분야 등 에 국한되어 사용되었다. 하지만 이러한 소프트웨어 유형은 이제 응용 소프트웨어 보안을 향상시키는 데 사용된다. 특히 보안 코딩은 방어적 프로그래밍을 포괄하는 개념으로 소프트웨어 보안을 향상시킬 수 있다. 본 논문에서는 개선된 코딩 표준 검색 기법을 적용한 소프트웨어 보안 취약성 탐지 기술을 제안한다. 공개된 정적 분석 도구는 소프트웨어 보안 가능성을 분석하고 취약점을 유발하는 명령어를 분류하는 데 사용되었으며, 소프트웨어 취약점을 유발할 수 있는 API 및 버그 패턴을 쉽게 감지하여 향상시킬 수 있다.

• 한국산업정보학회논문지
• /
• 제16권3호
• /
• pp.23-33
• /
• 2011

본 논문에서는 웨이블릿 계수의 비트 레벨 정보를 사용한 영상 부호화 기법을 제안한다. 제안한 방법은 수정된 EZW 알고리즘과 부호화 과정 시 요구되는 메모리 사용량을 줄이기 위해 웨이블릿 계수들의 비트 레벨 정보를 가지는 중요 계수 배열을 사용한다. 중요 계수 배열은 웨이블릿 계수의 비트 레벨 정보를 저장하는 이차원 자료 구조로서, 제안된 알고리즘은 이것을 이용하여 중요한 계수에 대한 부호화 과정과 계수들의 비트 레벨 정보의 부호화 과정을 한 번에 수행할 수 있다. 실험 결과 기존의 부호화 방법보다 화질 면에서 비슷하거나 우수한 성능을 보인다. 특히 중요 계수 배열은 이용한 최소의 메모리 사용으로 다양한 비트율에서 영상의 일그러짐 없이 안정적으로 동작함을 확인하였다.