• Journal of Korea Multimedia Society
• /
• v.3 no.1
• /
• pp.77-90
• /
• 2000

Real-Time verification is a procedure that verifies the correctness of specification related to requirement in time as well as in logic. One serious problem encountered in the verification task is that the state space grows exponentially owing to the unboundedness of time, which is termed the state space explosion problem. In this paper, we propose a real-time verification technique checking the correctness of specification by showing that a system model described in timed automata is equivalent to the characteristic of system property specified in timed modal-mu calculus. For this, we propose a local model checking method based on the value of the formula in initial state with constructing product graph concerned to only the nodes needed for verification process. Since this method does not search for every state of system model, the state space is reduced drastically so that the proposed method can be applied effectively to real-time system verification.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.2
• /
• pp.152-160
• /
• 2013

This paper proposes a prediction reputation system for the anti-SPIT solution in real-time VoIP environment. The existing schemes need to get the user's feedback and/or have experienced the time delay and overload as session initiates due to real-time operation. To solve these problems, the proposed scheme predicts the reputation through the statistical analysis based on the period of session initiation of each caller and the call duration of each receiver. As per the second mentioned problem, this scheme performs the prediction before session initiation, therefore, it's proper for real-time VoIP environment.

• The Journal of the Acoustical Society of Korea
• /
• v.21 no.4
• /
• pp.349-360
• /
• 2002

In ITU H.323 teleconference system, the RTP/RTCP protocol is offered to transfer real-time multimedia stream. Both sender and receiver hate experience in packet loss and jitter which result from network congestion over Internet. Audio quality over Internet depends on the number of lost packets and on jitter between successive packets. The goal of our study is to improve the speech quality over Internet by checking the packet loss characteristics of the network and adopting the but for control management mechanism at the receiver. We suggest a dynamic redundant audio transmission mechanism which examines the packet loss rate and uses the feedback information through RTCP.

• Journal of Korea Multimedia Society
• /
• v.5 no.6
• /
• pp.625-637
• /
• 2002

The Internet had been taken properties which were both a slow speed and low-bandwidth of the first time. It was impossible to transmit large multimedia data because of a Internet properties. After tens of Year Passed, many people began to transmit multimedia data in the Internet which had fast-speed and high-bandwidth. Some people want to team classes to be taught in school through the Internet. And, educators wish to use multimedia data in the educational field. Due to previous reasons, many parts in the educational field had tried to join real-time objects to multimedia objects. But, real-time data didn’t appear easily due to many faults like network errors and system bugs if we want to control data in order to teach and learn classes. Then, this paper separates real-time and unreal-time data and controls these data that aye made a time scheduler to have time information in the extended SMIL-file for deceasing these faults.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.17 no.4
• /
• pp.219-224
• /
• 2017

In facing the lack of a deterministic algorithm for economic load dispatch optimization problem, only non-deterministic heuristic algorithms have been suggested. Worse still, there is a near deficiency of research devoted to real-time load dispatch optimization algorithm. In this paper, therefore, I devise a shut-off and swap algorithm to solve real-time load dispatch optimization problem. With this algorithm in place, generators with maximum cost-per-unit generation power are to be shut off. The proposed shut-off criteria use only quadratic function in power generation cost function without valve effect nonlinear absolute function. When applied to the most prevalent economic load dispatch benchmark data, the proposed algorithm is proven to largely reduce the power cost of known algorithms.

• Journal of The Korean Association of Information Education
• /
• v.8 no.2
• /
• pp.251-259
• /
• 2004

Widespread internet service has brought many changes to modern life. Internet installed at school and intra-school computer network presented various education activities such as web-based instruction, immediate evaluation, and management of progress in studying. In this paper an essay question evaluation system for web service is studied for rapid measurement of accomplishment of student. This system provides evaluation of answers consisting a simple sentence and not demanding one word. If an essay question has exactly specified answer sheets and scoring criterion, this system give highly accurate scoring results, which shows nearly the same scoring of a teacher, needs very short time for evaluation, and represents real-time feed back result, so it is expected very high efficiency for the evaluation of an essay question.

• Annual Conference of KIPS
• /
• 2005.11a
• /
• pp.263-266
• /
• 2005

