• Title/Summary/Keyword: DEVS 모델링

Search Result 148, Processing Time 0.02 seconds

Late Comer and Error Recovery Process for Home Network Environment with Session Management (세션 관리 기능을 포함한 홈 네트워크 환경에서의 지각자 및 오류 복구 처리)

  • Kim, Hak-Joon;Ko, Eung-Nam
    • Journal of Advanced Navigation Technology
    • /
    • v.12 no.6
    • /
    • pp.666-672
    • /
    • 2008
  • This paper explains late comer and error recovery process for home network environment with session management. This system consists of an ED, ES, and ER. ED is an agent that detects an error by hooking techniques for multimedia distance education based on home network environment with session management. ES is an agent that is an error sharing system for multimedia distance education based on home network environment with session management. ER is a system that is suitable for recovering software error for multimedia distance education based on home network environment with session management. This paper explains a performance analysis of an error recovery system running on distributed multimedia environment using the rule-based DEVS modeling and simulation techniques. The proposed method is more efficient than the other method in comparison with error ration and processing time.

  • PDF

Conceptual Design and Simulation of an Unmanned Battery Exchangeable Electric Bus Management System (배터리 자동 교체형 전기버스 운영 시스템의 개념적 설계 및 시뮬레이션)

  • Kim, Han-Ur;Park, Jun-Seok;Oh, Ha-Ryoung;Seong, Yeong-Rak
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.3 no.3
    • /
    • pp.63-72
    • /
    • 2014
  • The exchangeable battery electric bus is an eco-friendly public transportation vehicle. Due to the technological limitation, however, it should repeatedly change batteries with charged ones. The unmanned battery exchangeable electric bus being studied in Korea can exchange batteries automatically by using a battery swapping system. In this paper, we propose an unmanned battery exchangeable electric bus management system. The proposed system provides two services: the bus information service and the battery change scheduling service. The bus information service is the existing traditional metropolitan area bus information systems, which inform bus passengers how long they should wait for the buses. Our second service assigns a low-battery bus, which needs to change the batteries, to the battery swapping system, which stores fully-charged batteries. To validate the proposed system, we model the system by using the DEVS formalism. The simulation result shows that the proposed system provides the services properly.

A Study for Rule Integration in Vulnerability Assessment and Intrusion Detection using Meaning Based Vulnerability Identification Method (의미기반 취약점 식별자 부여 기법을 사용한 취약점 점검 및 공격 탐지 규칙 통합 방법 연구)

  • Kim, Hyung-Jong;Jung, Tae-In
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.18 no.3
    • /
    • pp.121-129
    • /
    • 2008
  • This paper presents vulnerability identification method based on meaning which is making use of the concept of atomic vulnerability. Also, we are making use of decomposition and specialization processes which were used in DEVS/SES to get identifiers. This vulnerability representation method is useful for managing and removing vulnerability in organized way. It is helpful to make a relation between vulnerability assessing and intrusion detection rules in lower level. The relation enables security manager to response more quickly and conveniently. Especially, this paper shows a mapping between Nessus plugins and Snort rules using meaning based vulnerability identification method and lists usages based on three goals that security officer keeps in mind about vulnerability. The contribution of this work is in suggestion of meaning based vulnerability identification method and showing the cases of its usage for the rule integration of vulnerability assessment and intrusion detection.

DEVS Modeling for Interactive Motion-based Mobile Contents Authoring Tool (모바일 기기 환경의 인터렉티브 모션 기반 콘텐츠 개발 도구와 DEVS 모델링)

  • Ju, Seunghwan;Choi, Yohan;Lim, Yongsoo;Seo, Heesuk
    • Journal of Korea Society of Digital Industry and Information Management
    • /
    • v.11 no.2
    • /
    • pp.121-129
    • /
    • 2015
  • Interactive media is a method of communication in which the output from the media comes from the input of the users. The interactive media lets the user go back with the media. Interactive media works with the user's participation. The media still has the same purpose but the user's input adds the interaction and brings interesting features to the system for a better enjoyment. We need a digital content using a dynamic motion and gesture of the mobile device. We made an authoring tool for content producers to easily create interactive content. We have tried to take advantage of the interaction by using a touch screen and a gravity sensor of the mobile device. This interaction may lead to allow the user to participate in the content, it can be used as a key device to assist in engagement. Furthermore, our authoring tool can be applied to various fields of publishing content.

