• Electronics and Telecommunications Trends
• /
• v.28 no.2
• /
• pp.29-37
• /
• 2013

최근 임베디드 제어 시스템의 규모와 복잡도가 폭발적으로 증가함에 따라, 단일 시스템을 대상으로 하는 기존 M&S(Modeling & Simulation) 기반의 SW 개발 기술은 한계에 부딪히게 되었다. 이에 본고에서는 네트워크 기반 복합 임베디드 제어 시스템의 고신뢰 SW 개발을 위한 M&S 기술 동향을 소개한다. 먼저 모델링 단계에서 복합 시스템의 이종성을 다루기 위한 모델링 기술과 대표적인 도구를 소개하고, 다음으로 대규모 하이브리드 시스템 모델의 검증을 위한 시뮬레이션 및 정형 검증 기술과 관련 도구를 소개한다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1998.10a
• /
• pp.21-24
• /
• 1998

Simulation modeling has become an extremely important approach to analyzing complex system. In recent years the number of people using simulation as problem-solving aid has increased. In this Paper, we developed a simulation model for analyzing the physical distribution system in ports. We used Arena 2.2 which is a kind of simulation software based common simulation language, SIMAN V. And then, we applied this model to kwangyang port(partially) and analyzed the effect of it upon port system in according to change of the quantity of goods transported.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.5
• /
• pp.2186-2203
• /
• 2020

Security administrators of companies and organizations need to come up with proper countermeasures against cyber-attacks considering infrastructures and security policies in their possession. In order to develop and verify such countermeasures, the administrators should be able to reenact both cyber-attacks and defenses. Simulations can be useful for the reenactment by overcoming its limitations including high risk and cost. If the administrators are able to design various scenarios of cyber-attacks and to develop simulation models from their viewpoints, they can simulate desired situations and observe the results more easily. It is challenging to simulate cyber-security issues, because there is lack of theoretical basis for modeling a wide range of the security field as well as pre-defined basic components used to model cyber-attacks. In this paper, we propose a modeling method for cyber-security simulations by developing a basic component and a composite model, called Abstracted Cyber-Security Unit Model (ACSUM) and Abstracted Cyber-security SIMulation model (ACSIM), respectively. The proposed models are based on DEVS(Discrete Event systems Specification) formalism, a modeling theory for discrete event simulations. We develop attack scenarios by sequencing attack behaviors using ACSUMs and then model ACSIMs by combining and abstracting the ACSUMs from a security perspective. The concepts of ACSUM and ACSIM enable the security administrators to simulate numerous cyber-security issues from their viewpoints. As a case study, we model a worm scenario using ACSUM and simulate three types of simulation models based on ACSIM from a different security perspective.

• Journal of KIISE
• /
• v.42 no.12
• /
• pp.1503-1521
• /
• 2015

Agent-based modeling and simulation (ABMS) is used to model of market and social phenomena by utilizing agents' fine-grained behaviors and interactions that cannot be implemented in a conventional simulation. However, ABMS represents irrational agents and hinders the achievement of individual or overall goals since ABMS is based on agent-based software, which follows the principle of rationality at the knowledge level [1]. This problem was solved in the agent-based software engineering (ABSE) field by using behavior laws for the social level [2]. However, they still do not propose the specific development methodology for how to develop the social level in a systematic way. Therefore, in order to propose agent-based modeling and simulation methods that reflect the behavior laws of social level characteristics, our study used the Tropos that can combine ABSE and social behavior laws for the presentation of concrete tasks and deliverables for each development step by step. In addition, the proposed method will be specified through experiments with specific application examples and case studies on the self-adaptive smart grid and the military domain system.

• Nuclear Engineering and Technology
• /
• v.51 no.8
• /
• pp.1916-1938
• /
• 2019

The objective of this paper is to discuss the modeling principles of phenomena governing core degradation/melting and in-vessel melt relocation during severe accidents in light water reactors. The proposed modeling approach has been applied in the development of a new accident simulation package, COMPASS (COre Meltdown Progression Accident Simulation Software). COMPASS can be used either as a stand-alone tool to simulate in-vessel meltdown progression up to and including RPV failure, or as a component of an integrated simulation package being developed in Korea for the APR1400 reactor. Interestingly, since the emphasis in the development of COMPASS modeling framework has been on capturing generic mechanistic aspects of accident progression in light water reactors, several parts of the overall model should be useful for future accident studies of other reactor designs, both PWRs and BWRs. The issues discussed in the paper include the overall structure of the model, the rationale behind the formulation of the governing equations and the associated simplifying assumptions, as well as the methodology used to verify both the physical and numerical consistencies of the overall solver. Furthermore, the results of COMPASS validation against two experimental data sets (CORA and PHEBUS) are shown, as well as of the predicted accident progression at TMI-2 reactor.

• Journal of Multimedia Information System
• /
• v.6 no.4
• /
• pp.245-250
• /
• 2019

In this paper, we propose an ellipsoid modeling method for coding of a face depth picture. The ellipsoid modeling is firstly based on a point of a nose tip which is defined as the lowest value of the depth in the picture. The proposed ellipsoid representation is simplified through a difference of depth values between in the nose tip and in left or right boundary point of the face. Parameters of the ellipsoid are calculated through coordinates and depth values to minimize differences from the actual depth pixels. A picture is predicted by the modeled ellipsoid for coding of the face depth picture. In simulation results, an average MSEs between the face depth picture and the predicted picture is measured as 20.3.

• Journal of Electrical Engineering and Technology
• /
• v.5 no.4
• /
• pp.561-570
• /
• 2010

This paper presents an advanced dynamic simulation model of a proton exchange membrane fuel cell for the optimal design of a fuel cell power conditioning system (FC-PCS). For the development of fuel cell models, the dynamic characteristics of the fuel cell are considered, including its static characteristics. Then, software fuel cell simulation is realized using Matlab-Simulink. Specifically, the design consideration of PCS (i.e., power semiconductor switch, capacitor, and inductor) is discussed by comparatively analyzing the developed simulator and ideal DC source. In addition, a cosimulation between the fuel cell model and PCS realized using the PSIM software is performed with the help of the SimCoupler module. Detailed analysis and informative simulation results are provided for the optimal design of fuel cell PCS.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• pp.354-358
• /
• 2001

Cosim (Hardware and Software Co-Simulator) is a JavaBeans-based simulation tool fur validating systems architecture and estimating performance of web applications. Cosim has four components: Modeler, Translator, Engine and Scenario. Users start from Modeler to describe systems architecture in UML(Unified Modeling Language) deployment diagram, and then specify hardware & software performance parameters such as execution delay, network topology, and frame size. All information specified on Modeler are sent to Translator, and then automatically converted to Java programs. Scenario is responsible to run the Java program and produce results in text reports and graphs. Developers can reduce development time and cost by validating systems architecture of web applications before the actual deployment.

• Journal of Korea Multimedia Society
• /
• v.22 no.12
• /
• pp.1368-1375
• /
• 2019

In this paper, an prediction method is proposed for coding of depth pictures using spherical modeling. An spherical surface which has the least error from original depth values is modeled in a block. Pixels in the block are predicted through the parameters of the modeled spherical surface. Simulation results show that average prediction errors and entropy powers are improved to 30% and 200% comparing to the intra prediction of H.264/AVC, selection ratios of the proposed spherical modeling mode is more than 25%.

• Communications of the Korean Institute of Information Scientists and Engineers
• /
• v.25 no.11
• /
• pp.39-44
• /
• 2007