• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.05a
• /
• pp.167-169
• /
• 2010

This paper describes hardware design and FPGA verification of TFT-LCD controller used in mobile devices widely. TFT-LCD controller outputs pixel's color information red, green, blue and Hsync, Vsync synchronization signals. We used verilog-hdl to describe TFT-LCD controller and simulated it using modelsim software and verified it's exact operation on Xilinx FPGA. Framebuffer made up Block RAM form in FPGA and TFT-LCD displayed image file.

• Annual Conference of KIPS
• /
• 2019.10a
• /
• pp.694-696
• /
• 2019

현재 4차 산업 혁명과 가상화폐에 대한 전 세계적인 관심으로 블록체인 시스템이 급부상하고 있다. 현재 구현중심인 국내외 블록체인 시장에서 무수히 많은 블록체인 기반 플랫폼들이 등장과 함께 오류가 발생하고 있다. 하지만 블록체인 시스템의 신뢰성, 확장성, 안정성 등에 대한 검증은 누구도 하고 있지 않다. 이런 문제 해결을 위해 Go language로 구성된 블록체인 코드를 분석할 수 있는 정적분석기를 통한 품질 가시화 방법을 제안한다. 이를 통하여 Blockchain Code의 내부 복잡도를 식별하고자한다. 즉, 코드 내부를 가시화하고 개발자가 보다 쉽게 코드를 유지보수 할 수 있으며 블록체인 시스템의 소프트웨어 공학적인 고품질화가 가능하다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.386-392
• /
• 1996

기존의 아날로그로 구성된 제어봉구동장치 제어계통을 디지탈로 설계개선하기 위한 선행 작업의 일환으로 제어봉구동장치의 출력 신호를 모사하기 위한 제어봉구동장치 시뮬레이터가 개발 되었다. 개발된 시뮬레이터는 제어봉구동장치의 인출 및 삽입시에 마그네틱 코일로부터 검출되는 전류파형을 모사 할뿐만 아니라 제어봉구동장치가 비정상적으로 움직이는 기계적인 이상 상태를 모사 할 수 있도록 모델링 하였다. 시뮬레이터의 성능 검증을 위하여 영광 3,4호기 현장에서 수집한 제어봉구동장치 출력 신호 와 비교해 본 결과 제어봉구동장치의 거동을 잘 모사 함을 알 수 있었다. 이 시뮬레이터는 디지탈 제어봉구동장치 제어계통 개발시에 소프트웨어의 기능을 검증할 수 있고, 제어봉구동장치 제어계통을 설계개선할 경우 설계 도구로 사용할 수 있다.

• Annual Conference of KIPS
• /
• 2012.11a
• /
• pp.75-78
• /
• 2012

디바이스 드라이버의 결함은 시스템 실패의 주요 원인이다. 임베디드 디바이스 드라이버는 세심히 검증되어야 하지만, 디바이스 드라이버는 디바이스 동작에 큰 연관이 있기 때문에 단독으로 검증하기 어렵다. 비동기적인 디바이스의 DMA 동작들은 보통 복잡한 구조를 가질 수 있으며 비결정적인 조건상에서 발생하는 문제가 있을 경우 재현하기가 매우 어렵다. 이러한 관점에서, 실제와 동일한 인터페이스를 가지고 있는 가상 디바이스를 사용하게 되면, 코드의 변경 없이 디바이스 내부 상태 변화를 관찰 할 수 있다. 본 논문에서는 가상 디바이스를 활용하여 DMA 동작과 CPU 의 메모리 접근간의 충돌을 감시할 수 있는 방법을 제시한다. 가상 임베디드 시스템을 QEMU full system emulator 상에서 동작시키고, CPU 와 가상디바이스의 시스템 버스에 대한 메모리 접근을 추적하는 기능을 개발하였다.

• Annual Conference of KIPS
• /
• 2012.04a
• /
• pp.1211-1212
• /
• 2012

최근 IT 기기는 GUI를 지원하여 사용자들에게 편의성을 제공하였지만, 개발자들에게는 테스팅에 어려움을 겪게 만들었다. 기존의 GUI 자동화 테스트기법인 Record Play-back 기법과 새로운 GUI 테스트 도구인 Sikuli가 등장 하였지만 기능이 추가되고 변경되는 소프트웨어를 테스팅하기 부족하다. 본 논문에서는 GUI 어플리케이션에서 점진적인 테스팅을 위해 단위 테스트인 각 테스트 케이스를 만들고 연결하는 시나리오 편집기와 시나리오 수행과 테스트 케이스 결과를 검증하는 수행 및 검증기로 구성된 자동화 테스트 도구를 설계한다.

• Proceedings of the KIPE Conference
• /
• 2018.11a
• /
• pp.65-67
• /
• 2018

