• 대한기계학회논문집A
• /
• 제24권8호
• /
• pp.2131-2142
• /
• 2000

As recent production facilities are usually operated with unmanned material-handling system, the development of an efficient schedule with deadlock avoidance becomes a critical problem. Related researches on deadlock avoidance usually focus on real-time control of manufacturing system using deadlock avoidance policy. But little off-line optimization of deadlock-free schedule has been reported. This paper presents an optimization method for deadlock-free scheduling for Job-Shop system with no buffer. The deadlock-free schedule is acquired by the procedure that generates candidate lists of waiting operations, and applies a deadlock avoidance policy. To verify the proposed approach, simulation resultsare presented for minimizing makespan in three problem types. According to the simulation results the effect of each deadlock avoidance policy is dependent on the type of problem. When the proposed LOEM (Last Operation Exclusion Method) is employed, computing time for optimization as well as makespan is reduced.

• 한국컴퓨터정보학회논문지
• /
• 제25권3호
• /
• pp.57-64
• /
• 2020

오늘날 정보 기술의 발전으로 병원은 의료분야에서 모바일 컴퓨팅 기술을 접목하여 의료 정보의 방대한 데이터를 관리를 위해서 시간과 공간의 제약을 받지 않는 병원정보시스템을 활발하게 연구하고 있다. 그럼에도 불구하고 대부분의 병원에서는 여전히 수작업으로 근무 편성표를 작성하는데 많은 노력과 시간을 소요하고 있다. 이에 본 논문은 간호사의 교대 근무를 편성하는 최적화 모델을 연구하고 이를 적용한 간호사 니즈형 근무 편성 자동화 시스템을 구축하였다. 실제 S병원에 근무하는 간호사를 대상으로 간호사의 정보 데이터와 요구조건 및 제약조건들을 구성하였다. 이를 적용하여 최적화된 스케줄링 처리 방법을 제안하였고 웹 서버를 중심으로 실시간 상호 교환 및 공유가 가능하기 위해서 수간호사가 사용하는 웹 기반 플랫폼과 일반 간호사가 사용하는 모바일 앱 플랫폼을 구축하였다. 따라서 개발된 간호사 니즈형 근무 편성 자동화 시스템을 통해서 수간호사는 매월 간호사의 근무 편성을 위한 업무 편리성을 증가시켜 주며, 간호사는 개인 일정관리를 통해서 좀 더 정확하게 업무를 처리할 수 있도록 도움을 줄 것이다. 또한 간호사간의 근무 일정의 공유하여 업무의 효율성이 증가할 것으로 기대한다.

• 정보처리학회논문지A
• /
• 제17A권6호
• /
• pp.259-264
• /
• 2010

다중 프로세서 상의 공유 자원을 포함하는 태스크를 스케줄링 하는데 있어서 마감 시간을 기준으로 스케줄링 하는 EDF (Earliest Deadline First) 를 그대로 적용한 GEDF (Global EDF) 알고리즘은 공유 자원을 가지는 태스크에 대한 처리가 없어서 스케줄링 성공률이 떨어지게 된다. 본 논문에서는 공유 자원을 포함하는 태스크를 위해 태스크를 공유 자원을 접근하는 임계영역을 포함하는 부분과 그렇지 않은 부분으로 각각 나누어 개별적인 마감 시간을 부여해 처리하는 EDFP (Earliest Deadline First with Partitioning) 알고리즘을 제안한다. 시뮬레이션을 통한 평가 결과 공유 자원을 포함하는 태스크들에 대하여 EDFP는 시스템 이용률이 높아지고 프로세서의 개수가 많이 질수록 GEDF 보다 나은 성능을 보인다.

• 에너지공학
• /
• 제6권1호
• /
• pp.11-18
• /
• 1997

