• Journal of the Korea Society for Simulation
• /
• v.23 no.2
• /
• pp.1-6
• /
• 2014

CPS (cyber-physical systems) which consists of connected and diverse embedded systems and physical systems are a new paradigm. Traditional systems were usually considered to be passive and dumb parts in physical systems, but with CPS, we have to take into account what are being moved or changed in the physical systems. So, as increasing the complexity of CPS, potential errors in the systems also increase. In this paper, for enhancing the reliability of CPS, we exploit an executable-model-based design methodology and propose a distributed simulation method to verify the design of CPS. For the design of the systems including discrete and continuous factors, we apply DEV&DESS formalism and simulate models in distributed simulation environments through DDS middleware. We also illustrate the applications of CPS with our modeling tool.

• Journal of Information Technology and Architecture
• /
• v.9 no.3
• /
• pp.221-231
• /
• 2012

최근 국방 분야의 모델링 및 시뮬레이션에서는 훈련 비용과 개발 비용을 절감하기 위하여 재구성 가능한 시뮬레이션 모델의 연구를 추진하고 있다. 기존 연구에서는 소프트웨어 프로덕트 라인 공학을 적용하여 BCM(Basic Component Model)을 정의하고 이들을 재구성 할 수 있는 도구를 개발하였다. 하지만 프로덕트를 생성하기 위한 컴포넌트 재구성 시 설계자의 의사를 체계적으로 반영할 수 없으며, 각각의 컴포넌트들의 정량적 요소를 비교,평가 후 컴포넌트를 선택하여 프로덕트를 구성하기 어렵다는 단점이 있다. 따라서 본 논문에서는 컴포넌트 재구성 시 설계자의 의사결정과정을 지원하고자 컴포넌트들의 메타데이터를 조사하고 계층적으로 분석하여 컴포넌트를 선정할 수 있는 방법을 제안한다. 또한 이것을 기반으로 컴포넌트 재구성 조합 모형을 도출 할 수 있도록 하는 의사결정체계를 제시한다. 먼저 의사결정의 한 방법인 AHP(Analytic Hierarchy Procedure)를 이용하여 컴포넌트를 선정하고, 다음으로 선정된 컴포넌트를 검색하고 선택할 수 있는 의사결정지원시스템을 설계 하였다.

• Journal of the Korea Society for Simulation
• /
• v.30 no.4
• /
• pp.21-29
• /
• 2021

Inverse synthetic aperture radar (ISAR) image is a powerful tool to show the major scattering regions (scatterer points) on the target. It is normally used to identify and classify targets. Finding information for the scatter points of ISAR image plays an important role in modeling the features of targets. In this paper, we propose a modeling method to extract some information about the scatterer points by minimizing approximating error. Here, the extracted information include not only the location of scatterer points but also some statistical data about the error of the their location. These extracted data can be used to implement the randomness of the location of the scatterer points. Furthermore, we reconstruct an image from the extracted data for scatterer points obtained by our proposed method. And we show that the reconstructed ISAR image is well approximated to the original ISAR image in order to justify our proposed modeling method.

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

Simulation means modeling structures or behaviors of the various objects, and experimenting them on the computer system. And the major approaches are DEVS(Discrete Event Systems Specification). Petri-net or Automata and so on. But, the simulation problems are getting more complex or complicated these days, so that an intelligent agent-based is being studied. In this paper, we are describing an intelligent agent-based simulation tool, which can supports the simulation experiment more efficiently. The significances of our system can be described as follows. First, the system can provide some AI algorithms through the system libraries. Second, the system supports simple method of designing the simulation model, since it's been built under the Finite State Machine (FSM) structure. And finally, the system acts as a simulation framework by supporting user not only the simulation engine, but also user-friendly tools, such as modeler scriptor and simulator. The system mainly consists of main simulation engine, utility tools, and some other assist tools, and it is tested and showed some efficient results in the three different problems.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.406-408
• /
• 2001

