• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.11 no.2
• /
• pp.13-26
• /
• 2001

This paper presents the network security modeling methodology and simulation using the hierarchical and modular modeling and simulation framework. Recently, Howard and Amoroso developed the cause-effect model of the cyber attack, defense, and consequences, Cohen has been proposed the simplified network security simulation methodology using the cause-effect model, however, it is not clear that it can support more complex network security model and also the model-based cyber attack simulation. To deal with this problem, we have adopted the hierarchical and modular modeling and simulation environment so called the System Entity Structure/Model Base (SES/MB) framework which integrates the dynamic-based formalism of simulation with the symbolic formalism of AI. Several simulation tests performed on sample network system verify the soundness of our method.

• Journal of the Korea Society for Simulation
• /
• v.19 no.3
• /
• pp.45-54
• /
• 2010

The inherent complexity of semiconductor fabrication processes makes it hard to solve well-known job scheduling problems in analytical ways, which leads us to rely practically on discrete event modeling simulations to learn the effects of changing the system's parameters. Meanwhile, unpredictable disturbances such as machine failures and maintenance diminish the productivity of semiconductor manufacturing processes with fixed scheduling policies; thus, it is necessary to adapt job scheduling policy in a timely manner in reaction to critical environmental changes (disturbances) in order for the fabrication process to perform optimally. This paper proposes an adaptive job control framework for a wafer fabrication process in a control system theoretical approach and implements it based on a DEVS modeling simulation environment. The proposed framework has the advantages in view of the whole systems understanding and flexibility of applying new rules compared to most ad-hoc software approaches in this field. Furthermore, it is flexible enough to incorporate new job scheduling rules into the existing rule set. Experimental results show that this control framework with adaptive rescheduling outperforms fixed job scheduling algorithms.

• ICROS
• /
• v.7 no.6
• /
• pp.10-17
• /
• 2001

본 논문에서는 훈련용과 연구용 시뮬레이터들에서 차량조종 및 자동조종(autopilot) 시스템들을 시뮬레이션하기 위하여 공통적으로 사용되는 기술들을 소개한다. 여기서 언급하는 차량 조종 시스템들은 고정익기와 회전익기의 비행제어시스템은 물론 지상차량의 조종 시스템들을 모두 포함한다. 본 논문은 다양한 유형의 비행 및 지상차량 조종 시스템들에 대한 검토로 시작된다. 다음으로 차량조종 및 자동조종 시스템들의 시뮬레이션과 모델링, 조정 부하(control loading)라 통상 일컫는 조종감(control feel)의 시뮬레이션, 조종계통 모델링툴 시스템 통함 및 시스템 성능 비준 등의 주요 주제들이 이어진다.

• Journal of the Korea Society for Simulation
• /
• v.8 no.4
• /
• pp.109-124
• /
• 1999

The major objective of this research is to design and build the variable structure DEVS modeling & simulation framework. To do this, we have proposed the direct message passing mechanism between the model and its simulator to deal with the structural demand from the model during the simulation. In this approach, four types of basic messages are introduced for the vertical(creation/deletion of the child) and horizontal(creation/deletion of the brother) structural changes. Proposed methodology has been successfully applied to the multi-processor system and the forest fire information system.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.219-225
• /
• 2000

본 연구에서는 이산사건 동적 시스템을 모델링하고 성능을 분석하기 위한 통합 소프트웨어를 개발하였다. 소프트웨어는 페트리네트를 기반으로 비쥬얼 C++와 비쥬얼 베이직을 이용하여 개발되었으며 윈도우즈 환경 하에서 동작하는 범용 그래픽도구를 내장하고 있다. 본 소프트웨어를 이용하면 사용자는 마우스의 드래그 앤 드롭만으로 페트리네트 모델을 작성할 수가 있으며 모델이 작성되면 수리적 분석과 시뮬레이션을 통하여 시스템의 성능분석을 자동으로 수행하여 준다. 또한 시스템의 논리적인 특성을 분석하기 위하여 coverbility tree와 reachability tree를 지원한다. 이외에도 deadlock을 탐지하고 이를 해소하는 기능과 정교한 세부 모델링이 가능하도록 다양한 활성화 함수와 분포를 지원하며 시스템의 성능척도와 관련된 다양한 통계치를 제공해준다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.04a
• /
• pp.51-56
• /
• 2000

DEVS 형식론[Zeigler 1984]은 이산 사건 시스템을 기술하기 위해 Zeigler에 의해 제안된 모델링 형식론이다. 본 논문에서는 DEVS 형식론을 실시간 시뮬레이션 모델을 기술하기 위한 RT-DEVS 형식론으로 확장하고 이를 통해 기술된 시뮬레이션 모델을 실행하기 위한 실시간 수행 알고리즘을 제안한다. 또한 기술된 모델을 실시간에 기반하여 수행시키기 위한 시뮬레이션 커널의 구조와 구현에 대하여 다룬다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.9
• /
• pp.1038-1048
• /
• 2019

Recently, various systems have been developed to support ship navigation safety. In order to verify the usefulness of such a system, it is most ideal to try it on a real vessel, but there are many difficulties. As an alternative, usability verification methods applied with modelling and simulation (M&S) techniques are required such as FMSS, which is closest to reality, is very expansive to construct, and there needs the specialized operator. For this reason, this paper proposes a method to verify the navigation safety support system by modeling and simulation techniques based on the Discrete Event System Specification (DEVS) formalism. As a first step, we designed the navigation simulation architecture based on the SES/MB framework, and details on modelling ship core equipment and navigator agents based on the DEVS. Through this, we are able to implement the navigation simulation system for vessels, and evaluate the effectiveness of navigation safety support elements such as collision avoidance, etc. using developed scenarios.

• Journal of the Korea Society for Simulation
• /
• v.20 no.4
• /
• pp.1-11
• /
• 2011

In the development phase of a torpedo, the effectiveness analysis is carried out to predict the performance and to learn how to use the torpedo. In order to obtain reliable data, it is required to model the tactical situation closely to the actual one. Because the submarine is a target of a lightweight torpedo, the anti-torpedo countermeasures of a submarine such as evasive maneuvering and TACM (Torpedo Acoustic Counter Measure) should be modeled in detail. In this paper, the evasive maneuvering is modeled reflecting the movement characteristics of the submarine. Furthermore various TACMs such as a floating-type decoy, a self-propelled decoy and jammers are also modeled. Then, effectiveness of a lightweight torpedo is measured and analyzed using the simulation program which is developed through the above modeling 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 IKEEE
• /
• v.18 no.3
• /
• pp.341-348
• /
• 2014

When several resuable semiconductor IPs are connected and implemented into an integrated chip, each semiconductor IP should provide code files for synthesis and interface modeling files for simulation and verification. However, description methods and levels of abstraction of interface modeling files are different because these semiconductor IPs are designed by different designers, which makes some problems in simulation and verification. This paper proposes a standardized modeling method of semiconductor IP interfaces. It restricts semiconductor IP interfaces to several predefined level of abstraction. The proposed method helps the chip integration designer to easily connect different semiconductor IPs and to simulate and verify them.