• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.263-266
• /
• 2005

실시간 시스템은 시간적 정확성을 갖기 때문에 소형 임베디드 시스템부터 대형 분산 시스템까지 많은 분야에서 사용되고 실시간 시스템을 기반으로 하는 실시간 프로그램도 많은 분야에서 사용되고 있다. 이러한 실시간 프로그램의 시간적 특성을 지키기 위해 개발자들은 프로그램 개발에 집중하지 못하고 실행시간의 정의와 정의한 실행시간의 정확성 검사에 많은 시간을 보내고 있다. 실시간 시스템에 대한 연구 결과로서 TMO 모델은 실시간 개념에 따른 시간 처리의 다양한 기능을 지원하고, 응답시간을 보장하여 개발자가 프로그램 개발에 집중할 수 있다. 하지만, 실행시간의 정의는 개발자에 의해 이루어지기 때문에 이를 정의하고 그 정확성 여부를 확인하는 작업은 어렵다. 이러한 문제로 인하여 실행시간 정의의 기준점을 제시할 수 있는 도구가 필요하지만 이를 위한 TMO 분석 도구에 대한 연구는 미흡하다. 이에 본 논문에서는 TMO 기반 정적 분석 도구를 위한 PS-Block을 제시한다. PS-Block은 블록 단위로 실행시간을 분석할 수 있는 기반으로써 프로그램을 작업 단위로 분리하여 분석할 수 있도록 한다. 이를 기반으로 실행시간을 분석하여 시간 정보 결정의 기준으로 하고, 실시간 메소드의 적시성 확인을 쉽게 함으로써 실시간/신뢰성의 향상과 개발 기간을 단축할 수 있다.

• The KIPS Transactions:PartA
• /
• v.13A no.7 s.104
• /
• pp.561-572
• /
• 2006

Performance of the mobile devices greatly depends on the efficient resource management because they are usually resource-restricted. In particular, the dynamic storage allocation algorithms very important part of the mobile device's operating system and OS-like software platform. The existing dynamic storage allocation algorithms did not consider application's execution style and the type, life-time, and characteristics of memory objects that the application uses. Those algorithms, as a result, could not manage memory efficiently Therefore, this Paper analyzes the mobile application's execution characteristics and proposes anew dynamic storage allocation algorithm which saves the memory space and improves mobile application's execution speed. The test result shows that the proposed algorithm works 6.5 times faster than the linked-list algorithm[11], 2.5 times faster better than the Doug. Lea's algorithm[12] and 10.5 times faster than the Brent algorithm[14].

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.05a
• /
• pp.350-352
• /
• 2019

프로그램 슬라이싱은 처음 발표된 이후로 지금까지 다양하게 연구되어 테스팅, 디버깅, 개발, 유지 보수 등 다양한 분야에서 사용되어 왔다. 프로그램 슬라이싱을 수행하기 위해서는 기준이 되는 변수에 대해 소스코드 내에 존재하는 모든 라인들에 대해 의존성을 계산하여 프로그램 슬라이싱을 수행하게 된다. 하지만 지정된 변수에 대해서만 의존성 계산을 수행하기 때문에 프로그램을 실행 가능하게 하는 정보들에 대해서는 누락될 수 있고 이 경우의 프로그램 실행은 보장되지 않을 수 있다. 이러한 문제를 개선하기 위해 본 논문에서는 concolic testing 기법을 이용하여 기준이 되는 변수에 대한 의존성 있는 구문들을 추출하고 프로그램 실행에 요구되는 구문들을 같이 추출해낼 수 있는 프로그램 상호작용 슬라이싱 기법을 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.11a
• /
• pp.279-280
• /
• 2017

최근 ARM, Intel 등의 주요 CPU 제조사에서는 운영체제 등 상위 레벨 소프트웨어에 대한 공격으로부터 어플리케이션의 보안상 민감한 부분을 보호하려는 목적으로 신뢰실행환경(Trusted Execution Environment, TEE)이라는 격리된 실행 환경을 자사의 칩에 제공하고 있다. TEE를 활용하기 위해서는 일반 실행 환경에서 수행될 코드와 TEE에서 수행될 코드를 각각 작성하여야 한다. 본 논문에서는 TEE 프로그램 개발의 편의를 위해, 기존에 작성된 C 프로그램을 분석하여 보안상 민감한 정보를 처리하는 부분을 분석하는 도구를 제시한다. 개발자가 기존 C 프로그램에서 보안상 민감한 정보가 유입되는 부분을 표시하면 본 도구는 민감한 정보가 처리되는 함수 목록을 분석하고, 개발자는 이를 바탕으로 일반 실행 환경과 TEE에서 수행될 코드를 작성할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11c
• /
• pp.1583-1586
• /
• 2003