Design of Sensor Network Security Model using Contract Net Protocol and DEVS Modeling (계약망 프로토콜과 DEVS 모델링을 통한 센서네트워크 보안 모델의 설계)

  • Hur, Suh Mahn;Seo, Hee Suk
    • Journal of Korea Society of Digital Industry and Information Management
    • /
    • v.4 no.4
    • /
    • pp.41-49
    • /
    • 2008
  • Sensor networks are often deployed in unattended environments, thus leaving these networks vulnerable to false data injection attacks in which an adversary injects forged reports into the network through compromised nodes. Such attacks by compromised sensors can cause not only false alarms but also the depletion of the finite amount of energy in a battery powered network. In order to reduce damage from these attacks, several security solutions have been proposed. Researchers have also proposed some techniques to increase the energy-efficiency of such security solutions. In this paper, we propose a CH(Cluster Header) selection algorithm to choose low power delivery method in sensor networks. The CNP(Contract Net Protocol), which is an approach to solve distribution problems, is applied to choose CHs for event sensing. As a result of employing CNP, the proposed method can prevent dropping of sensing reports with an insufficient number of message authentication codes during the forwarding process, and is efficient in terms of energy saving.

Validating DEVS based Traffic Simulation Model for Freeways (DEVS 기반의 연속 교통류 시뮬레이션 시스템 검증 ($I^3D^2$ 교통류 시뮬레이션 시스템을 중심으로))

  • 윤동영;김원규;송병흠;지승도
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 2002.11a
    • /
    • pp.125-130
    • /
    • 2002
  • 본 연구는 DEVS를 기반으로 개발된 교통류 시뮬레이션 시스템인 $\ulcorner$I$^3$D$^2$ 교통류 시뮬레이션 시스템$\lrcorner$(이하 I$^3$D$^2$)의 검증을 그 목적으로 한다. I$^3$D$^2$는 본 연구진이 DEVS를 기반으로 개발한 범용 시뮬레이션 도구로써, 이미 서울시 강남 신호교차로와 내부순환로를 대상으로 하여 개발된 내용을 발표한 바 있다. I$^3$D$^2$는 헌재 단속류에서의 최적신호 생성 및 대기행렬 예측 문제, 그리고 연속류 시설의 용량 산정 문제등을 시뮬레이션 할 수 있다. 하지만 아직 문헌자료나 현장 데이터를 토대로 한 충분한 검증이 수행되지 못한 문제가 있다. 따라서 본 연구에서는 문헌자료를 토대로, I$^3$D$^2$를 검증한다. 이를 위하여 고속도로 또는 도시고속도로와 같은 연속 교통류의 대표적인 효과척도인 $\ulcorner$교통량 - 밀도 - 평균주행속도 (시간)$\lrcorner$ 간의 상관관계를 이용하여 미국 HCM과 우리나라의 도로용량편람에 정의되어 있는 기준을 토대로 I$^3$D$^2$ 검증을 수행하였다. 모델링은 서울시 올림픽대로의 양화대교 - 성산대교 - 가양대교 구간을 대상으로 했으며, 검증은 교통량에 따라 크게 3가지 교통류 상태(random, intermediate, constant)를 기준으로 시뮬레이션이 각각의 교통상태에서 예측한 평균주행시간의 정확도를 측정하면서 수행하였다. 검증 결과 random 상태에서는 문헌자료에 부합되는 예측결과를 보여주었으나, intermediate와 constant 상태에서는 문헌보다 다소 낮은 속도를 보여주었다 이러한 속도차는 추후 현장 데이터를 수집하여 보다 실질적인 검증을 통하여 조정되어야 할 것으로 판단된다.

  • PDF

