• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.110-112
• /
• 1998

본 논문에서는 BSD운영체제에서 마감시간(dead line)의 개념을 도입하여 멀티미디어 프로세서의 우선순위를 관리하고 실시간 준비 큐를 관리하는 방법에 대하여 알아보았다. 마감시간이 가장 먼저 임박한 프로세서에 대해서 높은 우선순위를 할당하는 EDF (Earlist Desdline First)알고리즘을 바탕으로 구현을 하였다. BSD에서 실기간 프로세서의 준비 큐와 시분할 프로세서의 준비 큐 사이에는 프로세서의 이동이 없고 실시간 프로세서는 시분할 프로세서보다 우선적으로 선택되어지게 되어있는데 이로 인해 시분할 프로세서의 기아()현상이 발생할 수가 있다 이를 방지하기 위해 준비 큐 사이에서 프로세서를 이동하는 방법에 대해서도 알아보았다.

• Korean Journal of Optics and Photonics
• /
• v.25 no.3
• /
• pp.146-149
• /
• 2014

The homogeneous line broadening in EDF leads to unstable lasing and strong mode competition. In this paper a multiwavelength fiber ring laser that overcomes these effects by using variable attenuators between the DWDM and $1{\times}N$ coupler, has been proposed. Fiber ring lasers with four and eight wavelength outputs are implemented, and we show that the output powers can be adjusted with stable operation. The EDF ring laser has one four-wavelength output and four of single wavelengths, with OSNR of 50 and 60 dB respectively.

• Nuclear Engineering and Technology
• /
• v.44 no.4
• /
• pp.387-392
• /
• 2012

This paper discusses the concept of merging multiple sources of data on the same 2D CAD drawing(s) for power plant operation. It also presents the concepts and tools used in this project.

• The Korean Journal of Applied Statistics
• /
• v.19 no.2
• /
• pp.241-256
• /
• 2006

We generalize the $Cram{\acute{e}}r$-von Mises Statistic to test multivariate normality using Roy's union-intersection principle. We show the limit distribution of the suggested statistic is representable as the integral of a suitable Gaussian process. We also consider the computational aspects of the proposed statistic. Power performance is assessed in a Monte Carlo study.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.313-317
• /
• 2008

센서 네트워크는 여러 분야에서 활용할 수 있는 기술이다. 센서 노드가 외부에서 채취한 데이터를 실시간으로 사용자에게 전달하는 것은 매우 중요하다. UC 버클리에서 개발된 TinyOS는 센서 노드에서 동작하는 운영체제 중 가장 많이 사용되고 있다. TinyOS는 Event-driven 방식이며 Component 기반의 센서 네트워크 운영체제이다. 기본적으로 비선점 방식의 스케줄러를 사용함으로써 TinyOS의 실시간성을 보장하기 어렵다. 최근 연구에서 TinyOS의 빠른 반응성을 위해 Priority Level Scheduler라는 선점 기능이 제안되었다. 여기서 본 논문은 TinyOS의 실시간성의 보장을 위해 Priority Level Scheduler에 EDF(Earliest Deadline First)를 적용한 선점형 EDF 스케줄링 방식을 제안하고자 한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.1701-1704
• /
• 2005

We developed an machine vision method for navigation control of a traveling automatic guided vehicle(AGV) on desired trajectory with guided marks. The formulated EDF accumulates the edge magnitude for edge directions. The EDF has distinctive peak points at the vicinity of trajectory directions due to the directional and the positional continuities of desired trajectory. Examining the EDF by its shape parameters of the local maxima and symmetry axis results in identifying whether or not change in traveling direction of an AGV has occurred. Simulation results show that the presented method is useful for navigation control of AGV.

• Nuclear Engineering and Technology
• /
• v.47 no.2
• /
• pp.212-218
• /
• 2015

We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, $Electricit{\acute{e}}$ de France (EDF) investigates the use of methods and tools for source code semantic analysis, to obtain indisputable evidence and help assessors focus on the most critical issues. EDF has been using the PolySpace tool for more than 10 years. Currently, new industrial tools based on the same formal approach, Abstract Interpretation, are available. Practical experimentation with these new tools shows that the precision obtained on one of our shutdown systems software packages is substantially improved. In the first part of this article, we present the analysis principles of the tools used in our experimentation. In the second part, we present the main characteristics of protection-system software, and why these characteristics are well adapted for the new analysis tools. In the last part, we present an overview of the results and the limitations of the tools.

• Journal of Internet Computing and Services
• /
• v.8 no.1
• /
• pp.71-78
• /
• 2007

In this paper, an effective task scheduling scheme was proposed for the flexible real time LINUX systems with the selection between EDF(earliest deadline first) and RMS(rate monotonic scheduling). It was known that many task scheduling schemes were analyzed according to the characteristics of scheduling schemes and the guarantee of an earliest deadline scheduler for process utilities.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.202-204
• /
• 2003

경성 실시간 시스템(Hard Real-Time System)어서는 주기 태스크들의 엄격한 마감시간(Deadline) 보장이 시스템의 성능을 좌우한다. 본 논문에서는 CPU의 이용률(Utilization)이 높아 비율단조 정책으로는 마감시간을 보장 할 수 없는 주기 태스크들을 위해 확장된 스케줄 가능성 검사를 통해 수행할 태스크들의 공통 주기(L.C.M : Least Common Multiple)내에서 EDF(Earliest-Deadline First) 정책을 기반으로 마감시간 보장 수행패턴(Feasible Pattern)을 찾고, 이를 참조하여 우선순위를 고려하지 않고 태스크들을 강제 수행할 수 있게 하는 비율단조 기반의 스케쥴링 기법을 제안한다. EDF를 기반으로 생성된 패턴은 EDF 정책의 특성에 따라 CPU의 이용률을 100% 까지 가능하게 하며 패턴을 참조하여 강제 수행함으로써 EDF 정책이 갖는 실행시간 스케쥴링 오버헤드를 없앨 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.370-372
• /
• 2002

다중처리기 상에서 실시간 태스크 스케줄링에 대한 연구가 현재 많이 수행되고 있지만, 주로 Pfair(P-fairness)와 EDF(Earliest Deadline First) 알고리즘에 대한 연구이다. Pfair는 이론적인 연구에 초점을 두고 있으며, EDF는 처리기들을 효율적으로 이용하지 못하는 문제점을 가지고 있다. 본 논문에서는 다중처리기 상의 주기적인 실시간 태스크 집합을 대상으로, LLA(Least Laxity Algorithm) 알고리즘이 높은 스케줄링 가능성(schedulability)을 가짐을 먼저 보인다. 다음으로 기존 알고리즘들의 문제점을 보완하기 위해 EDF와 LLA를 결합한 ED/LL(Earliest Deadline/Least Laxity)이라는 알고리즘을 제시한다. ED/LL은 LLA보다 문맥교환 횟수는 적고 EDF보다 스케줄링 가능성이 높으며, 구현 오버헤드도 크지 않다.