• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 The Korea Society for Simulation 98 춘계학술대회 논문집
• /
• pp.6-10
• /
• 1998

RTO(Real-time Object) 모델로 불리는 실시간 객체지향 모델은 컴퓨터에 의해 제어되는 실시간 제어기 및 이의 응용 환경 시뮬레이터를 정밀하게 표현하는데 유용한 모델로 정착되었다. 이 모델은 실시간 분산 컴퓨터 시스템과 이의 응용 환경에 대한 실시간 시뮬레이터를 통합적으로 설계하는데 강력한 표현력을 보여주고 있다. RTO 기반의 접근 방법에 의한 통합 설계는 RTO로 불리는 객체의 네트워크 형태로 표현된다. 본 논문에서는 이와 같은 설계 방법을 자동판두께제어기(Automatic Gauge Controller, AGC)라고 불리는 실시간 분산 시스템의 설계 사례를 통해 제시하고자 한다. AGC 시스템은 압연공정 제어기로서 압연공정 실시간 시뮬레이터의 소재 이송 및 압하 공정을 제어한다. 설계과정을 통해서 실시간 분산 시스템 명세의 추상화 방법에 대하여 논하고, 네트워크의 구축 과정을 통한 시뮬레이션 모델의 정밀한 표현 방법을 제시하며, RTO의 분산구조 및 명확하고 엄밀한 실시간 설계 방법에 대하여 논한다.

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

정시 서비스를 제공하는 실시간 시스템을 설계할 때 일반성을 지니도록 하기 위하여 실시간 객체인 TMO(Time-triggered Message-triggered Object) 모델이 연구되었으며 이러한 객체를 수행하기 위한 객체 모델 수행 플렛폼이 다양한 환경에서 개발되었다. 본 논문에서는 최근 들어 많은 주목을 받고 있는 리눅스 환경에서 설계 및 구현된 미들웨어 형태의 실시간 객체 모델 수행 플렛폼 LTMOS(Linux TMO System)에 대해 기술한다. 응용 프로그램 개발자가 실시간 시스템을 TMO 모델로 디자인하면 LTMOS는 TMO의 메쏘드를 리눅스의 쓰레드로 매핑하여 리눅스 커널의 실시간 스케쥴링을 받도록 한다.

• 정보기술과데이타베이스저널
• /
• 제4권1호
• /
• pp.81-92
• /
• 1997

실시간 분산 시뮬레이션 응용을 개발할 때 시뮬레이션 대상의 시간적 행동 및 분산 노드간 상호작용의 복잡성 때문에 모델 개발에 어려움이 있다. 그러나 실시간 분산 객체(RTO)를 기반으로 하여 시뮬레이션 모델을 설계할 때 모델의 시간적 행동의 표현이 자연스러워지고 설계의 명확성을 가져다준다. 본 연구에서는 RTO 모델을 이용하여 압연공정 제어시스템 실시간 시뮬레이션 모델을 설계 구현하였다. 구현 과정에서 RTO 접근방법이 설계의 자연스러움, 설계 명세의 단순 명확화, 시간적 행동 표현의 복잡성 제거, 객체의 노드분산 용이성 등 많은 장점을 가지고 있음을 확인하였다. 이 방법은 보다 복잡하고 규모가 큰 실시갈 분산 시뮬레이션에 효과적으로 적용할 수 있다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2002년도 춘계학술대회논문집
• /
• pp.189-195
• /
• 2002

궤도차량 운동의 실시간 시뮬레이션을 위해서 실시간 시간제약 조건을 만족하기 위한 모델링을 시도하였다. 단위 블록 열차로 연결된 전체 차체를 질점으로 가정하여 모델을 단순화함으로써 차량 설계 시 사용되는 궤도 차량 모델보다 실시간성을 향상시키고자 하였다. 당 모델에서 궤도차량의 운동은 트랙의 형상에 구속되는데, 차량의 운동 궤적은 궤도의 형상에 의해 결정된다. 단, 매 단위 시간마다에서 궤도 차량의 위치는 뉴턴의 제2법칙으로 결정된다. 본 모델링은 몇 개의 단위 트랙을 설정하여 이들의 조합으로 전체트랙을 설계할 수 있도록 사용자가 임의로 설계한 전체트랙에서 바로 실시간으로 시뮬레이션할 수 있는 특징을 갖는다. 당 궤도차량 운동 모델은 전동차, 철도, 롤러코스터의 궤도 설계 등에 사용될 수 있으며, 주 용도는 롤러코스터 게임 시뮬레이터에서 동 특성을 비교적 엄밀하게 시뮬레이션 하는데 있다.

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