이 논문에서는 TCP의 최근 버전인 TCP Reno 버전의 동작을 모델링 하는 방법을 통하여 살펴본다. 이 논문에서 사용한 방법은 하나의 소스를 마코비안 모델을 사용하여 ON-OFF 형태로 구성하며 이 방법을 통하여 빠르고 정확한 TCP 성능 측정 도구를 구성하고자 한다. 결과적으로 이러한 접근은 네트워크 성능과 관련된 출력률, 지연, 패킷 손실률 등을 측정할 수 있다. 또한 이렇게 얻어진 결과는 동일한 트래픽 설정을 사용한 시뮬레이션을 통하여 유효성을 증명하여 본다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.28 no.3
• /
• pp.36-41
• /
• 2005

페트리 네트(Petri Nets)는 이산 사건 시스템을 모델링할 수 있는 그래픽하고, 수학적인 도구이다. 본 연구는 유연제조 시스템을 확률적인 페트리 네트(Stochastic Petri Nets)중의 하나인 임베디드 마코프 체인(Embeded Markov Chain)에 도입하고, 임베디드 마코프 체인의 방법 중에 하나인 일반화된 확률적 페트리 네트(Generalized Stochastic Perti Nets)에 적용시켰다. 그리고 결과치의 정확성을 알아내기 위하여, 페트리 네트 시뮬레이션과 아레나를 사용하여 실행하였다.

• Journal of the Korea Society for Simulation
• /
• v.22 no.4
• /
• pp.29-38
• /
• 2013

Modeling and simulation technology is being used in various fields. Especially in the field of military, Simulation-Based Acquisition (SBA) is recognized as a essential policy. To effectively carry out SBA, modeling and simulation techniques should be applied in the whole life-cycle for the weapon system development, and the framework and tools which can help the rapid component development and reusability are needed. In this research, we use the simulation framework based on modeling formalism for enhancement of reusability and a GUI-based modeling environment for rapid M&S component development. The Proposed framework can act as plug-in components on the basis of XML-based object model, so that the flexible design is possible for the change of the model and simulation structure. In addition, our methods are effective to implement the functions for supporting simulation such as the model data logging and communication with external systems. In this paper, we describe an architecture and functions for the framework and tools.

• Journal of Korea Game Society
• /
• v.15 no.5
• /
• pp.49-56
• /
• 2015

As the popularity of casual games, they are increasing the needs to satisfy personal dispositions and the gameplay requirements of the various users in the game development process. These require analysis of action patterns of gameplay of various users in the testing phase of the game development. In this paper, we propose a method to analyze action patterns of gameplay through Petri net model simulation with gameplay metrics data. The proposed method has practical simulation environments because of using gameplay metrics data, and it can analyze diversely like reachability, coverbility, and liveness given by Petri net model analysis. An application example of the proposed method using a Petri net modeling tool GPenSIM v4.0 is given to analyze the patterns of gameplay in game Pacman. The results of simulations is presented. The presented results show that the proposed method can analysis patterns of gameplay diversely.

• The Journal of Korean Association of Computer Education
• /
• v.15 no.2
• /
• pp.57-66
• /
• 2012

It is the advantage of robot programming to improve the learners' interest. However, the drawback is existed in the fact that it is not easy to determine whether the problem lies in the hardware factor or programmed logic when an error takes place. This study is an attempt to develop a simulation tool which assists learners to concentrate on the problems not relating to robot assembling but to robot program. It aims to enable beginners make a sketch of their ideas and examine their logic through simulation. Therefore, an Etoys-based robot programming tool is developed to allows user to download and execute the simulated program into an assembled robot. The significance of this study is that easy activity of sketch-based simulation can support learners to understand how the principles of computer science are applied in daily life such as an automatic door system.

• Journal of KIISE
• /
• v.42 no.7
• /
• pp.823-833
• /
• 2015

Hybrid system is a dynamic system that is composed of both a continuous and discrete system, suitable for automobile, avionic and defense systems. Various modeling languages and their supporting tools have been proposed and used in the hybrid system. The languages and tools have specific characteristics for their purpose. Electronics and Telecommunications Research Institute (ETRI) proposed a hybrid system modeling language, ECML (ETRI CPS Modeling Language). ECML extends DEV&DESS (Differential Event and Differential Equation Specified System) formalism with consideration of CPS (Cyber-Physical System), which supports modeling and simulation. In this paper, we introduce ECML and suggest a formal definition. The case study specifies a simple vehicle model using the suggested formal definition.