최근 무선전력분야에서도 고전력 시스템에 대한 적용 연구가 활발해지고 있다. 이러한 시스템 설계는 시뮬레이션 소프트웨어 프로그램으로 설계를 할 수는 있지만, 실험 검증을 위해서는 고전력 수전 설비 및 고가의 측정 설비가 필요하고, 하드웨어를 제작하려면 많은 시간과 비용이 필요하다. 본 논문은 척도변환을 이용하여 코일 형상을 포함한 하드웨어 구조는 최대한 유지하고 소자정격과 입력 전력을 축소하여 시스템 성능을 사전 평가하는 방법을 제안한다. 도출된 이론을 바탕으로 150W급 무선전력 전송 시스템을 대상으로 15W급으로 10 : 1 비로 축소 적용 가능함을 시뮬레이션 실험으로 검증한다.

• Annual Conference of KIPS
• /
• 2010.04a
• /
• pp.977-980
• /
• 2010

기업내부에 존재하는 비즈니스 룰은 정형화되고 집중화된 하나의 시스템으로 구축되어 있는 것이 아니라 여러 서브시스템이나 실무자의 경험속에 산재되어 존재한다. 산재되어 존재하는 비즈니스 룰을 정형화된 형태로 집중관리가 가능하도록 구축한 도구가 BRE(Business Rule Engine)이다. BRE는 비즈니스 룰 관리를 빠르고 용이하게 하여, 기업의 경쟁력 향상에 매우 효과적인 기여를 한다. 하지만 BRE도입시 고려해야 할 품질특성을 판단할 뚜렷한 기준을 가지고 있지 못 하기 때문에 고가의 솔루션인 BRE도입에 많은 어려움을 겪고 있다. 본 연구에서는 국제 표준 ISO/IEC 9126를 기반으로 BRE가 갖추어야 할 품질특성을 정의하고 BRE 도입시 고려해야 할 품질특성을 판단할 수 있는 판별분석기법을 통해 BRE를 명확히 이해할 수 있는 품질평가모델을 제시함으로서 이러한 문제를 해결하고자 한다. 또한 본 연구의 결과는 실제 구축된 BRE 사례들에 대해 판별분석기법을 통해 검증하며, 검증된 품질평가모델의 활용방안을 제시한다.

• Annual Conference of KIPS
• /
• 2010.04a
• /
• pp.930-933
• /
• 2010

침입방지시스템 솔루션은 차세대에 각광받는 보안시스템으로 국내 외 시장에서 매우 활발한 보안 분야 시장을 형성할 것으로 전망된다. 아울러 국제 시장에 진출하고자 하는 국내 업체들은 검증된 제품임을 증명하는 품질 평가가 요구되고 일반 사용자들은 검증된 제품을 선호하는 추세가 일반적이다. 본 연구에서는 침입방지시스템의 기술개요, 특징 및 침입방지시스템의 품질 평가기준을 소프트웨어 품질평가를 위해 사용되는 국제표준 ISO/IEC 9126과 ISO/IEC 14598의 참조하여 평가항목을 도출하였으며, 도출된 평가항목을 가지고 평가방법 메트릭을 개발하였다.

• Annual Conference of KIPS
• /
• 2009.11a
• /
• pp.871-872
• /
• 2009

시스템 또는 소프트웨어의 개발에 있어서 요구사항은 가장 중요한 산출물 중 하나이며, 요구사항의 오류를 수정하는 비용은 프로젝트가 진행됨에 따라 급격히 증가하기 때문에 잘 작성된 요구사항은 개발비용의 절감효과를 가져올 수 있다. 자연어의 모호성으로 발생될 수 있는 오류들을 줄이기 위해 정형적인 언어를 사용하여 요구사항을 명세하고, 요구사항의 완전성을 높일 수 있다. 본 논문에서는 열차제어시스템의 핵심 기능 중 하나인 간격제어모듈의 요구사항을 상태차트로 명세 및 검증 하였다.

• Annual Conference of KIPS
• /
• 2009.04a
• /
• pp.1043-1044
• /
• 2009

본 논문에서는 GPS 편차 정보를 이용하여 도로 네트워크 지도 제작시 불가피하게 발생하는 오차를 탐지하는 기법을 제안한다. 제안된 기법은 수십에서 수백 킬로미터 범위에 위치한 노드들이 공통적인 GPS오차를 겪는다는 점에 착안하고 있으며 각 도로 네트워크의 차량들이 동시간에 보고하는 위치 좌표를 이용하여 맵 매칭을 수행한 후 해당 시간스탬프의 오차를 계산한다. 이 오차를 이용하여 각 위치 좌표들를 보정한 후 다시 맵 매칭을 수행하여 맵 매칭의 오류가 한계치 이하라면 보고된 위치에 해당하는 도로들은 정확하게 플롯되어 있음을 알 수 있다. 이와 같은 통계들이 오랜 시간동안 쌓인다면 별도의 장비나 통신채널을 사용하지 않고 소프트웨어만으로 도로망 지도의 정확성을 검증할 수 있다.