• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.31-33
• /
• 2002

이동 분산 실시간 시스템(MDRTS:Mobile Distributed Real-Time System)은 특정 시간 내에 분산 네트워크를 통한 정보 교환 및 요구된 동작을 실행한다. 그리고 경로, 시간 및 속력에 관한 제약사항에 따라 머신이 이동하는 시스템이다. 본 논문은 MDRTS에서 발생되는 머신의 이동을 분석하기 위해, PATM[1]에 위치 공간 개념을 추가하여 확장한 DATM(Distributed Abstract Timed Machine)을 정의한다. 머신의 이동과 이동을 제약하는 사항들, 경로, 시간 및 속력 등을 나타내는 표현법을 정의하며, 각 제약 사항에 따른 이동에 관한 규칙을 기술한다.

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

Linux는 페이지 기반의 가상 메모리 시스템이다. 따라서 메모리가 부족할 때에는 페이지 대치 알고리즘(page replacement algorithm)에 의해 선택된 페이지가 하드디스크로 대치되게 된다. 실시간 시스템에서 이와 같은 페이지 대치가 발생하면 실시간 제약조건을 만족하지 못할 가능성이 크므로 실시간 시스템에서는 이에 맞는 대치 알고리즘이 개발되어야 한다. 본 논문에서는 연성 실시간 시스템에 적합한 N-Chance 기법을 이용한 새로운 페이지 대치 알고리즘을 제안하고 성능을 평가하였다. 새로운 페이지 대치 알고리즘은 기존의 Linux에서 사용하는 second chance 알고리즘을 수정한 것이다. 기존의 알고리즘은 페이지를 대치함에 있어서 사용되지 않는 페이지에 2번의 기회를 준 후 하드디스크로 쫓아내는 방법인데 반하여 본 논문에서 제안하는 방법은 페이지를 사용하는 프로세스가 실시간 프로세스인지 아닌지에 따라서 기회를 주는 횟수를 달리하는 방법이다. N-chance 알고리즘을 사용했을 경우 실시간 제약 조건을 비교적 충족시키면서도 무조건적인 lock으로 인한 메모리 사용의 부담을 줄일 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• pp.452-454
• /
• 2003

기존의 실시간 에이전트 환경에서는 에이전트 구조에서 고려하지 않았던 높은 복잡성의 문제를 해결하기에 환경에 대한 고려가 부족하여 구현 시 충분한 지침으로 상기에는 부족하거나 적합하지 않았다. 본 논문에서는 이러한 고려하여야 할 환경에서 필요한 요소들을 기존의 계층기반 에이전트 구조를 보완한 혼합형 구조를 이용하여 행위 기 반 구조를 설계하고 구현하였다. 분산적이며 실시간으로 동작하는 환경에서는 효율적이고 범용적으로 사용 할 수 있는 행위 기반 구조가 요구된다. 본 논문에서 제시하는 에이전트 구조는 행위의 논리적 상하계층에 중점을 둔 계층별 분류를 사용하지 않고. 범주 분류한 RtABCM을 사용하여 복잡한 실시간 환경에 유연하게 적응할 수 있는 구조를 제안하였다. 이를 통하여 계층의 단계와 병렬적으로 진행이 가능한 동일한 계층 행위의 수에 제약을 두지 않게 되어 정적인 계층 구조에서 오는 제약의 한계를 극복하고 있다. 또한 행위의 객체화와 이를 위한 구성 요소의 지원으로 실시간 환경에 대한 다중의 행위나 계획 진행에 대한 유연한 진행. 양방향성을 지원하는 확장된 행위모델. 설계와 구현에 있어 자유롭고 유연한 모델을 제시하고 있다. 본 논문에서는 RtABCM에 적응한 행위기반 구조를 실시간 에이전트 환경인 GameBots에 적용시켜 구조의 실시간 환경에 대한 적응성을 증명하고 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.1445-1448
• /
• 2005

실시간 시스템은 높은 수준의 안정성을 요구하는 시스템이다. 실시간 시스템에서 오류는 잘못된 응답 뿐만 아니라 시간적으로 늦은 응답도 오류를 발생 시킬 수 있다. 따라서 실시간 시스템의 안정성을 보장해 주기 위해서 실시간 태스크의 시간 제약에 대한 모니터링 및 오류발생 시에 오류를 처리해 줄 수 있는 기법이 필요하다. 본 논문은 Timed Conformance Monitor를 통해서 실시간 태스크가 시간의 제약을 만족하는지를 분석하고 또한 분석 결과에 따라 오류를 처리할 수 있는 Fault Handler를 추가하여 실시간 시스템에 대한 Fault Tolerance를 보장해 줄 수 있는 기법을 제시한다.

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

컴퓨터 시스템의 등장 이래로, 함수 인라이닝 기법은 함수 지향형 프로그래밍 언어에서 코드 크기의 증가와 함께 실행 시간을 감소시키는 하나의 기법으로 사용되어왔다. 이에 반하여, 함수 아웃라이닝 기법은 실행 시간을 증가시키지만 코드 크기의 감소를 가져온다. 기존 범용 컴퓨터 시스템은 코드를 저장하는 저장장치의 크기에 큰 제약이 없었기 때문에, 함수 아웃라이닝 기법은 그리 널리 쓰이지 않았다. 그러나 최근의 무선 센서 네트워크 분야의 연구를 통하여 범용 컴퓨터 시스템에서는 찾아보기 어려웠던 코드 영역의 자원 제약이 심화되었고, 이에 따라 함수 아웃라이닝 기법이 보다 의미를 갖게 되었다. 특히, 실시간 응답을 요구받는 센서 운영체제는 코드 공간의 제약 하에서 실시간 작업 처리를 수행할 수 있어야 한다. 본 논문에서는, 함수 아웃라이닝 기법을 통하여 실시간 센서 운영체제의 여유 시간(laxity time)을 활용하면서 코드의 크기를 감소시키는 방법을 제안한다. 이를 통하여, 코드 공간의 제약 상황을 보다 완화할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.104-106
• /
• 1998

