• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.109-111
• /
• 2001

경성 실시간 태스크에서 마감시간 보장이 매우 중요한 문제이며 이를 보장하지 못할 시 인명피해 등 막대한 손실을 발생시킬 수 있다. 본 논문에서는 경성 실시간 태스크의 설계 시 마감시간을 보장을 위한 비선점형 정적 테이블 기반 스케줄러를 설계한다. 이 방법은 경성 실시간 스케줄러가 비선점형 스케줄링을 사용함으로써, I/O 스케줄링과 같이 선점이 불가능한 작업을 선점함으로써 발생할 수 있는 문제를 해결할 수 있고, 작업을 선점하지 않으므로 선점을 할 경우 발생할 수 있는 오버헤드 등을 줄일 수 있다. 또한 정적 스케줄링 방법을 이용하여 실행시간 오버헤드를 최소화 할 수 있다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권2호
• /
• pp.89-97
• /
• 2009

유비쿼터스 환경에서 널리 사용되고 있는 내장형 시스템에서는 메모리 사용량의 감소와 신뢰성 등의 이유로 쓰레드 기반 프로그래밍 모델보다는 이벤트-구동형 프로그래밍 모델을 채용하는 경우가 많다. 그러나 내장형 시스템의 소프트웨어가 점점 더 복잡해지면서, 내장형 시스템을 위한 소프트웨어를 이벤트-구동형 프로그래밍 모델의 단일 이벤트 핸들러로 프로그램 하는 것은 매우 어려운 과제가 되고 있다. 본 논문에서는 내장형 시스템의 설계에 비선점형 스케줄링 기법을 도입하기 위하여, 다항시간의 스케줄 가능성 평가를 위한 충분조건과 이를 이용한 효율적인 스케줄 가능성 검사 방법을 제시하며, 또한 내장형 시스템에서의 서브-태스크의 활용이 비선점형 스케줄링을 채용했을 때의 단점인 낮은 처리기 이용률을 극복할 수 있는 방안임을 보인다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2009년도 춘계학술발표대회
• /
• pp.670-673
• /
• 2009

TinyOS는 현재 가장 널리 사용되는 센서 노드용 운영체제이지만, 태스크의 실시간성을 지원하지 않는다는 단점이 있다. 이에 TinyOS에 실시간성을 부여하기 위한 다양한 연구가 진행되었다. 그러나 이들 연구는 TinyOS의 사용자 태스크에 대한 실시간성만을 고려하여, TinyOS 플랫폼이 제공하는 태스크가 포함된 실제의 센서 노드 작업에 대해서는 실시간성을 만족시키지 못한다는 문제점이 있다. 따라서 본 논문에서는 TinyOS에서 센서 노드 작업의 실시간성을 지원하는 새로운 스케줄링 기법을 제안하고자 한다. 이를 위해 기존 연구의 스케줄링 기법을 센서 노드 작업에 적용했을 때 나타나는 작업 중첩 현상과 우선순위 조정 현상을 분석하고, 이를 효율적으로 해결하는 비선점형 EDF(Earliest Deadline First) 작업 스케줄링 기법을 구현하였다. 그리고 제안한 스케줄링 기법은 TinyOS의 이벤트 기반 비선점형 속성을 유지하여 제한된 하드웨어 자원을 가지는 센서 노드에 적합하다는 것을 확인하였다.

• 한국멀티미디어학회논문지
• /
• 제13권9호
• /
• pp.1285-1298
• /
• 2010

비선점형 태스크 스케줄링 정책을 사용하는 TinyOS는 선입선출 (FIFO: First-In First-Out) 방식의 태스크 스케줄링만 제공하기 때문에 최상위 우선순위를 가친 사용자 태스크가 즉시 실행이 필요한 태스크임에도 불구하고 우선순위가 낮은 태스크가 획득한 CPU 사용권한을 선점하지 못한다. 따라서 실시간 서비스를 요구하는 사용자 태스크 (User Task) 의 마감시한 (Deadline)을 보장할 수 없다. 또한, 비선점 환경의 TinyOS에서 사용자 태스크가 요청한 실시간 서비스를 완료하기 위해서는 사용자 태스크의 마감시한을 보장함과 동시에 사용자 태스크에서 호출 및 실행되는 TinyOS 플랫폼 태스크들의 마감시한도 보장해야 한다. 이에 본 논문에서는 비선점형 태스크 스케줄링 정책을 사용하는 기존 TinyOS 환경에서 실시간성을 제공하는 태스크 그룹 기반의 스케줄링 기법을 제안하였다. 제안한 기법은 요청한 사용자 태스크의 마감시한을 보장하기 위하여 사용자 태스크와 함께 사용자 태스크가 완료되기 위하여 호출 및 실행이 필요한 다수의 TinyOS 플랫폼 태스크를 태스크 그룹으로 형성한 후, 해당 태스크 그룹을 하나의 가상적인 큰 태스크 단위로 스케줄링한다. 제안한 기법의 동작을 시험한 결과, 제안한 기법은 비선점형 태스크 스케줄링 정책을 사용하는 TinyOS 환경에서 사용자 태스크의 마감시한을 보장함과 동시에 사용자 태스크의 평균 응답시간을 줄이고 기존 TinyOS 플랫폼간의 호환성을 제공할 수 있었다.

• 한국지능시스템학회논문지
• /
• 제21권1호
• /
• pp.120-127
• /
• 2011

