• 제어로봇시스템학회:학술대회논문집
• /
• 1986.10a
• /
• pp.414-418
• /
• 1986

Although the use of NC machine is increasing in modern industry, unfamiliarities of the NC program syntax do not allow us to program it easily. So, automatic programming systems, such as APT, COMPACT, CL, were developed to help the uninitiated to write NC program easily. In this research, Korean Automatic Programming System for 2-axis NC lathe is developed, by which NC program is easily programmed using Korean letters. In addition, Graphic Debugger for 2-axis NC lathe is developed for debugging the NC program error and animating the cutting process. The above systems are run on the IBM-PC/XT.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.252-253
• /
• 2016

가상머신을 탐지하는 기법을 이용하여 현재 프로그램이 동작하는 플랫폼과 운영환경을 알아내는 방법을 제안한다. 가상머신 탐지기법으로 데렉 소더(Derek Soeder, eEye Digital Security)를 사용한다. 이 기법은 예외 명령어를 이용해 프로그램이 가상머신과 네이티브머신 환경에서 작동중인지 알아낸다. 가상머신의 코드 세그먼트 레지스트 영역은 네이티브머신보다 불명확 하다. 이런 메모리 주소체계의 차이를 이용한 가상머신탐지 기법이다. 더 응용하여 프로그램의 작동환경이 디버거(인텔 Pin, Olly dbg)인지 가상머신(VMware, QEMU)인지 혹은 네이티브머신(os: windows7 sp3)인지 구분하는 방안을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10c
• /
• pp.596-598
• /
• 1999

교환기 소프트웨어 개발에 많은 언어가 사용되고 있으나, 현재 우리나라의 교환기 제조업체 대부분은 ITU-T에서 통신 소프트웨어 개발 언어로 권고하는 CHILL 언어를 사용하고 있다. CHILL은 엄격한 타입 검사, 구조적 프로그래밍, 모듈화, 병렬 처리 기능을 특징으로 하고 있다. LG정보통신에서는 이러한 CHILL 프로그램의 시험 및 디버깅을 위하여 GNU Debugger(GDB)를 기반으로 CHILL 교차 디버거인 LGDB(LG Debugger)를 개발하였다. LGDB는 현재 사용 중인 대부분의 마이크로 프로세서를 지원하며, 호스트에서 개발한 프로그램들이 교환기 시스템과 같은 목적 시스템 상에서 정상적으로 실행되는지 검사하고, 만약 오류가 발생하였을 경우 이를 추적하여 수정하는 기능을 제공한다. 점차 대용량화, 고성능화가 요구되고 있는 교환기 개발 프로젝트의 추세를 감안할 때, LGDB는 교환기 소프트웨어의 품질 및 생산성 향상에 매우 높은 기여를 할 것이다.

• 한국IT서비스학회:학술대회논문집
• /
• 2005.05a
• /
• pp.495-500
• /
• 2005

현재 리눅스 기반 데스크탑 환경에서는 C, C++, JAVA와 같은 프로그램 언어로 작성된 프로그램을 개별적으로 처리할 수 있는 컴파일러들과 디버거들이 존재하지만, 소프트웨어 개발자들은 그래픽 환경 프로그래밍에 적합한 통합개발환경하에서 프로그램을 개발하기를 원한다. 이를 위해, 본 논문에서는 부여 리눅스 기반 데스크탑 환경을 위한 통합개발환경을 제안한다. 본 논문에서 제안하는 통합개발환경은 오픈 소스 기반 프로그램 도구인 Eclipse를 기반으로 통합개발환경에서 제공하는 컴파일, 디버깅과 같은 일반적인 기능들뿐만 아니라 XML 정보저장소(repository)를 활용하여 소스 코드 기반 소프트웨어 시험 자동화 기능을 통합하여 사용자가 체계적이고 계획적인 소프트웨어 테스트를 수행할 수 있도록 하며, 신뢰성 있는 소프트웨어 개발을 할 수 있도록 지원한다.

• 한국항공운항학회:학술대회논문집
• /
• 2015.11a
• /
• pp.107-110
• /
• 2015

항공, 국방, 자동차, 철도, 조선, 원자력, 플랜트 분야에서 임베디드 시스템의 활용도가 높아지고 있다. 특히 항공 임베디드 시스템은 다른 분야에 비해 고신뢰성과 고성능이 동시에 요구된다. 안전필수 인증절차를 준수하면 설계 및 개발 단계에서 발생할 수 있는 다양한 결함을 예방 할 수 있다. 그러나 soft error와 같은 예측 불가능한 transient 결함을 대처하기 어렵다. 이러한 문제를 해결하기 위하여 고장감내 방법론과 검증방법에 대한 연구가 수행되어야 한다. 본 논문은 고장감내 기법 검증 방법론에 하나인 결함주입 기법을 제안한다. 본 논문에서 제안하는 결함주입 기법은 1) 정량적 평가 가능, 2) 시스템을 대상으로 검증 가능 같은 장점이 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.139-141
• /
• 2005

