GNU 디버거를 이용한 온칩 디버깅 시스템 설계

박형배(Hyungbae Park),지정훈(Jeong-Hoon Ji),허경철(JINGZHE XU),우균(Gyun Woo),박주성(Jusung Park) 대한전자공학회 2009 電子工學會論文誌-SD (Semiconductor and devices) Vol.46 No.1

본 논문에서는 OCD(On-Chip Debugger)기반의 프로세서 디버거 구현한 것에 대해서 소개한다. 구현한 디버거는 프로세서칩 내부에 내장에 내장해서 디버깅 기능을 하는 OCD로직과 심볼릭(Symbolic) 디버깅 기능을 지원하는 GNU 디버거 기반의 소프트웨어 디버거, 그리고 소프트웨어 디버거와 OCD를 연결해주고 고속 디버깅을 지원하는 인터페이스 & 컨트롤(Interface & Control) 블록으로 3개의 기능 블록으로 구성되어 있다. 디버거는 대상 프로세서에 OCD블록을 내장하여 소프트웨어 디버거를 이용해서 C/Assembly 레벨에서 디버깅이 가능하다. 디버깅 시스템(On-Chip Debugging System)은 FPGA로 구현된 32비트 RISC 타입 프로세서 코어에 OCD 블록을 내장해서 소프트웨어 디버거와 인터페이스 & 컨트롤 블록을 연동하여 동작을 검증하였다. In this paper, we implement processor debugger based on OCD(On-Chip Debugger). Implemented debugger consist of software debugger that supports a functionality of symbolic debugging, OCD integrated into target processor as a function of debugging, and Interface & Control block which interfaces software debugger and OCD at high speed rates. The debugger supports c/assembly level debugging using software debugger as OCD is integrated into target processor. After OCD block is interfaced with 32bit RISC processor core and then implemented with FPGA, the verification of On-Chip Debugging System is carried out through connecting OCD and Interface & Control block, and SW debugger.

차량 전장용 SW의 효율적인 개발을 위한 시스템생성기 및 런타임디버거의 설계

김재영(Jae-Young Kim),백장운(Jang-Woon Baek),권기구(Kee-Koo Kwon),김광수(Kwang-Su Kim) 한국정보기술학회 2011 한국정보기술학회논문지 Vol.9 No.5

This paper proposes the system generator and the runtime debugger to support efficient development of the automotive software. The system generator parse the OIL file to configure an application program based on OSEK/VDX OS. And it automatically generates the configuration header files. Also, the system generator provides the function that checks the dependency between each objects, and alarms the configuration error. The runtime debugger displays the value of variables, registers, and call stack. Also, the runtime debugger provides display functions for monitoring internal operating system data and properties of the OSEK objects using the ORTI (OSEK Run Time Interface) file. We implement the system generator and the runtime debugger based on user friendly GUI interface. The test results show that the development time of automotive software was reduced by more than 10%, with using the proposed system generator and the runtime debugger.

RISC 프로세서의 디버거를 위한 변형된 JTAG 설계

허경철(Jingzhe Xu),박형배(Hyungbae Park),정승표(Seungpyo Jung),박주성(Jusung Park) 大韓電子工學會 2011 電子工學會論文誌-SD (Semiconductor and devices) Vol.48 No.7

SoC 설계기술이 발전함에 따라 디버깅이 차지하는 비중은 더욱더 증가되고 있으며 사용자는 빠르고 정확한 디버거를 원하고 있다. 본 논문에서는 새로 설계되는 RISC 프로세서에 적용할 디버거를 위한 변형된 JTAG을 제안 및 설계하여 디버깅 기능 수행에 필요한 사이클을 줄임으로써 빠른 디버거를 구현하였다. 구현된 JTAG은 Core-A의 OCD에 내장하여 SW 디버거와 연동하여 FPGA 레벨까지 검증 마치고 디버거로서의 기능 및 신뢰성을 확인하였다. Core-A의 OCD에 내장된 제안한 JTAG은 기존의 JTAG과 비교하였을 경우, 디버깅 수행 사이클은 수행되는 디버깅 기능에 따라 약 8.5~72.2% 감소되고 추가적으로 게이트 카운트도 약 31.8%감소되었다. As the technology of SoC design has been developed, the debugging is more and more important and users want a fast and reliable debugger. This paper deals with an implementation of the fast debugger which can reduce a debugging processing cycle by designing a modified JTAG suitable for a new RISC processor debugger. Designed JTAG is embedded to the OCD of Core-A and works with SW debugger. We confirmed the functions and reliability of the debugger. By comparing to the original JTAG system, the debugging processing cycle of the proposed JTAG is reduced at 8.5~72.2% by each debugging function. Further more, the gate count is reduced at 31.8%.

