• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.220-222
• /
• 2003

최근 무선 임베디드 시스템의 사용이 증가하면서 기존의 분산 환경에 무선 임베디드 시스템이 포함되기 시작하였고, 이를 고려한 분산 어플리케이션들이 개발되고 있다. Global clock과 동기화할 수 있는 GPS가 모든 무선 임베디드 시스템에 장착되지 않은 상황에서 분산된 임베디드 시스템간 혹은 고성능 컴퓨터와의 내부 동기화를 수행할 동기화 기법이 필요하다. 현재 무선환경에서의 동기화에 대한 연구들이 이루어지고 있지만 제한된 리소스의 임베디드 시스템에 그대로 적용하기 어렵다. 이에 본 논문에서는 무선 임베디드 시스템만이 가지는 제한사항을 고려하여 메시지 지연값의 변화량을 측정하여 적용할 수 있는 시간 동기화 기법을 제시하고 실험을 통해 그 성능을 평가한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.424-426
• /
• 2002

기존의 컴퓨터 시스템보다 한정된 자원을 갖는 임베디드 시스템은 사용이 늘어나고 있지만 효율적인 관리 시스템이 부족하였다. 본 논문에서는 정보가전기기, PDA, 휴대폰등과 같은 인터넷으로 연결된 임베디드 시스템으로 구성된 분산 시스템 환경을 가정하고 임베디드 시스템의 효율적인 관리를 위한 관리 시스템 프레임워크를 제안하고 이를 구현한다. 제안하는 임베디드 시스템 관리 프레임워크는 이의 응용을 통해 임베디드 시스템의 상태를 모니터링하고 시스템의 성능저하, 작동정지를 사전에 방지하는 소프트웨어 재활 기법을 사용하여 임베디드 시스템의 관리 비용을 절감하고 성능을 향상시킬 수 있게 된다.

• Journal of KIISE:Information Networking
• /
• v.32 no.6
• /
• pp.668-675
• /
• 2005

With the proliferation of wireless network and the advances of the embedded systems, the traditional distributed systems begin to include the wireless embedded systems. Clock synchronization in the distributed systems is one of the major issues that should be considered for diverse Purposes including synchronization, ordering, and consistency. Many clock synchronization algorithms have been proposed over the years. Since clock synchronization in wireless embedded systems should consider the low bandwidth of a network and the poor resources of a system, most traditional algorithms cannot be applied directly. We propose a clock synchronization algorithm in wireless embedded systems, extending IEEE 802.11 standard. The proposed algorithm can not only achieve high precision by loosening constraints and utilizing the characteristics of wireless broadcast but also provide continuous time synchronization by tolerating the message losses. In master/slave structure the master broadcasts the time information and the stave computes the clock skew and the drift to estimate the synchronized time of the master. The experiment results show that the achieved standard deviation by the Proposed scheme is within the bound of about 200 microseconds.

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.8
• /
• pp.229-234
• /
• 2020

This paper presents the design and the implementation of CRESTIVE-DX, a concolic testing tool that distribute the concolic testing process over the embedded target system and the host system for efficient test generation of a target embedded program. CRESTIVE-DX conducts the execution of a target program on the target embedded system to consider possible machine-dependent behaviors of a target program execution, and conducts machine-independent parts, such as search-strategy heuristics, constraint solving, on host systems with high-speed computation unit, and coordinates their concurrent executions. CRESTIVE-DX is implemented by extending an existing concolic testing tool for C programs CREST. We conducted experiments with a test bed that consists of an embedded target system in the Arm Cortex A54 architecture and host systems in the x86-64 architecture. The results of experiments with Unix utility programs Grep, Busybox Awk, and Busybox Ed show that test input generation of CRESTIVE-DX is 1.59 to 2.64 times faster than that of CREST.

• The KIPS Transactions:PartA
• /
• v.10A no.4
• /
• pp.295-304
• /
• 2003

Active object is an Independent runnable unit which is scheduled by CPU in creation time. In this paper, we define the active object and suggest ART(Active object RunTime support systems) which controls creation and execution of the active object. ART can Provide users locational transparency and support easy method call mechanism. We also designed a communication model among active objects and implemented a communication method to make the distributed programing possible. The implementation target platform of ART is an embedded system which has only limited resources and runs in the distributed computing environment.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10a
• /
• pp.305-308
• /
• 2006