본 논문은 에너지 효율이 높은 열병합발전시스템을 대상으로 유전알고리즘을 적용하여 단기운전계획을 수립하였다. 특히 열병합발전시스템의 효율은 약 70%이지만 효율이 일정하지 않을 뿐만 아니라 비선형적인 특징을 가지므로 실제 산업체의 열병합발전소의 데이터를 기초로 하여 적합한 가변효율방정식을 구하였다. 또한 본 논문에서 적용된 유전알고리즘은 계산시간의 감소와 높은 정밀도를 가진 실변수 유전알고리즘으로 시뮬레이션 하였다. 그 결과로 가변효율을 가진 열병합발전시스템의 단기운전계획이 유전알고리즘을 적용하여 적절하게 운전계획이 수립되고 있음을 나타내었으며 각종 보조설비가 유연성 있게 협력하며 필요시마다 효율적으로 운전되고 있음을 확인하였다.

• 한국전자거래학회지
• /
• 제23권3호
• /
• pp.1-12
• /
• 2018

혼합 중요도 시스템은 중요도가 다른 컴포넌트의 조합으로 이루어져 있다. 최근 자동차 시스템과 항공기 시스템에서 사용되는 ISO 26262와 DO-178B 표준에서는 컴포넌트를 중요도에 따라 분류하고 있다. 기존 혼합 중요도 시스템 연구에서는 시스템 모드를 통해서, 효율적이면서 안전한 스케줄링을 추구했다. 이러한 연구의 단점은 고중요도 모드에서 저중요도 작업의 성능저하이다. 이러한 문제를 개선하고자 작업별 중요도 모드를 도입하여 저중요도 작업의 성능을 개선하고 확률적 성능 지표를 설계했다. 시뮬레이션을 통해서 기존 연구 대비 성능 향상 효과를 보였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제13권5호
• /
• pp.271-281
• /
• 2007

임베디드 운영체제에서의 실시간성 지원은 현대 임베디드 시스템에서 추가사항이 아니라 필수사항이다. 이러한 임베디드 운영체제가 사용되는 시스템의 실시간성 지원을 충족하기 위해서는 시스템 내 실시간성이 요구되는 태스크들의 스케줄링 가능성 여부가 중요하며, 이를 시스템 수행 전 검증해야 할 필요가 있다. 스케줄링 가능성 분석에서 핵심적인 부분 중의 하나는 태스크의 최악실행시간을 구하는 것이다. 기존의 최악실행시간 분석도구들은 일반적인 응용 태스크 즉, 응용 프로그램의 최악실행시간을 위주로 분석하였기 때문에 응용 프로그램들이 운영체제에 의해 스케줄링시 영향을 받는 운영체제의 스케줄링 관련 프리미티브들(스케줄러, 인터럽트 서비스 루틴등)에 대한 고려는 전혀 하지 않고 있다. 본 논문에서는 임베디드 운영체제 중에 널리 사용하고 있는 임베디드 리눅스가 사용되는 임베디드 시스템에서의 스케줄링 관련 프리미티브들을 고려하는 최악실행시간 분석 도구를 설계하고 구현한다. 이 분석도구는 일반적인 응용 프로그램 뿐만 아니라 임베디드 리눅스 커널내의 스케줄링에 영향을 미치는 관련 프리미티브들의 최악실행시간을 분석하여 스케줄링 분석의 정확성을 더욱 더 높인다. 이 도구는 현재 임베디드 환경에서 통합개발환경으로 제작된 이클립스(Eclipse)의 플러그인 형태로 개발되어 어떠한 플랫폼에서도 동작 가능하고 사용자가 사용하기에 편리한 인터페이스 및 기능을 제공할 수 있도록 구현한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 제36회 하계학술대회 논문집 D
• /
• pp.2489-2491
• /
• 2005

Currently, Programmable Logic Contorller(PLC) uses Real Time Operation System(RTOS) as basic OS. RTOS executes defined results as to defined time. General features of RTOS emphasize the priority in each task, high-speed process of external interrupt, task scheduling, synchronization in task, the limitation of memory capacity. For safety critical placement, PLC software needs Verification and Validation(V&V). For example, nuclear power plant. In this paper, PLC RTOS is verified by formal methods. Particularly, formal method V&V uses verification tool called 'STATEMATE', and shows the results.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
• /
• pp.464-469
• /
• 2007