실시간 시스템은 시간적 정확성을 갖기 때문에 소형 임베디드 시스템부터 대형 분산 시스템까지 많은 분야에서 사용되고 실시간 시스템을 기반으로 하는 실시간 프로그램도 많은 분야에서 사용되고 있다. 이러한 실시간 프로그램의 시간적 특성을 지키기 위해 개발자들은 프로그램 개발에 집중하지 못하고 실행시간의 정의와 정의한 실행시간의 정확성 검사에 많은 시간을 보내고 있다. 실시간 시스템에 대한 연구 결과로서 TMO 모델은 실시간 개념에 따른 시간 처리의 다양한 기능을 지원하고, 응답시간을 보장하여 개발자가 프로그램 개발에 집중할 수 있다. 하지만, 실행시간의 정의는 개발자에 의해 이루어지기 때문에 이를 정의하고 그 정확성 여부를 확인하는 작업은 어렵다. 이러한 문제로 인하여 실행시간 정의의 기준점을 제시할 수 있는 도구가 필요하지만 이를 위한 TMO 분석 도구에 대한 연구는 미흡하다. 이에 본 논문에서는 TMO 기반 정적 분석 도구를 위한 PS-Block을 제시한다. PS-Block은 블록 단위로 실행시간을 분석할 수 있는 기반으로써 프로그램을 작업 단위로 분리하여 분석할 수 있도록 한다. 이를 기반으로 실행시간을 분석하여 시간 정보 결정의 기준으로 하고, 실시간 메소드의 적시성 확인을 쉽게 함으로써 실시간/신뢰성의 향상과 개발 기간을 단축할 수 있다.

• Annual Conference of KIPS
• /
• 2002.11a
• /
• pp.555-558
• /
• 2002

실시간 시스템의 개발 및 운영에 사용되는 실시간 운영체제는 여러 개의 태스크가 동시에 작업할 수 있는 멀티태스킹 환경과 각 태스크에 우선순위를 부여하여 가장 높은 우선순위의 태스크가 CPU 를 선점하는 스케줄링 방법, 태스크간 동기화 및 통신을 위한 메커니즘을 제공하고 있다. 그리고 여러 태스크들에 의해 사용되는 공유자원을 관리하기 위해 세마포어를 사용하여 태스크간에 동기화를 제공한다. 하지만 세마포어만으로 공유자원을 관리하게 되면 더 높은 우선순위의 태스크가 실행 준비 되어 있음에도 불구하고 상대적으로 낮은 우선순위의 태스크가 CPU 를 선점하는 우선순위 역전이 발생하여 실시간 운영체제의 핵심인 시간 결정성을 만족하지 못해 시스템에 심각한 문제를 발생 시킬 수 있다. 본 논문에서는 실시간 운영체제인 $iRTOS^{TM}$에서 우선순위 역전을 예방하기 위한 방법중 하나인 Priority Ceiling Protocol을 이용한 Mutual Exclusion Semaphore를 설계하고 구현한 내용을 기술한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2016.07a
• /
• pp.27-28
• /
• 2016

실시간 렌더링 시스템에서 시야를 변경하는 속도가 증가할수록 FPS(Frame Per Second)가 감소하는 문제가 발생한다. 이에 따라 시야 변경이 증가할수록 감소하는 FPS를 향상하기 위한 렌더링 최적화 기술이 요구되며, 본 논문에서는 동적 LOD(Level of Detail)와 컬링 기술을 적용하여 실시간 렌더링 과정에서 렌더링 데이터를 감소함으로써 저하되는 FPS를 증가시키기 위한 렌더링 최적화 기법과 HMD(Helmet Mounted Display)의 움직임에 따라 변경된 시야각을 적용한 OSG(Open Scene Graph) 기반 실시간 렌더링 시스템을 제시한다.

• Annual Conference of KIPS
• /
• 2006.05a
• /
• pp.199-202
• /
• 2006

실시간 시스템에서는 정해진 시간 안에 작업을 수행해야 하는 것이 가장 중요하다. 때문에 실시간 시스템에서의 응답시간 위반은 물질 또는 인명 피해와 직결된다. 이에 응답시간을 보장하기 위해 실시간 시스템을 분석하는 기법들에 대한 많은 연구가 진행되었다. 그러나 기존의 분석 방법들은 최악실행시간을 도출하기위해 실시간 프로그램의 흐름을 분석하거나 분석을 위한 제약을 생성할 때 부하가 생기는 문제점을 가지고 있다. 이러한 문제를 해결하기 위하여 본 논문에서는 프로그램에서 나타나는 함수 또는 변수 등이 중복해서 사용되는 특성들을 이용하여 실행시간 분석에 대한 부하를 줄일 수 있는 방법을 제안하고, 제안한 방법을 기반으로 실시간 프로그램에서 실행시간을 예측할 때 필요한 기본 자료들을 도출할 수 있는 소스코드 분석 도구를 제안한다.