• Journal of the Society of Naval Architects of Korea
• /
• v.46 no.3
• /
• pp.303-312
• /
• 2009

Recently, requests for the accurate process planning using modeling and simulation technique are increasing in many engineering fields including shipbuilding industry. In this study, Combined DEVS(Discrete EVent System specification) and DTSS(Discrete Time System Specification) simulation kernel is developed, and an integration strategy of dynamics simulation module and graphics module is also implemented. To evaluate the efficiency and applicability of the simulation kernel and integration strategy, these are applied to the block erection simulation of offshore structures.

• 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.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• pp.103-108
• /
• 2002

본 연구는 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 가상전장 모델링 및 시뮬레이션 방법론을 제안한다. 기존 군체계에 관련된 모델링 기술은 물리적 모델링, 비쥬얼 모델링, 또는 개념적 모델링 등 개별 기능중심의 단편적 플랫폼 모델링에 그치고 있으며, 무기체계 분석 시뮬레이션도 개별 단위체 중심으로 평가되어져서, 다양하고 종합적인 그리고 상호운영성과 재사용성 등을 고려한 통합 모델링 및 시뮬레이션 환경을 제공하지 못하는 단점을 갖는다. 따라서 본 논문에서는 개별 전투병력에서부터 첨단 무기체계에 이르는 다양한 전장 요소들을 계층 구조적으로 통합함으로써 장에서 발생될 수 있는 개별 전투병력의 미시적 행동 특성뿐 아니라 분대/중대/대대/사단급 단위의 거시적 전략/전술에 대한 묘사까지도 가능한 가상전장 모델링 및 시뮬레이션 환경을 제안한다. 제안된 방법론은 분대 단위의 가상 전장 환경에 대한 사례연구를 통해 검증하였으며, 향후 연구로는 대단위 가상전장에 대한 묘사를 위한 HLA 분산 시뮬레이션 기술의 적용에 대한 연구가 필요할 것이다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• pp.231-237
• /
• 2002

네트워크 보안은 정보통신 및 인터넷 기술이 발전함에 따라 그 중요성과 필요성이 더욱 절실해지고 있다. 본 연구에서는 네트워크 보안의 대표적인 침입 차단 시스템의 패킷 필터 및 네트워크 구성요소들을 모델링하였다. 각 모델은 DEVS 모델을 참조한 MODSIM III 기반의 기본 모델(Basic Model)과 결합 모델(Compound Model)의 두 가지 유형으로 정의하였다. 기본 모델은 독립적인 기능을 수행하는 단위 모델을 표현하고, 결합 모델은 여러 개의 모델이 연동되어 상위 레벨의 시스템을 표현한다. 시뮬레이션을 위한 모델링과 그래픽 기능이 강력한 MODSIM III를 기반으로 모델들을 비롯한 시뮬레이션 환경을 구현하였다. 대상 네트워크 환경에서 사용한 공격은 서비스 기부 공격 형태인 SYN flooding 공격과 Smurf 공격을 발생하였다. 이 공격들에 대하여, 패킷 필터 모델에 다양한 보안 정책을 적용하여 시뮬레이션을 실행하였다. 본 연구에서의 시뮬레이션을 통하여, 과거의 단순 패킷 필터링에서 진일보한 Stateful Inspection의 우수한 보안 성능과, 보안 정책의 강도를 점점 높였을 때 보안 성능이 향상되는 점을 검증하였다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.11a
• /
• pp.17-21
• /
• 2002

네트워크 보안의 중요성과 필요성이 증대됨에 따라 많은 조직들이 다양한 보안 시 스템을 네트워크에 적용하고 있다. 침입 차단 시스템, 침입 탐지 시스템, 취약점 스캐너와 같은 보안 시스템들이 취약성 정보를 공유하게 되면 일관된 통합 보안 환경을 구축할 수 있다. 본 연구진은 통합 보안 시뮬레이션 환경의 구축을 위해 여러 보안 시스템 모델들이 사용할 수 있는 취약성 정보들을 집약시킴으로써 보안 시스템간의 정보 공유를 쉽게 할 수 있는 SVDB (Simulation based Vulnerability Data Base)를 구축하였다. 네트워크의 한 구성요소인 SVDB는 보안 시스템 모델의 구성에 필요한 다양한 정보를 담고 있어 한 호스트나 네트워크가 갖는 취약성을 조기에 발견할 수 있다. 또한 SVDB는 침입 탐지 시스템과 같은 보안 시스템이 존재하는 네트워크를 시뮬레이션 하는데 필요한 보안 정보를 제공한다. 보안시스템을 위한 시뮬레이션 모델은 DEVS (Discrete EVent system Specification) 방법론을 사용하여 구성하였다. 또한 이렇게 구축된 시뮬레이션 모델들이 SVDB와 연동하기 위한 인터페이스 모듈을 구현하였다. 취약성 스캐너, 침입 탐지 시스템, 침임 차단 시스템이 정보를 공유함으로써 공격에 효과적인 대응하는 것을 시뮬레이션을 통해 보인다.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.6 no.4
• /
• pp.67-73
• /
• 2010

