• Proceedings of the Korea Contents Association Conference
• /
• 2011.05a
• /
• pp.25-26
• /
• 2011

최근 임베디드 시스템이 발전함에 따라 시스템을 운영하는 방식이 단순한 펌웨어 수준에 그치지 않고 더 많은 서비스를 시스템에 제공하기 위해 운영체제의 사용이 증가하고 있다. 임베디드 시스템에는 제한적인 자원과 타깃시스템의 용도에 따라 실시간 운영체제(RTOS)가 주로 탑재된다. 실시간 운영체제 iRTOS는 가전, 무기체계 등에서 사용되며 현재 iRTOS가 채택하고 있는 메모리 할당 기법은 first fit 기법인데 대부분 시간결정성을 보장하지만 상황에 따라서 시간결정성을 보장하지 않을 수 있다. 따라서 시간결정성 보장을 향상시킬 수 있는 메모리 할당 기법이 필요하다. 본 논문에서는 실시간 운영체제 iRTOS에서 시간결정성을 보장할 수 있는 메모리 할당 기법을 설계하고 구현하는 것을 기술한다.

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

내장형 실시간 시스템에서는 메모리 관리시스템의 구현에 있어 메모리 단편화와 시간 결정성 (determinism)의 문제를 해결하기 위한 방법 중의 하나로 고정크기의 메모리를 할당하는 기법이 사용되어진다 내장형 자바가상기계에서도 객체를 관리하는 메모리 구조인 힙에 이를 적용하여 활용할 수 있으며 실제 구현으로는 simpleRTJ가 있다. 고정크기의 메모리 할당기법은 구현이 간단하기 때문에 시스템이 단순해지고 실행에서의 오버헤드도 작아지는 장점이 있다. 하지만 고정크기의 객체할당 방식은 가장 큰 객체의 크기를 이용하여 모든 객체를 할당하기 때문에 내부단편화를 발생시키는 단점이 있다. 본 논문에서는 내부 단편화를 최소화하면서 고정크기 할당기법의 장점을 최대한 이용할 수 있도록 하기 위해 다수의 고정크기를 이용하여 객체를 할당하는 기법에 관해 설명하며 관련 실험을 통해 내부단편화 문제를 얼마나 해결할 수 있는지에 관해 기술한다.

• Communications for Statistical Applications and Methods
• /
• v.11 no.1
• /
• pp.31-47
• /
• 2004

The history of statistics from the mid-seventeenth to the early twentieth century is considered and a scheme of periodization is proposed. In the first period(1650-1750), named 'the age of probability' in this paper, concept of probability emerged, and in the second period(1750-1820), named 'the age of error theory', statistical techniques such as the least square method are developed by astronomers and geodesists. Their techniques are supported theoretically by mathematicians like Laplace and Gauss in that period. The third period(1820-1880) is called 'the age of statistics(as a plural noun)' since statistical data played prominent roles in social sciences such as sociology, psychology. Finally the last period(1880- ), called 'the age of statistics(as a singular noun)', the discipline of statistics came to maturity both in theory and application.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.5 no.2
• /
• pp.103-110
• /
• 2010

Due to the increasing amount of electronic control system in a vehicle, the automotive software is increasingly sophisticated and complicated. Therefore it may be faced a time critical problem caused by its complexity. In order to solve such problems, the automotive electronic system can use a real-time scheduling mechanism based on predictability. We first consider the standard specification of the AUTOSAR OS and uC/OS-II such as its scheduling theory with time determinism. In this paper, we propose the scheduling algorithm to be conformable to a conformance class of OSEK/VDX specification. Algorithm analysis shows that our scheduling algorithm outperforms an existing Trampoline OS by intuition.

• Journal of Korean Library and Information Science Society
• /
• v.28
• /
• pp.505-525
• /
• 1998

This paper discusses the 'identity' issue of academic libraries and librarians in South Korea. With the rapid social changes, both academic libraries and librarians in South Korea are confronted with a crisis for survival. This paper criticizes the two main social ideology led to such a crisis : namely, the extreme forms of capitalism and technological determinism. To overcome the present crisis, this paper recommends the academic libraries to recover or reform their identity as a cultural, expecially, knowledge organization, not just as an information agency. Also recommended for academic librarians is to make their best effort to be a real professional with the required knowledge and experience.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.21 no.2
• /
• pp.111-124
• /
• 1996