병렬프로그램의 효율적인 경합탐지를 위한 병렬 디버거 설계

하금숙 ( Keum-sook Ha ) 한국고등직업교육학회 2003 한국고등직업교육학회논문집 Vol.4 No.4

Data races could result in unintended non-deterministic executions of the parallel programs on the shared memory. So, detecting races, particularly first data races, is important for debugging explicit shared memory parallel programs. Previous techniques to detect first races are inefficient for programmer showing first races by text or low-level viewer. To detect first races more effectively, we present a design of parallel debugger. The parallel debugger is made up a module of first races detection and a module of first races report. The first races detection in this paper are constant in both the number of event comparisons and the space complexity on each access to shared variable because the size of an access history for each shared variable is a small constant. The report of first races in this paper is visible for programmer to convenient. Therefore, this debugger makes detection of first races more efficient and practical for debugging parallel programs on the shared memory.

NUTTX 기반 드론 비행조종컴퓨터의 통합시험을 위한 프로세서 모니터링 연구

최진원 아이씨티플랫폼학회 2022 JOURNAL OF PLATFORM TECHNOLOGY Vol.10 No.4

드론과 무인항공기에 탑재되는 비행제어시스템은 설계단계에서부터 철저한 검증이 필수적이며, 이러한 검증은 비행제어 통합시험환경을 통해 이루어진다. 일반적으로 비행제어컴퓨터의 내부 상태를 실시간으로 모니터링하기 위해서는 별도의 디버거를 이용한다. 실시간 메모리 참조 및 Trace가 가능한 Emulator는 비교적 고가이고, JTAG Emulator은 실시간 동작이 불가능 하거나 현재의 고속 프로세서의 처리속도를 따라잡을 수 없는 한계가 있다. 본 논문에서는 NUTTX 기반 드론 비행조종컴퓨터 프로세서의 내부 모니터링 소프트웨어를 개발한 결과를 기술하였으며, 기능시험을 통해 그 기능이 정상적으로 동작되는 것을 확인할 수 있었다. 본 연구 결과는 상용 Debugger와 비교하여 제공되는 기능은 제한적이지만, 예산이 제한적인 상황에서 본 시스템을 활용하여 비행제어시스템 검증에 충분히 사용할 수 있을 것으로 판단된다.

태스크 모델링에 기반을 둔 전문가시스템 개발기법

김은경 한국기술교육대학교 1998 論文集 Vol.5 No.1

In order to overcome the problems with first generation expert systems at the symbol level, recently various knowledge level development techniques of second generation expert systems have been proposed. But, these techniques are conceptual modelling techniques. This paper modifies and complement these conceptual modelling techniques and proposes a Task Modelling (TM) technique as a practical knowledge level expert system development technique. This paper defines a Task as a knowledge unit consisted of a goal, execution conditions, behaviour knowledge, and so on. And, this paper defines a Task Diagram to depict structural, dynamic, and functional aspects of task easily. This paper also defines Inference Types as basic units to describe behaviour knowledge of tasks. Also, this paper proposes task processing algorithm based on the state of tasks and implements a task debugger.

Design and Implementation of the Debugger for Smart Cross Platform

Yunsik Son,Seman Oh,Yangsun Lee 보안공학연구지원센터(IJSEIA) 2016 International Journal of Software Engineering and Vol.10 No.1

Virtual machine technology is one of core technologies for mobile, cloud, and IoT, which is intended to provide environments independent of certain hardware. The scope of utilization of virtual machines is being widened further because virtual machines simplify complicated execution and development environments fragmented by type of devices or platforms and provide consistent program development methods and common execution methods. Smart virtual machine (SVM) is a software processor that can be loaded on various devices such as smart devices and embedded devices and are core modules of smart cross platforms for providing language/platform-independent functions to users in order to improve the reusability of contents. SVM supports programming languages such as C/C++, Java, and Objective C and diverse execution environments such as Android, iOS, Linux, and Windows. In the present paper, a debugger for more effective support for the development of SVM applications was designed and implemented. Through analysis of existing diverse debug file formats, a debug file format that can cover the diverse languages and execution environments supported by SVM was designed, assemblers and compilers were expanded based on the designed debug file format, and debugging processes were shown in which a debugger was implemented using the proposed debug file format.