최근 무인항공기는 정찰임무를 포함하여, 기상관측, 해상관측 등의 여러 임무로 사용되고 있으며, 점점 활용도가 높아지고 있다. 이러한 무인항공기 제어시스템은 과거에 비해 복잡도가 증가했으며, 보다 정밀한 실시간 제어가 요구되고 있다. 이러한 제어시스템을 위한 객체지향 설계방법론은 복잡한 모델에 대한 분석을 보다 빠르게 해주고, 재사용이 가능한 시스템 구축을 가능하게 해 줄 것이다. 이러한 목적을 위해 본 논문에서는 실시간 객체 모델인 TMO모델을 사용하여 시스템을 설계하고, TMO모델을 지원해 주는 리눅스 기반의 미들웨어를 사용하여 무인항공기 제어 시스템을 구현함으로써, 정밀한 실시간 제어시스템에 대한 TMO모델의 적합성을 판단하고, TMO모델 지원 미들웨어의 성능을 평가해 본다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2010년도 한국컴퓨터종합학술대회논문집 Vol.37 No.1(B)
• /
• pp.136-139
• /
• 2010

실시간 시스템에서는 계산 결과의 논리적 정확성과 결과가 산출되는 시간의 정확성을 요구한다. 이러한 요구사항을 지원하기 위해 UCI Dream Lab에서 제안한 적시 서비스 능력을 보장하는 실시간 객체인 TMO 객체를 토대로 자동 코드 생성기의 설계를 제시한다. 기존의 모델 기반 개발방법론은 시스템을 추상화하고 그 모델을 상세화 과정을 거쳐 구현에 필요한 정보를 갖게 되고, 이를 바탕으로 자동으로 코드를 생성 할 수 있게 된다. 기존의 도구들은 표준 UML을 사용하고, 표준 UML은 시간 제약 조건을 기술하는 방법을 제공하지 않기 때문에 이에 따라 개발된 실시간 시스템 코드 자동 생성기는 완전한 코드를 생성하지 못한다. 본 논문에서는 실시간 시스템 개발에 모델 기반 개발방법론을 적용하기 위해 TMO객체를 이용하여 기존 UML 모델의 구조 모델과 행위 모델에 실시간 특성을 추가해 확장하고 확장된 모델을 토대로 자동 코드 생성기의 설계를 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.267-270
• /
• 2004

실시간 운영체제는 임베디드 환경에서 매우 중요한 소프트웨어 컴포넌트이다. 임베디드 실시간 운영체제는 고안전성 시스템이나 유비쿼터스 시스템 내에서 강하고(Robust), 신뢰성(Reliable)있고, 안전한(Safety) 특성을 지녀야 한다. 근래에는 이러한 실시간 시스템을 UML 과 같은 모델 기반의 방법으로 설계하고 코드 생성을 통해 구현까지 이끄는 모델 유도 공학(Model Driven Engineering: MDE)[1]을 통해서 개발하고 있다. 이러한 MDE 의 모델은 대부분 UML 기반의 언어를 사용하여 아키텍처를 구성하고 설계하여 코드를 생성하여 구현 코드를 생성해 낸다. 본 논문에서는 이러한 MDE 의 비정형적 언어를 대신하여, 정형명세 언어를 사용하여 실시간 시스템의 모델을 설계하고 이를 검증하여 실시간 운영체제를 개발하는 방법론을 기술한다. 이렇게 함으로써 보다 엄격한 언어를 통해 시스템의 설계의 모호함이나 모순을 없애고, 수학적 기반의 검증을 통해 보다 안전하고 신뢰성 있는 시스템을 구현하자 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 춘계학술발표논문집 (상)
• /
• pp.149-152
• /
• 2003