The main purpose of this study is to develop an algorithm to solve the scheduling problems of FMS using Petri-net is well suited to model the dynamics of FMS and Petri-net is an ideal tool to formulate scheduling problems with routing flexibility and shared resources. By using the marking of Petri-net, We can model features of discrete even system, such as concurrency, asynchronous, conflict and non-determinism. The proposed algorithm in this paper can handle back-tracking using the marking of Petri-net. The results of the experiment show that marking is one of the best ways that describe exactly movement of the discrete event system. To show the effectiveness of the algorithm suggested here, we compare it with L1 algorithm using the Petri-net through the test on randomly generated test problems.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.10a
• /
• pp.659-662
• /
• 2001

본 논문은 실시간 운영체제에서 높은 우선순위를 가지는 태스크가 낮은 우선순위를 가지는 태스크가 사용중인 공유자원을 기다리는 과정에서 발생하는 우선순위 역전현상을 해결하기 위한 효과적인 방법에 대해 언급한다. 우선순위 역전현상은 실시간 운영체제의 주요 특징인 태스크 수행 완료의 바운드 타임을 예측하기 어렵게 만들어 실시간 운영체제를 사용하는 가장 큰 목적인 결정성(determinism)을 보장 받지 못하게 된다. 이를 해결하기 위해 논문에서 구현된 커널은 비교적 크기가 작으면서도 실시간 운영체제의 핵심적 특징을 잘 갖추고 있는 uCOS(Micro C/OS) 커널을 사용하였으나, 유일한 우선순위만을 갖는 uCOS의 제약사항을 보완하고 Priority Inheritance protocol을 이용한 MuTexS (Mutual Exclusion Semaphore)를 구현 하기위해 커널의 자료구조를 확장하여 수정된 스케줄링 방식을 사용하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.619-621
• /
• 2004

실시간 운영 체제(Real-Time Operating Systems)는 시스템 동작이 논리적 정확성뿐만 아니라 시간적 정확성에도 좌우되는 운영 체제이다. 시간적 정확성은 결정성(Determinism)이라고도 하며 이를 지키기 위해서는 실시간 운영체제의 제약조건의 하나인 시스템 예측성을 만족해야만 한다. 예측성이란 시스템의 서비스가 정해진 시간 안에 완료되는지를 판별할 수 있다는 것으로 정확하게 동작하는 타이머가 꼭 필요하다. 본 논문에서는 타임 슬롯을 이용해서 타이머의 활성화, 비활성화 루틴을 간단하게 하고 타이머가 만료(Expire)되었음을 간단하게 판별해 낼 수 있는 소프트 타이머를 설계 및 구현하였다

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.685-687
• /
• 2004

실시간 운영체제는 그 특성상 범용 운영체제와는 달리 시간 결정성(determinism)을 보장하는 안정된 스케줄링 기능을 갖춘 운영체제이다. 현재 실시간 운영체제를 필요로 하는 내장형 시스템들은 비싼 사용료를 지불하며 외국의 상용 실시간 운영체제를 도입하여 제품 개발에 활용하고 있다. 상용 실시간 운영체제를 사용할 경우, 운영체제 자체는 블랙 박스(바이너리 소스)이기 때문에 세밀한 제어가 불가능하고 불필요한 기능들을 포함하고 있다. 그러므로 독자적인 운영체제 개발 및 확보가 중요하다 본 논문은 MPC750 프로세서에 기반 한 실시간 운영체제를 개발함에 목적이 있다.

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

응용프로그램의 개발 비용이 높아지고 개발 기간이 점차 단축되면서, 응용프로그램의 재사용에 대한 연구가 다양하게 진행되고 있다. 특히 실시간 응용프로그램들은 플랫폼 종속성에 의해 다른 운영체제에서 새로 개발해야하므로 개발 비용과 시간상의 문제가 심각하다. 이러한 문제점을 극복하기 위해 OS Changer, Xenomai, Leagcy2Linux와 같은 다양한 인터페이스 미들웨어들이 개발되었으나 미들웨어에서 제공되는 API가 특정 운영체제에 종속되거나, API의 확장성을 제공하지 못한다는 문제점이 존재한다. 본 연구에서는 기존 미들웨어들의 문제점을 극복하고, 더 나아가 API를 동적으로 재구성할 수 있는 실시간 운영체제 인터페이스용 미들웨어를 구현하였다.