본 논문에서는 JPEG 파일의 구조를 먼저 살펴하고, MS Windows 운영체제 상에서 비정상적인 JPEG 파일을 접근(open)할 때 발생할 수 있는 버퍼 오버런 취약성(MS04-028)을 재연하여 분석한다. JPEG 파일의 헤더에 코멘트(comment) 부분이 있을 경우 길이 필드가 잘못되어 있고 JPEG 파일의 몸체에 쉘코드(cmd.exe) 생성부분을 가지고 있을 경우, 버퍼(heap) 오버런 공격이 발생되어 예기치 못한 결과들이 발생 할 수 있다. 본 논문에서는 디버거(WinDBG) 및 역공학 도구(IDAPro)를 이용하여, 이러한 JPEG 파일 관련 취약성을 분석하면서 바이너리 코드만 주어진 경우의 취약성 분석 절차를 이해하고 보안 결함 부분을 추적하는 연구를 수행한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.361-366
• /
• 2007

현재 모바일 폰 소프트웨어 개발 플랫폼들의 에뮬레이터들은 API 레벨로만 에뮬레이션을 하는 한계로 인해 실제 폰과 완전히 동일한 동작을 보장할 수 없으므로 개발중인 어플리케이션의 동작을 제한된 수준 안에서 확인해 볼 수밖에 없었다. 하지만 CPU 레벨의 에뮬레이터가 제공된다면 실제 폰과 동한 동작을 PC에서도 보장할 수 있게 되어 어플리케이션의 개발에 있어서 보다 수월한 테스트, 동작의 동작 특성 파악 및 성능 평가 등이 가능해 진다고 할 수 있다. 이 논문은 ARM 기반의 CPU 레벨 에뮬레이터를 제공함으로써 이와 같은 개발상의 이점을 취함과 동시에 널리 사용되는 디버거(GDB)와 연동되도록 하여 친숙하고 쾌적한 디버깅 환경을 제공할 수 있음을 보여주며, 이러한 에뮬레이터 플랫폼 개발에서 발생하는 여러가지 문제점들의 해결방안을 제시하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.11a
• /
• pp.763-765
• /
• 2007

As a useful tool for embedded system codesign approach, it's necessary to make a custom-built interpreter for the system description verification. Usually, designers need to write their program to simulate the environment their system works in. Sometimes making the simulation environment consumes designers more time and energy than describing their embedded system. The interpreter saves the cost that is spent on making such an environment. In this paper, the necessity and motivation of the interpreter will be introduced first, and then the details about each part of it will be illuminated.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1023-1026
• /
• 2004

최근 소프트웨어 보안취약성 분석의 일환으로 프로그램 소스가 없고 기계어 프로그램만 제공되는 소프트웨어의 보안 취약점을 분석하는 연구가 많이 수행되고 있다. 본 논문에서는 MS 윈도우 2000 운영체제의 IIS 웹서버를 대상으로, WebDAV의 한 버퍼 오버플로우 취약점을 공격하여 취약성을 재현한 후, 디버거 및 역공학 도구를 사용하여 해당 보안 취약점을 가진 코드를 분석하는 방법을 제시하였다. 본 연구 결과는 취약성분석 절차 방법 및 신뢰성 있는 소프트웨어 개발에 기여할 수 있을 것으로 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2009.11a
• /
• pp.47-48
• /
• 2009

많은 개발자들은 프로세서 디버깅을 위해 GDB를 사용한다. 임베디드 시스템에서 GDB의 원격 디버깅은 시리얼 통신을 사용한다. 그러나, 시리얼 통신은 속도에 제한이 있으며, 시리얼 포트 마저 점차 사라져 가는 추세이다. 이를 극복하기 위해 많은 임베디드 시스템이 JTAG 인터페이스를 탑재하고 있으며, USB 인터페이스를 사용하여 통신을 한다. 이 논문에서는 EISC 아키텍처 기반의 임베디드 시스템을 디버깅하기 위한 USB-JTAG 인터페이스 개발 방법을 제안하고, GDB 환경에서의 USB 인터페이스 구축 방법과 디버깅 패킷을 분석하기 위한 JTAG 모듈의 개발 방법을 소개한다.