본 논문에서는 분산 실시간 서비스를 지원하는 TMO(Time-triggered Message-triggered Object) 객체를 기반으로 정보가전 기기들을 관리하기 위한 실시간 정보가전 제어 시뮬레이터를 설계 및 구현한다. TMO객체는 기존 객체를 확장한 실시간 특성을 자체적으로 가지는 객체를 UCI의 DREAM연구소에서 제안한 분산 실시간 객체이다. 이러한 TMO 객체를 기반으로 TMOSM(TMO Support Middelware) 상에서 실시간 정보가전 제어를 위한 TMO 객체들의 상호 동작과 실시간 속성을 설계하여 보장된 실시간 서비스를 지원하도록 한다. 본 시뮬레이션 모델은 온도제어, 조도제어, 방법제어 서비스를 지원하는 컴포넌트들로 구성된다. 온도제어 서비스를 위해 Fan_TMO와 Air_Conditioner_TMO, Heater_TMO가 상호 작용하여 적정 실내 온도를 유지하도록 하며, 조도제어 서비스를 위해 Light_TMO가 조도의 변화에 따라 동작하여 일상생활에 적당한 조명 환경을 제공한다. 또한 방범제어서비스를 위해 Camera_TMO가 정해진 시간을 주기적으로 동작하여 방범 활동을 수행한다. 그리고, 각각의 TMO 정보가전 객체들의 동작을 관리하고 서비스 수행 결과를 모니터링 하는 Home_Server_TMO가 존재한다. 마지막으로 설계된 시뮬레이션 환경을 구현하여 본 모델의 실시간 정보가전 제어 서비스를 정확하게 지원하는지를 검증한다. 제안한 시뮬레이션 환경은 일반 정보가전기기를 추가 작업 없이 실시간 서비스 지원 객체로 적용할 수 있는 모델이다.

• 한국정보처리학회논문지
• /
• 제5권3호
• /
• pp.795-810
• /
• 1998

현재, 컴퓨터를 사용하는 실시간 시스템의 응용분야에 대한 요구가 급속히 증가하고 있다. 그러나 이러한 실시간 시스템의 개발은 체계적인 접근방법이 부족하다는 이유로 더디게 진행되고 있다. 체계적인 접근방법의 하나는 실시간 시스템의 시간적인 특성과 기능적인 행동을 잘 추상화 해 줄 수 있는 좋은 모델을 사용하는 것이다. 지금까지 객체지향 개념에 기반한 많은 모델들이 개발되어 소개되고 있다. 그 중 UCI에서 개발된 TMO (Time-triggered Message-triggered Object) 모델은 위에서 언급한 요구사항을 잘 만족시켜 준다. [1]본 논문에서는 이러한 TMO 모델을 가장 잘 명세해 줄 수 있도록 해 주는 TMO 모델 명세언어인 C++T를 설계하고 이에 대해 상세히 기술한다. 또한, 이러한 C++T 명세를 기존의 언어인 C++로 번역해 줄 수 있는 C++T번역기를 설계하고 개발한다. 마지막으로, TMO 명세언어 C++T를 기반으로 한 TMO 통합개발환경에 대하여 소개한다.

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

멀티미디어를 실시간으로 서비스하는 비디오 서버의 설계 시, 네크워크 가용공간, 버퍼 공간 및 디스크 전송률 등이 고려되어야 하며, 특히 버퍼 공간과 디스크 전송률을 동시게 고려하는 기법이 제시되었지만, VOD 서버에서는 보통 MPEG데이터가 VBR 형식으로 되어 있기 때문에 CBR로 모델링하면 시스템의 가용성이 떨어지게 된다. 또한 수용제어를 위한 버퍼 예약기법에서는 VBR 형태로 데이터를 모델링하는 기법들이 제시되었지만, 이 경우에도 디스크 전송률을 계산할 때는 CBR형식으로 가정하거나 아예 고려를 하지 않기 때문에 역시 시스템 자원을 효율적으로 사용할 수 없다. 본 논문에서는 VBR 비디오 서버의 설계를 위하여 서버에서 처리되는 각 스트림들을 하드 실시간 태스크 모델로 모델링하고 실시간 태스크들을 효율적으로 처리할 수 있는 실시간 스케쥴링 알고리즘을 제안한다. 이 실시간 스케쥴링 알고리즘을 디스크 액세스의 승인제어, 디스크 스케쥴링, 버퍼 관리에 이용하므로서 연속성을 보장할 수 있는 효율적인 VBR 연속 미디어 서버를 설계할 수 있다. 비디오 서버의 성능은 시뮬레이션을 이용하여 분석하였다.