A Wireless Sensor Network(WSN) is a promising infrastructure for the future U-healthcare system. In a WSN for the U-healthcare system, both biometric data and location data are transferred hierarchically from lots of mobile patients to the base station server and some countermeasures are made in real time if necessary. In this process, we encounter the load-balancing problem when many patients gather in a specific area. We also encounter the data duplication problem when each patient moves into an area monitored by several supervisors. The second problem is closely related to the first one. In this paper, we propose a mobile patient monitoring system with priority-based policy in load-balancing to solve the previous two problems and perform a DEVS Java-based system simulation to verify the system efficiency.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.05a
• /
• pp.14-19
• /
• 2001

웹기반 시뮬레이션이란 인터넷을 기반으로 플랫폼에 관계없이 시뮬레이션을 실행할 수 있는 것으로 기존에 Jsim, SimJava, JavaSim, DEVS-Java등과 같은 다양한 도구들이 개발되었다. SimJava는 자바 프로그래밍 언어를 이용하여 시뮬레이션 라이브러리를 개발할 수 있는 이산 사건 시뮬레이션 패키지로 SimJava 패키지, SimAnim 패키지, SimDial 패키지로 구성되어 있다. SimJava는 문자기반의 시뮬레이션뿐만 아니라, 시뮬레이션 실행과정과 결과를 시각적으로 볼 수 있는 기능을 제공하기 때문에, 웹 기반 시뮬레이션에서 많이 사용되고 있다. 본 논문에서는 SimJava를 이용하여 웹에서 모델을 설계하고 시뮬레이션 및 애니메이션이 가능한 SimDraw를 제안한다. 특히 SimDraw는 동적 바인딩을 이용함으로 모델을 설계하고 번역할 필요 없이 바로 웹에서 실행된다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.11a
• /
• pp.45-50
• /
• 2005

Research and development of grid computing ware mainly focused on high performance computing field such as large-scale computing operation. Many companies and organizations concentrated on existing computational grid. However, service grid focusing on enterprise environments has been noticed gradually. Grid service providers of service grid construct diverse and specialized services and provide service resources that have economic feasibility to grid users. But, service resources are geographically dispersed and divided into many classes and have individual owners and management policies. In order to utilize and allocate resources effectively, service grid needs a resource management model that handles and manages heterogeneous resources of service grid. Therefore, this paper presents the third party grid service marketplace model using virtualization to solve problems of grid service resource management. Also, this paper proposes resource dealing mechanism and pricing algorithms applicable for service grid. Empirical results show usefulness and efficiency of the third party grid service marketplace model in comparison with typical economic models for grid resource management such as single auction model and double auction model.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.4
• /
• pp.225-233
• /
• 2009

The objective of this paper is to examine a construction method and verify PLC logic using the logical modeling and simulation of a virtual plant has complex manufacturing system and the domain of application is car body assembly line of automotive industrial operated by PLC Program. The proposed virtual plant model for the analysis of the construction method consists of three types of components which are virtual device, intermediary transfer and controller is modeled by logical model but it the case of the verification of PLC program, HMI and PLC logic in the field substitute for the controller. The implementation of the proposed virtual plant model is conducted PLC Studio which is an object-oriented modeling language based on logical model. As a result, proposed methods enable 3D graphics is designed in the analysis step to use for verification of PLC program without special efforts.

• Journal of Advanced Marine Engineering and Technology
• /
• v.34 no.1
• /
• pp.154-162
• /
• 2010

A simulation technique is very useful method to analyze the performance on various engineering area. To automate port systems, we have need of simulation to analyze an effect of assigning and operating devices. Thus we propose simulation methodology to be applied to an analysis, evaluation, planning for port automation. To do this, we have adopted the discrete event system specification based system entity structure / model base framework for modeling and simulation environment. We have performed modeling and simulation on entities of port systems such as container crane, yard tractor, transfer crane, etc. The proposed methodology has an advantage being able to effectively simulate on alternatives of composition and operation strategy for port systems. Some case studies will show the validity of proposed simulation methodology.