Grid Scheduling Model with Resource Performance Measurement in Computational Grid Computing (계산 그리드 컴퓨팅에서의 자원 성능 측정을 통한 그리드 스케줄링 모델)

  • Park, Da-Hye;Lee, Jong-Sik
    • Journal of the Korea Society of Computer and Information
    • /
    • v.11 no.5 s.43
    • /
    • pp.87-94
    • /
    • 2006
  • Grid computing has been developed for resolving large-scaled computing problems through geographically distributed heterogeneous resources. In order to guarantee effective and reliable job processing, grid computing needs resource scheduling model. So, we propose a resource performance measurement scheduling model which allocates job to resources with resource performance measurement. We assess resources using resource performance measurement formula, and implement the resource performance measurement scheduling model in DEVS simulation modeling.

  • PDF

Efficient Grid Resource Scheduling Model with Resource Reliability Measurement (자원 신뢰성 측정을 통한 효율적인 그리드 자원 스케줄링 모델)

  • Park, Da-Hye;Lee, Jong-Sik
    • Journal of the Korea Society for Simulation
    • /
    • v.15 no.4
    • /
    • pp.129-136
    • /
    • 2006
  • Grid computing has been appeared for solving large-scaled data which are not solved by a single computer. Grid computing is a new generation platform which connects geographically distributed heterogeneous resources. However, gathering heterogeneous distributed resources produces many difficult problems. Especially. to assure resource reliability is one of the most critical problems. So, we propose a grid resource scheduling model using grid resource reliability measurement. We evaluate resource reliability based on resource status data and apply it to the grid scheduling model in DEVSJAVA modeling and simulation. This paper evaluates parameters such as resource utilization, job loss and average turn-around time and estimates experiment results of our model in comparison with those of existing scheduling models such as a random scheduling model and a round-robin scheduling model. These experiment results showed that the resource reliability measurement scheduling model provides efficient resource allocation and stable Job processing in comparison with a random scheduling model and a round-robin scheduling model.

  • PDF

Modeling and Simulation of Fuzzy based Propagation Limiting Method for message routing in Wireless Sensor Networks (무선 센서 네트워크에서 메시지 라우팅을 위한 퍼지 기반 전달 영역 제한 기법의 모델링 및 시뮬레이션)

  • Chi, Sang-Hoon;Lee, Hae-Young;Cho, Tae-Ho
    • Journal of the Korea Society for Simulation
    • /
    • v.15 no.4
    • /
    • pp.29-39
    • /
    • 2006
  • Sensor networks consist of small nodes with sensing, computation, and wireless communications capabilities. A number of routing protocols to transmit the data between the base station and sensor nodes have been proposed. Intanagonwiwat et al. proposed the directed diffusion in which the base station sends interest messages and waits for data from the nodes in the specific regions. Since the directed diffusion propagates every interest message to whole nodes in the network, it causes energy dissipation of nodes. In this paper, we propose a novel data propagation method, which limits the data transmission area according to a threshold value for reducing the energy consumption in the network. A fuzzy logic is exploited to determine the threshold value by considering the energy and density of all the deployed nodes. The simulation models are designed and implemented based on DEVS formalism which is theoretically well grounded means of expressing discrete event simulation models.

  • PDF

Simulation-based Analysis of Electric Power Consumption Efficiency for Self-Driving Roller Conveyor Systems (시뮬레이션 기반 자체 구동 롤러 컨베이어 물류시스템의 전력 효율 분석)

  • Kim, Young J.;Park, Hee N.;HAM, Won K.;Park, Sang C.
    • Journal of the Korea Society for Simulation
    • /
    • v.24 no.3
    • /
    • pp.97-105
    • /
    • 2015
  • This paper is to analyze the efficiency of power consumption in logistic systems that are based on self-driving roller conveyors by the simulation technology. The improvement of the efficiency brings advantages for reducing greenhouse gas emission and logistics costs. A self-driving roller conveyor is operated only when products are loaded on itself. Thus, the self-driving roller conveyor systems consume less electric power than continuous-driving roller conveyor systems. In this paper, we design a DEVS (Discrete-Event based System) based simulation model and construct self-driving roller and continuous-driving roller conveyor models. For the verification and validation of the designed simulation system and conveyor models, we model a corresponding logistic model for the experimental environment and compare between the model and a real system. The main objective of this paper is to describe the power consumption advantage of self-driving roller conveyor based logistic systems using a simulation method.