• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.7 no.7
• /
• pp.1434-1441
• /
• 2003

Recent technological advances in utilization and generalization of Internet have overcome some of the limitations of remote robot control range and real-time monitoring system. However, It needs Embedded system with control protocol or hardware which has avility to port the micro realtime operating system in robot control system communicate with remote controlled robot, because those system use the wireless LAM or Bluetooth as a network media. In this paper, we design and implement the wireless MODEM protocol and install it to the server system. Also, we implement a client system could control the remote robot through the server and we assure that this protocol and client/server system ate suitable for small size remote control system based on Internet.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.954-957
• /
• 2013

고안전성이 요구되는 내장형 소프트웨어의 경우 극히 낮은 확률로 발생하는 오류로 인하여 전체시스템의 안전에 치명적인 상황을 야기할 수 있으므로, 철저한 안전성 검증이 요구된다. 모든 가능한 실행경로를 고려해야 하는 안전성 검증의 고비용 문제를 해결하기 위하여, 기존연구에서는 안전성 특질기반 테스트 대상함수를 추출하여 테스트 시나리오 생성하는 생성기를 개발하여 검증 효율을 높이는데 기여하였다. 그러나 기존의 도구는 함수포인터를 탐색 하지 못한 문제와, 변수에 대한 규칙 부족문제 그리고 모듈화 되지 않아 유지 및 보수가 어려운 문제가 있었다. 본 논문에서는 기존도구의 문제점들을 개선하여 정확도를 높인 새로운 함수탐색기를 소개한다. 개발된 함수탐색기는 모듈화 되어 차후에 수정 및 보완 문제에 대하여 유연하게 대처할 수 있게 하였다. 개선된 함수탐색기를 OSEK/VDX[1] 기반의 개방형 차량전장용 운영체제인 Trampoline을 대상으로 테스트 해 본 결과 기존 도구보다 약 68%의 높은 정확도를 보였다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.9
• /
• pp.2815-2826
• /
• 2000

This paper describes the design and implementation of a CHILL Run-time System(CRS) that provides a running environments of real-time distributed software like as ATM switching software on host computers. To do this, we have proposed an execution model of real-time distributed CHILL proRrams and developed a CHS executinR the software of the execution model on host computers. Because CRS provides transparent runninR environments of target operating system, programmers are able to develop target system software without target system. As it provides an environment for multiple users running programs concurrently, it guarantees the improvement of program productivity. Originally, CRS has developed as a simulator of SROS. But it can be easily modified for other operating systems.

• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.523-530
• /
• 2009

Despite the growing need for customized operating system kernels for embedded devices, kernel development continues to suffer from insufficient reliability and high testing cost for several reasons such as the high complexity of the kernel code. To alleviate these difficulties, this study proposes the MOdel-based KERnel Testing (MOKERT) framework for detection of concurrency bugs in the kernel. MOKERT translates a given C program into a corresponding Promela model, and then tries to find a counter example with regard to a given requirement property, If found, MOKERT executes that counter example on the real kernel code to check whether the counter example is a false alarm or not, The MOKERT framework was applied to the Linux proc file system and confirmed that the bug reported in a ChangeLog actually caused a data race problem, In addition, a new data race bug in the Linux proc file system was found, which causes kernel panic.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11b
• /
• pp.1371-1374
• /
• 2002

본 논문에서는 내장형 리눅스를 기반으로 무선 네트웍과 실시간 음성처리 VoIP 와의 연동시스템을 설계 구현한다. 설계 구현하는 시스템의 하드웨어 스펙은 Motorola-XPC860 프로세서를 기반으로 설계되었으며, 음성 코덱칩을 사용하여 실시간으로 음성데이터를 처리하도록 설계하였다. 또한 2.4GHz 무선 통신 규약인 Bluetooth 를 무선 네트웍 인터페이스로 사용하였다. 실시간 음성데이터의 효과적인 처리를 위하여 실시간 운영 체제인 RTLinux 를 사용하였으며, 무선 네트워크의 동시다중 서비스 지원을 위해 커널레벨의 문자 디바이스 형태로의 Bluetooth 인터페이스 구현에 대해 살펴보도록 하겠다.

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

