• KIISE Transactions on Computing Practices
• /
• v.21 no.9
• /
• pp.604-609
• /
• 2015

The use of Operating System(OS) virtualization is increasing as it provides many useful features such as efficient use of hardware(HW), easy system migration, and isolation between virtual spaces which prevents errors effecting each other. Recent development in HW has made it possible to use OS virtualization in embedded systems. However, implementing OS virtualization means that a multiple number of schedulers are layered in a system, rendering it difficult to analyze the schedulability of the system and errors are easily produced. Errors in safety critical embedded systems can cause serious damage to life and property; thus, the hierarchical schedulability must be verified. In this paper, we propose a framework which supports formal modeling and verification of hierarchical scheduling systems with UPPAAL.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.497-502
• /
• 2010

조합형 실시간 스케줄링은 계층적으로 구성된 실시간 시스템에 대해 실시간성을 보장할 수 있는 방법을 제공한다. 조합형 스케줄링 이론을 통해 여러 개의 실시간 태스크를 하나의 실시간 태스크로 묶어 스케줄링 할 수 있으며, 실시간 보장을 위해 필요한 CPU 요구량을 계산하였다. 하지만, 양자화에 대한 고려가 없어, 틱-기반 스케줄링 시스템에서 정확한 CPU 요구량을 계산할 수 없다. 따라서, 본 연구에서는 양자화에 따른 CPU 할당량의 영향을 정량적으로 보여준다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06d
• /
• pp.313-315
• /
• 2006

유비쿼터스 환경 하에서 사용자가 원하는 정보나 서비스를 실시간으로 제공하는 프로그램을 효과적으로 제공하기 위해서는 에이전트와 같이 자율적 수행 능력을 갖는 시스템과 다중 에이전트들간의 실시간 스케줄링 기능을 미들웨어 단계에서 효과적으로 지원하는 기능이 필수적이다. 본 논문에서는 분산객체 미들웨어에 에이전트 서비스 계층을 제공하고, 이러한 계층에 다중 에이전트를 기반으로 한 실시간 스케줄링 서비스를 지원할 수 있는 구조를 제시한다.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.40 no.12
• /
• pp.1-8
• /
• 2003

Scheduling technology is one of the most important elements required to support the Quality of service (QoS) in the Internet and a lot of scheduling algorithms have been developed. However, most of these algorithms ire not flexible to distribute the excess bandwidth. In order to provide flexibility for distributing the excess bandwidth, we proposed excess bandwidth fair queueing (EBFQ) algorithm with relatively low complexity. In this paper, we propose the new extension to this EBFQ algorithm for the hierarchical fair queueing system. This extension can be naturally applied to the existing hierarchical algorithm and simultaneously provide the same level of fairness. Through the simulation and analysis, we verify it.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.6
• /
• pp.1-9
• /
• 2007

We propose a novel framework for distributed resource management. The framework has the following novel features. First, the resource management system is distributed using resource content information that is characterized by system properties. We argue that a distributed system based on resource content is sufficient to satisfy specific scheduling requests for Quality of Service(QoS) considering workload balance across a grid. Second, the distributed system constructs a hierarchical peer-to-peer network. This peered network provides an efficient message routing mechanism. The simulation results demonstrate that the proposed framework is proficient to satisfy QoS in distributed environment.

• Journal of Korea Multimedia Society
• /
• v.11 no.5
• /
• pp.633-640
• /
• 2008

Sensor node clustering is one of the most popular research topics to reduce the energy of sensor nodes in wireless sensor networks. Previous researches, however, did not consider prediction effects of sensed environment information on TDMA scheduling of a cluster, resulting energy inefficiency. In this paper, we suggest an energy efficient cluster-based scheduling scheme that can be applied flexibly to many environment information systems. This scheme reflects the environment information obtained at the application layer to the MAC layer to set up the schedule of a cluster. The application layer information sets up the scheduling referring to the similarity of sensed data of cluster head. It determines the data transmission considering the result of similarity. We show that our scheme is more efficient than LEACH and LEACH-C in energy, which are popular clustering schemes, through simulation.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.640-642
• /
• 2004

에이전트 기반 시스템은 그동안 지능형 시스템의 구축을 위해 많이 사용되고 있었으며 최근 유비쿼터스 컴퓨팅 환경에서 context-aware computing을 통한 사물/사람/장소의 통합운영에 매우 중요한 소프트웨어적 특성을 갖고 있다. 본 논문에서는 실시간 미들웨어 시스템의 기반 위에 이러한 지능형 에이전트간 실시간 협업을 가능하게 하는 서비스 계층 설계를 제안한다. 이를 위해 기존에 많이 연구되었던 실시간 시스템과는 다른 연성 실시간 통신 시스템 및 스케줄링 서비스를 아울러 설명함으로써 에이전트간 통신 및 스케줄링 방법을 제시한다

• The Journal of the Korea Contents Association
• /
• v.6 no.2
• /
• pp.9-16
• /
• 2006

This paper proposes a scheduling algorithm for efficiently processing multimedia pakcet services in OFDMA physical system of the future broadband wireless access networks. The scheduling algorithm uses wireless channel state estimation, and allocates transmission rates after deciding transmission ordering based on class and priority policy. As the result, the proposed scheduling algorithm offers maximum throughput and minimum jitter for realtime services, and fairness for non-realtime services. In simulation study, the proposed algorithm proves superior performances than traditional round robin method.

• Journal of KIISE:Computer Systems and Theory
• /
• v.29 no.4
• /
• pp.201-212
• /
• 2002

This paper proposes a reconfigurable scheduler model that can support various real-time scheduling algorithms. The proposed model consists of two hierarchical upper and lower components, task scheduler and scheduling framework, respectively. The scheduling framework provides a job dispatcher and software timers. The task scheduler implements an appropriate scheduling algorithm, which supports a specific real-time application, based on the scheduling framework. If system developers observe internal kernel interfaces to communicate between two hierarchical components, they can implement a new scheduling algorithm independent of complex low kernel mechanism. Once a task scheduler is developed, it can be reused in a new real-time system in future. In Real-Time Linux (5), we implemented the proposed scheduling framework and several representative real-time scheduling algorithms. Throughout these implementations, we confirmed that a new scheduling algorithm could be developed independently without updates of complex low kernel modules. In order to confirm efficiency of the proposed model, we measured the performance of representative task schedulers. The results showed that the scheduling overhead of proposed model, which has two separated components, is similar to that of a classic monolithic kernel scheduler.

• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.10
• /
• pp.722-733
• /
• 2006

In scalable streaming application, there are two important knobs to tune to effectively exploit the underlying network resource and to maximize the user perceivable quality of service(QoS): layer selection and packet scheduling. In this work, we propose Semantics Aware Packet Scheduling (SAPS) algorithm to address these issues. Using packet dependency graph, SAPS algorithm selects a layer to maximize QoS. We aim at minimizing distortion in selecting layers. In inter-frame coded video streaming, minimizing packet loss does not imply maximizing QoS. In determining the packet transmission schedule, we exploit the fact that significance of each packet loss is different dependent upon its frame type and the position within group of picture(GOP). In SAPS algorithm, each packet is assigned a weight called QoS Impact Factor Transmission schedule is derived based upon weighted smoothing. In simulation experiment, we observed that QOS actually improves when packet loss becomes worse. The simulation results show that the SAPS not only maximizes user perceivable QoS but also minimizes resource requirements.