최근 임베디드 분산 객체 응용 기술로 CORBA 규격이 사용되고 있다. CORBA규격은 엔터프라이즈 응용을 위해서 만들어진 규격이지만, 임베디드 시스템 환경에 적합하게 수정, 이식을 하고 있다. 그러나 주로 예측을 통한 CORBA의 동적인 기능 삭제와 CORBA 서비스를 최소화 한 메모리 사용량 제한에 중점을 둔 규격을 만들어 왔다. 실제 표준 CORBA 규격의 임베디드 시스템에 이식을 통한 실험적인 데이터를 근거 설정된 규격 설정이 필요하다. 따라서 이 논문에서는 표준 규격의 CORBA를 실제 임베디드 시스템에 이식을 하고, 동적인 응용프로그램을 실행함으로써 임베디드 시스템에서 발생 할 수 있는 특징을 조사 해보고자 한다. 이러한 특징을 근거로 임베디드 시스템 CORBA 규격 설정에 근거가 될 수 있을 것이다.

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

임베디드 시스템은 현재 가전, 단말, 제어, 통신등 다양한 분야에서 응용되고 있으며 컴퓨터 관련 기술의 발전과 더불어 응용분야는 더욱 넓어질 것이다. 이러한 임베디드 시스템의 관리나 테스트를 위해 모니터링 프로그램이 필요하다. 임베디드 시스템은 일반 PC 시스템과 달리 많은 제약을 가지고 있다. 본 논문에서는 자원적 제약을 가진 임베디드에 활용되어지는 NFS를 이용한 임베디드 장비 모니터링에 적합한 MONETA(distributed MONitoring for Embedded TArget system)를 설계, 구현하였다. MONETA에서 제시하는 구조는 모니터링을 위한 서버, 모니터링하는 대상인 클라이언트, 시스템 사용자의 3계층 구조의 분산 모니터링 시스템으로 각 장비별 CPU, Moemory, Disk, 트래픽량을 그래프로 나타도록 구현된다.

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

컴퓨터 산업의 빠른 발전과 더불어 근래에는 임베디드 시스템 분야가 빠르게 성장하고 있다. 이전에 작고 단순하던 임베디드 시스템이 산업의 발전과 사용자의 다양한 요구로 운영체제의 필요성이 높아지고 운영체제하에서 관리하는 실시간 프로세스들의 크기와 복잡도가 빠르게 증가하고 있다. 본 논문에서는 분산 실시간 객체 모델인 TMO-MicroC/OS-II의 실시간 스케줄러의 설계와 구현 방법을 기술하였다. TMO-MicroC/OS-II는 $Micrium^{TM}$에서 개발한 임베디드 OS인 MicroC/OS-II에 분산실시간 객체 모델인 TMO를 적용시킨 것이다. TMO (Time-triggered Message-triggered Object)는 시간조건에 의해 구동되는 객체 내의 실시간 스레드들의 동적 맴버들로 구성되는 프로그래밍 페러다임으로 본 논문에서는 TMO모델 적용을 위한 Deadline-driven 스케줄러 구현에 대해서 기술한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.11 no.3
• /
• pp.216-223
• /
• 2005

A computer clock has limits in accuracy and precision affected by its inherent instability, the environment elements, the modification of users, and errors of the system. So the computer clock needs to be synchronized with a standard clock if the computer system requires the precise time processing. The purpose of synchronizing clocks is to provide a global time base throughout a distributed system. Once this time base exists, transactions among members of distributed system can be controlled based on time. This paper discusses the integrated approach to clock synchronization. An embedded system is considered for time synchronization based on the GPS(Global Positioning System) referenced time distribution model. The system uses GPS as standard reference time source and offers UTC(Universal Time Coordinated) through NTP(Network Time Protocol). A clock model is designed and adapted to keep stable time and to provide accurate standard time with precise resolution. Private MIB(Management Information Base) is defined for network management. Implementation results and performance analysis are also presented.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06a
• /
• pp.352-354
• /
• 2006

최근 PDA, PMP, 핸드폰 등 휴대용 임베디드 기기의 사용이 증가되고 기능이 점점 다양해지며, 고성능을 추구하게 됨으로써 전력 소모 역시 증가하게 되었다. 휴대용 임베디드 기기는 대부분 배터리를 기반으로 동작하므로 에너지원이 제한적이어서 한정된 에너지원을 효율적으로 사용하는 전력관리 기법에 대한 연구가 많은 관심을 받고 있다. 시스템 사용시간의 연장을 위해 시스템의 성능 저하를 최소화하면서 소모되는 전력을 최소화하기 위한 여러 방법들이 제시되었으나, 기존의 방법들은 각각의 방전 패턴에 따라서 사용시간이 달라지는 배터리의 특성을 고려하지 않고 주로 시스템의 평균 전력 소비 감소만을 목적으로 한다. 이에 본 논문에서는 배터리의 방전 특성을 고려하여 휴대용 임베디드 기기에서 배터리의 사용시간을 연장할 수 있도록 MicroC/OS-II 운영체제에서의 순간 최대전력 분산 기법을 제안한다.