최근 개인용 멀티미디어 시스템이 늘어나면서 그 운영 체제로 내장형 리눅스가 많이 사용되고 있다. 기존 리눅스 파일 시스템들은 상대적으로 작은 파일의 입출력에 최적화되어 있어 대용량. 순차적 읽기 중심, 파일의 재사용 가능성이 낮은 개인용 멀티미디어 시스템에는 적합하지 않다. 본 논문에서는 멀티미디어 시스템을 위한 새로운 리눅스 파일 시스템을 구현하였다. 새 파일 시스템에 대한 성능 측정 결과, 읽기의 경우 Ext2, Ext3 보다 각각 62.31%, 62.22% 높은 성능을 나타내었고, 쓰기/읽기 동시 수행에 있어서는 Ext2, Ext3 보다 각각 32.03%, 35.72% 높은 성능을 나타내었다. 또한 불시의 전원 차단에 대한 파일 시스템의 안정성도 매우 높았다.

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

무인 자동차 시스템과 같은 실시간 제어 환경에서는 각종 센서의 상황에 대한 주기적인 폴링, 실시간 스케줄링, 병행 메소드의 지원 실시간 병행 접근 제어 등과 같은 환경이 요구된다. 본 논문에서는 micro 내장형 운영체제상의 실시간 객체 엔진으로 개발한 TMO-eCos를 기반으로, TMO를 이용한 무인 자동차 제어프레이워크와 이를 활용한 응용 모델에 대해 기술한다. TMO 모델을 이용한 무인 자동차 제어 프레임워크는 실시간 제어 시스템 개발을 위한 객체 기반의 규격적 환경을 제공하여, 최근 국내외적으로 많은 연구가 진행되고 있는 지능헝 실시간 로봇 제어소프트웨어의 기본 플랫폼으로 활용될 수 있을 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.363-367
• /
• 2007

본 논문에서는 Micro 내장형 운영체제상의 실시간 객체 엔진으로 개발한 TMO-eCos를 기반으로 TMO를 이용한 이족로봇 제어 프레임워크와 이를 활용한 실제 사람의 동작과 유사하게 이족로봇을 제어할 수 있는 응용모델에 대해 기술한다. TMO 모델을 이용한 이족로봇 제어 프레임워크는 시스템 개발을 위한 객체 기반의 규격적 단층을 제공하여 모션캡춰장비의 시그널을 분석 처리할 수 있도록 설계 구현되었다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.29 no.4
• /
• pp.232-243
• /
• 2002

There are many methods for improving TLB (translation lookaside buffer) performance, such as increasing the number of entry in TLB, supporting large page or multiple page sizes. The best way is to support multiple page sizes, but any operating system doesn't support multiple page sizes in user mode. So, we propose the new structure of TLB supporting two pages to obtain the effect of multiple page sizes with high performance and at low cost without operating system support. we propose a new TLB structure supporting two page sizes dynamically and selectively for high performance and low cost design without any operating system support. For high performance, a promotion-TLB is designed by supporting two page sizes. Also in order to attain low power consumption, a banked-TLB is constructed by dividing one fully associative TLB space into two sub-fully associative TLBs. These two banked-TLB structures are integrated into a banked-promotion TLB as a low power and high performance TLB structure for embedded processors. According to the results of comparison and analysis, a similar performance can be achieved by using fewer TLB entries and also power consumption can be reduced by around 50% comparing with the fully associative TLB.

• The Journal of the Korea Contents Association
• /
• v.15 no.1
• /
• pp.31-43
• /
• 2015

For battery based real-time embedded systems, high performance to meet their real-time constraints and energy efficiency to extend battery life are both essential. Real-Time Dynamic Voltage Scaling (RT-DVS) has been a key technique to satisfy both requirements. In this paper, we present an efficient RT-DVS algorithm called EccEDF that is designed based on ccEDF. The proposed algorithm can precisely calculate the maximum unused utilization with consideration of the elapsed time while keeping the structural simplicity of ccEDF, which overlooked the time needed to run the task in calculating the available slack. The maximum unused utilization can be calculated by dividing remaining execution time($C_i-cc_i$) by remaining time($P_i-E_i$) on completion of the task and it is proved using Fluid scheduling model. We also show that the algorithm outperforms ccEDF in practical applications which is modelled using a PXA250 and a 0.28V-to-1.2V wide-operating-range IA-32 processor model.