모바일 환경을 위한 딥러닝 기반 열화상 이미지 마스크 인식 및 교차 엔트로피를 이용한 클래스 분류

문종원(Moon, Jong-Won),윤호섭(Yoon, Ho-Sub) 대한전자공학회 2022 전자공학회논문지 Vol.59 No.1

전세계적 전염병인 COVID-19로 인하여 군중에서 열이 높은 일부 인원을 검출하기 위한 비접촉식 열화상 시스템의 수요가 증가하였다. 공공장소에서 마스크 착용이 의무화되었고 입구마다 관리 인원을 두어 출입을 통제하고 있는 상황속에서, 최소한의 인원으로 원활하게 통제하려면 카메라 등으로 관리를 해야 하는데 일반적으로 우리가 사용하는 RGB 이미지에서 마스크를 탐지하는 것은 열화상 이미지에서 탐지하는 것 보다 여러 가지 단점을 갖고 있다. 본 논문에서는 열화상 이미지 사용의 장점과 더불어 모바일 환경에서도 충분히 사용이 가능한 경량화된 딥러닝 모델을 사용하여 이를 바탕으로 딥러닝 기반 열화상 이미지 마스크 인식에 대해서 소개한다. 또한 마스크 착용, 미착용의 이진 분류에서 더 나아가 턱에 걸치거나 코에 걸치는 애매한 경우까지 하나로 묶어 3가지의 형태를 분류하는 모델도 소개한다. 우리가 들고 다니는 일반적인 휴대폰에서도 실시간으로 사용할 수 있게 매우 경량화된 모델을 사용하였는데 마스크 인식 문제는 비교적 간단한 분류 문제이기 때문에 경량화된 네트워크로도 좋은 성능을 낼 수 있다. COVID-19, a global infectious disease, has increased the demand for contactless thermal imaging systems to detect some people with high heat in the crowd. In public places, mask-wearing is mandatory and access is restricted with management personnel at each entrance, to control smoothly with a minimum number of people, detecting masks from RGB images generally has more disadvantages than detecting them from thermal images. In addition to the advantages of using thermal images, this paper introduces deep learning-based thermal image mask detection based on using a lightweight deep learning model that can be sufficiently used in mobile environments. A very lightweight model is used for real-time use even in ordinary mobile phones, but the problem of mask detection is a relatively simple binary classification problem.

Error Recovery Script of Immunity Debugger for C# .NET Applications

Shinde, Rupali,Choi, Min,Lee, Su-Hyun Korea Information Processing Society 2019 Journal of information processing systems Vol.15 No.6

We present a new technique, called VED (very effective debugging), for detecting and correcting division by zero errors for all types of .NET application. We use applications written in C# because C# applications are distributed through the internet and its executable format is used extensively. A tool called Immunity Debugger is used to reverse engineer executable code to get binaries of source code. With this technique, we demonstrate integer division by zero errors, the location of the error causing assembly language code, as well as error recovery done according to user preference. This technique can be extended to work for other programming languages in addition to C#. VED can work on different platforms such as Linux. This technique is simple to implement and economical because all the software used here are open source. Our aims are to simplify the maintenance process and to reduce the cost of the software development life cycle.

Error Recovery Script of Immunity Debugger for C# .NET Applications

Rupali Shinde,최민,이수현 한국정보처리학회 2019 Journal of information processing systems Vol.15 No.6

We present a new technique, called VED (very effective debugging), for detecting and correcting division byzero errors for all types of .NET application. We use applications written in C# because C# applications aredistributed through the internet and its executable format is used extensively. A tool called Immunity Debuggeris used to reverse engineer executable code to get binaries of source code. With this technique, we demonstrateinteger division by zero errors, the location of the error causing assembly language code, as well as errorrecovery done according to user preference. This technique can be extended to work for other programminglanguages in addition to C#. VED can work on different platforms such as Linux. This technique is simple toimplement and economical because all the software used here are open source. Our aims are to simplify themaintenance process and to reduce the cost of the software development life cycle.