• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.3
• /
• pp.193-201
• /
• 2001

실시간 GIS 응용 시스템에서는 기존의 GIS 응용 시스템에서 고려되지 않은 실시간 공간데이타와 실시간 공간 질의에 대한 처리가 필요하다. 실시간 공간 질의는 공간 연산이 전체 실행 시간에서 차지하는 시간비중이 크기 때문에 실시간 공간 데이타의 유효성을 유지하면서 실시간 공간 질의의 시간제약조건을 만족시킬 수 있는 질의 처리 기법이 요구된다. 본 논문에서는 실시간 공간 데이타와 실시간 공간 질의의 시간제약조건을 최대한 만족시키기 위해 실시간 연산을 위해 실시간 연산을 후배치 시키는 실시간 연산 후배치 기법을 제안한다. 제안된 기법은 연산의 재배치를 통해서 전체 질의 수행시간을 증가시키지 않으면서 실시간 공간 질의의 시간제약조건을 최대한 만족시킨다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.278-280
• /
• 1999

실시간 GIS 응용 프로그램에서는 기존의 GIS 시스템과는 달리 동적인 공간데이터가 신뢰성을 위해 일정한 시간 내에 갱신되어야 유효성을 유지하며, 사용자가 요청하는 질의는 일정 시간 내에 처리되어야 하는 시간제약조건을 갖는다. 이러한 GIS응용프로그램을 지원하기 위한 실시간 공간데이터베이스 시스템에서는 기존의 실시간 데이터베이스 시스템에서 고려되지 않은 동적 실시간 공간데이터와 실시간 공간질의에 대한 처리가 필요하며 질의 처리 시 실시간 데이터와 실시간트랜잭션의 시간제약조건의 만족을 초대화하기 위한 고려가 필요하다. 본 논문에서는 실시간 공간질의 처리 시 예측성을 최대화 하기 위해 질의에서 빈번히 사용되는 데이터를 주기억상주 데이터베이스에 저장하였고, 실시간 공간데이터의 관리를 위하여 공간질의어를 확장하였다. 또한 실시간 공간질의 처리 시에 실시간 데이터와 실시간트랜잭션의 시간제약조건을 최대한 만족시키기 위해 공간질의 분석과 연산 순서의 재배치 기법을 사용하였다.

• The Journal of Information Technology
• /
• v.4 no.2
• /
• pp.25-36
• /
• 2001

In this paper, we present the development of distributed dual real-time kernel system. This paper proposed that real-time applications should be split into small and simple parts with real-time constraints, Following this concept we have designed to preserve the properties of both hard real-time kernel and general kernel. To satisfy these properties, we designed real-time kernel and general kernel, that have their different properties. In real-time tasks, interrupt processing should be un. In general kernel, non real-time tasks or general tasks are run. We compared the results of this study for performance of the proposal real-time kernel with both RT Linux 0.5a and QNX 4.23A, that is, of interrupt latency scheduling precision and message passing.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.484-486
• /
• 1998

실시간 객체 지향 모델은 객체 지향 개념에 실시간 특성을 추가한 시스템 모델 개념이다. 이는 실시간 시스템에 적합한 모델을 제시하고 있다. 그러나, 대부분의 실시간 객체 지향 모델이 실시간 객체의 실시간 특성에 관련된 시간 명세를 전문자의 경험에 많이 의지하고 있다. 그리고, 실시간 자료, 메소드 및 메시지를 명확하게 구분하고 있지 않을 뿐 아니라 이들에 대한 시간 명세 표현도 부족한 형편이다. 따라서, 하나의 틀안에 실시간 객체의 실시간 특성을 모두 표현하고 이를 검증할 수 있는 방법이 필요하다. 본 논문에서는 실시간 객체의 실시간 특성을 표현하기 위해 실시간 자료 및 메소드 순차 차트와 시간 제약 사항 그래프를 제시하여 실시간 특성의 표현과 검증을 한다. 순차 차트는 실시간 객체의 실시간 자료, 메소드 및 메시지에 대한 시간 명세를 시간 구동 메소드 단위로 하나의 차트에 나타낸다. 시간 제약 사항 그래프는 순차 차트로부터 유추되어 실시간 메소드의 마감시간과 실시간 자료의 최대 유효 기간에 대한 시간 명세가 올바른지 그래프를 이용하여 검증할 수 있는 방법을 제시한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2007.10a
• /
• pp.887-890
• /
• 2007

For a integrated system to control several parking lots within a commercial district, it is required to guide a route to a nearest neighbor parking lot considering diverse realtime constraints such as realtime status of parking lots and changes of an access route. This paper proposes an optimized route-searching technique of integrated parking control system considering realtime contraints. In concrete, it proposes a method of researching a route in the surrounding area considering various status of parking lots that a customer designates (no parking, closed, under construction, no passing of a road) and deals with a route-searching technique optimized for each situation in detail.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.8
• /
• pp.1937-1947
• /
• 1996