멀티미디어 응용은 시간 제약 조건을 가지며, 이를 만족시키는 실시간 스케줄러는 멀티미디어를 지원하는 운영체제의 필수적인 요소이다. 본 논문에서 제안하는 실시간 스케줄링 기법은 시간 제약 조건의 명세를 이용하여 멀티미디어 응용들의 수행시간과 지연 시간 변동폭의 상한을 보장한다. 응용은 그 주기와 수행시간을 명세하며, 스케줄러는 수행률에 기반하여 응용들을 스케쥴한다. 또한 본 논문에서는 제안된 스케줄링 기법을 RT-MACH[6] 운영체제 상에서 구현하여 실제로 수행시간과 지연시간 변동폭의 상한이 보장됨을 보인다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.566-568
• /
• 1999

본 논문에서는 실시간 시스템의 시간 제약이 제대로 만족되는가를 시스템 수행 중에 감시하는 수행시간 모니터를 구현하기 위한 환경으로 실시간 객체 모델인 TMO(Time-triggered Message-triggered Object) 모델과 Windows 98NT 상의 TMO 프로그램 실행 환경인 WTMOS(Windows TMO System)를 이용한다. 모니터의 대상과 모니터하는 조건을 TMO 프로그램에 명시하는 방법이 연구되었고 정의된 모니터 기능을 WTMOS 내부와 TMO 형태의 응용 객체로 분산시켜서 적은 비용으로 모니터 시스템을 구축하는 효과적인 방법이 개발되었다.

• 전기전자학회논문지
• /
• 제5권2호
• /
• pp.164-173
• /
• 2001

본 논문은 독립적으로 움직이면서 시간 제약을 만족시키는 새로운 내장형 실시간 시스템을 설계하며 구현하였다. 본 논문에서의 실시간 시스템 커널은 시간적인 요소를 가장 핵심으로 고려하여 설계되었다. 따라서 실시간 커널은 작은 용량을 가지며 빠르게 예측하며, 실시간 스케줄링에 요구되는 많은 변화들을 통해서 실시간 커널에 융통성을 부여한다. 제안한 실시간 커널은 경성 실시간 제약 조건인 인터럽트 지연 시간, 스케줄링의 정확성, 메시지 전달시간을 만족하기 위하여 실시간 커널에는 실시간 태스크 처리와 인터럽트 처리, 타이밍을 처리하도록 하였고 비 실시간 커널은 일반적인 태스크를 처리하도록 하였다. 제안된 실시간 시스템은 RT-Linux, QNX와 인터럽트 지연, 스케줄링 정확성, 메시지 전달시간 등을 비교 분석하여 효율성을 입증하였다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 1998년도 추계학술발표논문집
• /
• pp.95-99
• /
• 1998

대부분의 정보는 시간 제약을 가지므로 사용자는 필요 정보를 일정 시간 내에 얻어야만 한다. 시간적 제약을 가진 정보를 적절하게 서비스하려면 분산된 정보를 실시간에 검색하고 서비스해 주는 실시간 검색시스템이 필요할 뿐 아니라, 필요에 따라 실시간으로 검색시스템의 정보를 갱신해 주어야 한다. 본 논문에서는 인터넷을 이용한 지역 특성에 맞는 인터넷 정보 시스템 모델을 제안하고, 지역정보망을 위한 실시간 제어 검색엔진을 설계 및 구현하였다. 따라서 분산되어 있는 정보를 쉽게 모아서 갱신해 줄 수 있는 지능적인 로봇의 구현과 주기적으로 네트워크의 부하를 모니터링하고 모니터링한 데이터를 기반으로 로봇의 동작 정책을 수립하여 전체 시스템의 성능을 향상시킬 수 있는 실시간 로봇제어 정책이 가능하다.

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

논리적 정확성과 시간적 제약의 만족을 중요시하는 실시간 시스템은 시간이 경과함에 따라 그 기능이 다른 것들로 변화되는 mode change를 요구할 수도 있으며, 그 시간적 제약의 엄격함에 따라 경성 실시간 시스템과 연성 실시간 시스템으로 나눌 수 있다. 유닉스 계열의 운영체제를 확장한 운영체제인 Linux는 연성 실시간을 지원하도록 개발되었으며 이 Linux에 최소의 변경을 가해 경성 실시간을 지원하기 위한 RTLinux가 개발되었다. RTLinux 버전 2.0은 다중 프로세서 시스템을 지원할 수 있도록 재 설계되었지만, 다중 프로세서 환경에서 주어진 태스크들을 각 프로세서에서 정확하고 효율적으로 실행시키기 위한 구체적인 프로세서할당 및 스케줄링 기능은 제공되지 않고 있다. 이러한 사항들을 만족시키기 위해 본 논문에서는 다중 프로세서 환경에서 mode change되는 태스크들이 각각의 mode 범위 내에서 정확하고 효율적으로 실행될 수 있도록 프로세서를 할당하고 스케줄링하는 RTLinux스케줄러를 제시하고 구현하였다.