소프트웨어 개발에서 프로그램의 검증과 확인을 위한 기본적인 방법중에 하나로 디버깅이 있다. 디버깅의 대표적인 기술중에 하나인 알고리즈믹 디버깅에서는 실행트리라는 구조를 사용한다. 실행 트리란 프로그램을 실행하면서 프로그램내의 모든 함수의 호출 관계를 나타낸 트리 구조이다. 본 논문에서는 실행트리에서 반복문안에 함수 호출이 있을 경우에 나타나는 문제점을 지적한다. 실행트리의 문제점은 반복문안에 함수 호출이 있을 경우 실행트리의 노드가 같은 내용이 반복해서 나타난다. 이와 같은 경우에 함수 호출에 대한 반복된 사용자의 응답을 줄일 수 있는 방법을 본 논문에서 제시한다.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.5
• /
• pp.1215-1228
• /
• 1996

The purpose of benchmark program is to measure the performance of a computer system. The performance of a computer system is determined by the amount of execution time of user application programs. Thus, it is assumed that a benchmark program must have the same features with user application programs to test. In this paper, we have designed and implemented CMFstone which is consisted of Chaustone, Mchaustone and Fhsstone. After applied the CMFstone, designed and implemented in this paper, to the real situations, the results of comparison show that CMFstone is similar to geometric mean of other benchmarks results. Thus, we have concluded that CMFstone is good enough to measure the performance of a computer system.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.438-441
• /
• 2004

인터넷의 급속한 발전과 컴퓨터 성능의 발달로 많은 사용자들은 네트워크를 통해 정보를 획득하고 이용하고 있다. 이에 따라 사용자의 요구도 빠르게 증가하고 있으며, 이러한 사용자 요구를 해결하기 위해 액티브 네트워크와 같은 기술들이 활발하게 연구되고 있다. 액티브 네트워크란 라우터나 스위치가 프로그램 실행 능력을 가지고 있어서 프로그램을 포함하고 있거나 중간 노드의 프로그램을 실행하도록 하는 패킷을 다양하고 유동적으로 처리할 수 있는 환경을 말한다. 이러한 액티브 네트워크의 중간 노드(Active Node)는 단순한 패킷 전달(forwarding) 기능 이외에 사용자의 실행 코드를 저장하고, 처리할 수 있는 기능을 가지고 있다. 따라서 액티브 노드에서 패킷을 실행하기 위해서는 각 패킷을 처리하는데 필요한 실행 코드가 요구되고, 이러한 실행 코드는 이전의 액티브 노드나 코드 서버에 요청함으로써 얻을 수 있다. 하지만 이러한 실행 코드를 이전 액티브 노드나 코드 서버에서 가져오게 되면 실행코드가 전달될 때까지의 시간지연이 발생하므로 사용되었던 실행 코드를 액티브 노드의 캐시에 저장하여 코드의 실행 속도를 증가 시킬 필요가 있다. 따라서 본 논문에서는 액티브 노드 상에 실행 코드를 효율적으로 캐시 함으로써 실행코드 요청의 횟수를 줄이고 패킷 처리 속도를 향상시킬 수 있는 캐싱 기법을 제안하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.577-579
• /
• 2003

인터넷의 발달로, 사이버 환경을 위한 C 프로그래밍 교육 컨텐츠가 많이 개발되고 있으나 적절한 실습 환경까지 제공되지 않고 있다. 그러나 프로그래밍 언어의 교육은 실습이 수반되지 않으면 그 효과가 상당히 떨어진다. 본 논문에서는 인터넷상에서 효과적으로 사용할 수 있는 C 프로그래밍의 실습환경을 구축한다. 특히, 학생들이 이해하기 어려운 함수 프로그램의 실행과정을 Java Applet을 사용하여 시각화 보여준다. 함수 프로그램 실행 시각화기가 설계되고, Java 환경에서 구현된다.

• Journal of KIISE:Software and Applications
• /
• v.33 no.9
• /
• pp.802-809
• /
• 2006

J2ME mobile programs have been widely used as mobile devices like mobile phones become popular. Efficient use of resources in mobile programs is very important because mobile programs are executed in mobile environment with insufficient resources. Moreover, most J2ME programs are event-driven, so effective event handling is important for reliability and efficient use of resource. In this research, we develop a dynamic event analysis system, which can show event handling in real-time. In this system, users can trace only interesting events by selecting some options, and can get event profile after execution.

• The KIPS Transactions:PartC
• /
• v.12C no.5 s.101
• /
• pp.749-756
• /
• 2005

We developed the CNU nt emulator which is an development environment for WIPI applications, wireless Internet applications for cellular phones with the WIPI software platform. The CNU WIPI emulator provides stable memory management and ability of installing, executing, deleting or managing WIPI applications. WIPI WAM provides quick execution of applications and convenient debugging function. In this paper, we describe the design, implementation issues of the CNU WIPI emulator and show its correctness of executing and performance improvement over $25\%$ by comparing it with other WIPI emulators.