In the case of developing the real-time system using object-oriented method, k the problem of the timing constraints is certainly considered. we propose the method of modeling the object-oriented real-time system using the OMT methodology and the SDL. And we also present the predictable time table that reflects the constraints of real-time system into dynamic model of OMTs and the predicatable time formula of the sequence, repeat, and parallel routine. The proposed method is applied to the estimate of the maximum process time of the ATMs(Automatic teller machines) and is used to specifying the functional specification for the user interface of the ATMs using the SDL syntax and the object interaction graph.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.166-169
• /
• 2011

안전성이 중요한 실시간 내장형 시스템인 유도조종장치에서 시간 제약성을 만족하는 것은 매우 중요한 문제이다. 기존 유도조종장치 소프트웨어 개발에서는 주로 테스트 단계에서 시간 제약성 만족을 확인한다. 하지만 이 방법은 늦은 오류의 발견으로 인해 전체 소프트웨어 개발 비용이 커질 가능성이 있다. 이러한 단점을 극복하기위해 본 논문에서는 설계 단계에 정형 기법을 적용하여 유도조총장치 소프트웨어의 시간 제약성을 검증하고자 한다. 이를 위해서 실시간 시스템에 대한 모델링과 검증을 지원하는 TIMES 도구를 유도조종장치 소프트웨어 설계에 적용하는 사례 연구를 수혈하고 그 결과를 분석 및 평가하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.1543-1546
• /
• 2010

현재 방송국이 제작하는 방송이 아닌 개인이 제작하는 방송은 인터넷 환경에서 생겨났고 발전해왔다. 이에 따라 개인 역시 불특정 다수에게 시간적 제약 없이 방송을 할 수 있다. 하지만 여전히 인터넷이 지원되는 컴퓨터 단말 앞에서라는 공간적 제약이 존재한다. 본 논문에서는 이러한 공간적 제약을 극복하고자 장소에 구애받지 않는 모바일 환경에서 단말 대 단말 실시간 이미지 전송 기법을 제안하여 실시간 방송을 가능하게 하였다. 안드로이드 환경에서 제안한 본 기법은 무선 인터넷(Wi-Fi)이 지원되는 환경이라면 어디든 가능하다는 점에서 공간적 제약이 없어져 효율적이다. 성능평가 결과 안정적인 무선 인터넷이 지원되는 환경에서 지연시간 5000ms이상일 때 100프레임 당 10번 이하의 깜박임 현상(끊김 현상)이 나타나 안정적으로 동작 하는 것을 확인하였다.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.6 no.4
• /
• pp.369-375
• /
• 2001

This paper proposes a dual real-time scheduling design under real-time constraints kernel environments. In this paper, we have designed both the real-time kernel and the general kernel that have their different properties to satisfy these properties, that is, interrupt latency, scheduling precision, and message passing. In real-time tasks, interrupt processing should be run. In general kernel, non real-time tasks or general tasks are run. Also, when tasks conflict, it executed the mixed priority scheduling that non real-time kernel executed static scheduling and real-time kernel executed dynamic priority transformation scheduling, that is, least-laxity-first/minimization preemption scheduling. We have compared the results of this study for performance of the proposal real-time kernel with both RT Linux 0.5a and QNX 4.23A, that is, of interrupt latency scheduling precision and message passing.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.143-146
• /
• 2002

이동 전화로의 실시간 영상 전송 방법의 개념은 긴급상태 발생시 이동 전화에 빠른 경보기능과 현장의 상황을 실시간 영상 전송함으로서 사용자가 긴급상황에 따른 대책을 신속 정확히 할 수 있는 것을 의미한다. 하지만 이동 단말기 시스템 사양과 무선 인터넷 환경의 제약에 의해서 실시간으로 영상을 관측하기에는 다소 곤란하다. 즉 제한된 자원과 협소한 대역폭의 무선 인터넷 환경제약 등을 받는다. 이러한 환경 제약에서 사용자가 만족할 만한 서비스를 하기 위해서는 이동 전화에서 처리할 데이터 양을 최소화하고, 전송할 데이터의 앙도 최소화하는 방법이 유일한 대안이다. 이 논문에서는 실시간으로 캡쳐한 영상을 이동 전화에 전송하기 위하여 영상에서 픽셀의 평균 임계 값을 기준으로 WBMP로 변환하고, WAP PULL 과 PUSH 서비스 기반으로 영상을 실시간 전송하는 방법을 제안한다. 또한 캡쳐한 영상을 WBMP 포맷으로 변환하는 영상변환 필터 (WBMPFilter) 방법과 경보 상황 통보 및 영상을 전송할 수 있는 영상 전송 미디움(WirelessMedium) 방법에 대해 기술한다.