현재 이동용 장치(Mobile Device)들에서 전력 소모는 사용자들의 요구에 따라 성능 다음으로 중요한 비중을 차지하고 있다. 특히 배터리 셀의 기술 증가에 비해 프로세서들의 성능 및 요구하는 소비전력이 크게 증가함에 따라 프로세서의 전력 소모를 최소화 하는 연구들이 많이 진행되고 있다. 특히 프로세서의 전력 소모가 많은 비중을 차지함에 따라 프로세서의 전력 소모를 낮추기 위한 방법으로 많은 프로세서들은 DVS(Dynamic Voltage Scaling)와 DFS(Dynamic Frequency Scaling)를 지원한다. 실제 프로세서의 전력 소모는 공급전압에 의 제곱에 비례하고 동작 클럭(Clock) 주파수에 비례한다. 그러나 공급전압은 다시 동작 클럭 주파수에 비례함으로써 DVS와 DFS를 지원하는 대부분의 프로세서는 동작 클럭 주파수를 낮춤으로서 많은 전력 소모를 줄일 수 있게 된다. 그러나 동작 클럭 주파수를 낮추게 되면 태스크들의 실행 시간이 길어지게 되어 실시간 시스템에서 실시간성을 보장하지 못하게 된다. 본 논문에서는 상호간에 공유자원을 갖는 태스크들의 실시간성을 보장하며 동작 클럭 주파수를 낮추는 알고리즘을 제안한다.

• 한국콘텐츠학회논문지
• /
• 제4권2호
• /
• pp.50-60
• /
• 2004

오늘날 대부분의 내장형 시스템은 목적상 많은 기능뿐만 아니라 실시간성도 함께 요구하고 있다. 특히, 경성 실시간 시스템에서는 주기 태스크들의 엄격한 마감시간 보장이 시스템의 성능을 좌우한다. 본 논문에서는 CPU 이용률이 놓아 비율단조 기법으로는 마감시간을 보장 할 수 없는 주기 태스크 셋을 위한 비율단조 기반의 스케줄러를 설계하고 구현한다. 이 스케줄러는 확장된 스케줄 가능성 검사를 실시하여, 태스크 셋의 수행 전태스크들의 공통주기를 찾아 마감시간 우선 기법을 기반으로 마감시간 보장 수행패턴을 생성한다. 이렇게 생성된 수행패턴을 참조하여 결정된 우선순위에 따라 태스크 셋을 실행하게 된다. 마감시간 우선 기법을 기반으로 생성된 패턴은 그 특성에 따라 CPU 이용률을 100% 까지 가능하게 하며, 수행패턴을 참조하여 수행함으로써 동적 우선순위 할당 기법의 단점인 실행시간 스케줄링 오버헤드를 없앨 수 있다.

• 전자공학회논문지CI
• /
• 제40권4호
• /
• pp.222-231
• /
• 2003

디지털기술과 반도체기술의 발전은 모든 전자제품의 발전을 가지고 왔다. 특히 이동 통신과 컴퓨터의 발전은 전자제품은 물론이고 가전제품까지도 네트워크화와 고성능화를 가져오게 하였다 따라서 기존의 전자제품들이 단순제어와 독자적인 동작에서 벗어나서 복잡한 제어와 네트워크에 접속이 되며, 원격으로 조종되는 기능이 추가가 되어지고 있다. 따라서 내장형 기기(Embedded System)는 예전의 단일 Task의 단순 루프 제어 방식과는 달리 다중 Task의 실시간 처리가 필요하게 되었다. 이에 따라서 중·소형 기기에도 실시간 운영체제의 필요성이 대두되고 있다. 본 논문에서는 소형 내장형 기기를 위한 실시간 운영체제를 설계하고 구현하였다. 소형 내장형 기기는 자원과 CPU의 성능에서 한계가 있기 때문에 기존의 상업용 운영체제의 기능 중에서 가장 필요한 기능을 중심으로 구현하였다.