체크포인트 기법은 실시간 시스템의 내고장성을 구현하는 대표적인 방법이다. 본 논문에서는 확률 최적화를 이용하여 체크 포인트 구간을 결정하는 기법을 제시한다. 본 논문에서 다루는 실시간 시스템은 멀티 태스크(multi-task)들로 구성되며 Poisson 분포를 가지는 과도 고장이 발생한다. 또 멀티 태스크들은 비선점형 Rate Monotonic 알고리듬으로 스케줄링된다. 이번 연구에서는 멀티 태스크들의 수행 성공 확률을 체크포인트 삽입 개수로 표현하는 최적화 문제를 설정하고 이 확률값을 최대로 만드는 체크포인트 개수와 구간 길이를 구한다. 제안된 확률 계산 과정은 체크포인트 재수행 횟수에 대한 비선점형 RM 알고리듬의 스케줄링 가능성을 판별하는 방법도 포함한다. 사례 연구를 통해서 제안된 기법의 적용가능성을 입증한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2008년도 한국컴퓨터종합학술대회논문집 Vol.35 No.1 (B)
• /
• pp.313-317
• /
• 2008

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

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2008년도 춘계학술발표대회
• /
• pp.585-588
• /
• 2008

센서 네트워크에 사용되는 운영체제 중 TinyOS는 Event-driven 방식이며 Component 기반의 센서 네트워크 운영체제이다. 이러한 TinyOS는 일단 태스크가 시작되면 마칠 때까지 다른 태스크가 기다려야하는 비선점형(Non-preemption) 방식이다. 최근 연구에서 TinyOS의 빠른 반응성을 위해 선점(Preemption)할 수 있는 기능이 추가되었다. 그러나 프로그래밍할 때 우선순위를 미리 주어줘야 하는 단점이 있다. 본 논문에서는 좀 더 유연하게 우선순위를 변경할 수 있는 방식을 제안하고자 한다.

• 한국전산구조공학회논문집
• /
• 제22권1호
• /
• pp.117-124
• /
• 2009

2차원 포텐셜 문제를 해석하기 위해 고차의 르장드르 형상함수에 기초를 둔 p-수렴 경계요소법이 제안되었다. p-수렴 경계요소법은 종래의 경계요소법에서 사용되는 형상함수와 성질이 다른 르장드르 다항식을 형상함수로 사용한다. p-수렴 유한요소법과 마찬가지로 고차의 형상함수에 따른 절점의 위치가 경계상에서 정해지지 않는다. 따라서 형상함수가 증가함에 따라 선형방정식을 구성하기 위한 수단으로 선점법을 이용하였다. p-수렴 경계요소법에서 선점법은 비대칭 계층적 선점법과 대칭 비계층적 선점법을 선택하여 수치해석을 수행하였다. 선택점들은 형상함수가 증가함에 따라 증가하는 성질을 나타내며 계층적 또는 대칭적으로 선택될 수 있다. p-수렴 경계요소법에서 나타나는 특이 적분항을 계산하기 위해 special numeric quadrature technique와 semi-analytical integration technique를 사용하였다. 사각모서리부에서 특이성을 가지는 L-형 영역문제를 해석한 결과 적은 수의 자유도에서 기존문헌의 결과와 차이가 거의 없는 정도인 $10^{-2}%$단위 이하의 정확도를 보여주었다. 또한 같은 조건에서는 대칭형 선점의 위치를 이용해 계산한 값이 가장 높은 정확도를 보여주었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (A)
• /
• pp.52-55
• /
• 2002

객체 지향 설계 방법론은 현재 소프트웨어 개발에 널리 사용되고 있지만 내장형 실시간 시스템에는 적합한 스케줄링 기법이 존재하지 않기 때문에 제한적으로만 적용되어 왔다. 선점 임계 스케줄링(preeption threshold scheduling: PTS)은 비선점성을 최대한 이용하여 다중 태스킹의 부하를 줄이기 위한 제안되었다. PTS는 전통적인 스케줄링 기법을 대신하여 실시간 객체지향 설계에 사용되기에 적합하나. 이를 위해서는 실시간 동기화의 문제가 해결되어야 한다. 본 논문에서는 PTS를 위한 실시간 동기화의 필수적인 기반을 제시한다. 구체적으로 PTS를 위한 기본 우선순위 계승 프로토콜과 우선순위 실링(ceiling) 프로토콜을 제시한다. 제시된 동기화 기법은 유효 우선순위의 개념을 사용하여 우선순위를 계승하도록 하며, 선점 임계 실링 대신 우선순위 실링을 사용한다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2000년도 제14회 학술강연논문집
• /
• pp.1-1
• /
• 2000

액체로켓엔진에 있어서 연소실로 공급된 추진제의 안정적인 점화를 위해 추진제 공급의 선점 시간을 결정하기 위한 실험이 수행되었다. 사용된 추진제는 Jet A-1과 액체 산소이고 추진제의 공급은 가압 방식이다. 135$^{\circ}$의 각을 갖고 배열된 인젝터는 FOOF 타입의 비동류형 충돌형 인젝터이고 연소실 압력이 200psi가 되도록 설계되었다. 현재의 실험은 점화원으로서 TEAL(triethylaluminum)을 사용하여 쿼드렛 타입의 점화기의 안정적 점화 여부를 검증하는 것도 포함된다. 점화 특성 파악을 위해 인젝터 상류의 매니폴드 압력, 연소실 압력이 측정되었고 점화 과정 및 정상 상태로의 천이 과정에 대한 간접적 증거로서 화염 길이가 측정되었다.