• Journal of the Korea Society for Simulation
• /
• v.9 no.1
• /
• pp.67-81
• /
• 2000

In this paper, a new software package for modeling and simulating discrete-event dynamic systems is developed. The new software is a general-purpose, graphical tool based on timed Petri-nets and is developed using Visual Basic and Visual C++ for the window environment. It allows the user to graphically build a Petri-net model and enter input data for executing the Petri-net simulation model. It is equipped with a deadlock detection and recovery function as well as an automatic error check function. In addition, the software supports various enabling functions and distribution functions and provides various statistics for the performance measures of interests pertaining to the system. We expect the new software will be used in a wide number of applications including computer, communication and manufacturing systems.

• Journal of the Korea Society for Simulation
• /
• v.28 no.2
• /
• pp.149-158
• /
• 2019

This paper introduces an integrated Modeling & Simulation framework for the efficient development of the rescue robot which rescues a wounded patients or soldiers and disposes a dangerous objects or explosive materials in the battlefields and disastrous environments. An integrated M&S(Modeling & Simulation) framework would have enabled us to perform the dynamic simulation program GAZEBO based Software-in-the-Loop Simulation(SILS) which is to replacing the robot platform hardware with a simulation software. An integrated M&S framework would help us to perform designing robot and performance validation of robot control results more efficiently. Furthermore, Tele-operation performance in the unstructured environments could be improved. We review a case study of applying an integrated M&S framework tool in validating performance of mobility stabilization control, one of the most important control strategy in the rescue robot.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.203-203
• /
• 2000

The P&S(Power Plant Simulation System) is a powerful simulation software system for the dynamic behavior of power plants. The P&S module libraries provide plant models with higher flexibility of dynamic simulations for process and control designs. The P&S software was effectively available for PCS based on Linux and modem workstations based on Unix. The P&S was applied for simulating the dynamic behaviors of the SOVR(Supercritical Once-Through Variable Pressure Reheater) according to the operations such as stan-up, shutdown, load following, load change and trip in order to obtain an optimal operation procedure for Unit 5/6 of Taeahn fossil power plant consisted of SOVRs and steam turbines.

• Nuclear Engineering and Technology
• /
• v.44 no.2
• /
• pp.103-122
• /
• 2012

Significant advances in computational performance have occurred over the past two decades, achieved not only by the introduction of more powerful processors but the incorporation of parallelism in computer hardware at all levels. Simultaneous with these hardware and associated system software advances have been advances in modeling physical phenomena and the numerical algorithms to allow their usage in simulation. This paper presents a review of the advances in computer performance, discusses the modeling and simulation capabilities required to address the multi-physics and multi-scale phenomena applicable to a nuclear reactor core simulator, and present examples of relevant physics simulation codes' performances on high performance computers.

• Journal of the Korean earth science society
• /
• v.38 no.1
• /
• pp.80-90
• /
• 2017

To build tetrahedra mesh for FEM numerical analysis, Boundary Representation (B-Rep) model is required, which provides the efficient volume description of an object. In engineering, the parametric solid modeling method is used for building B-Rep model. However, a geological modeling generally adopts discrete modeling based on the triangulated surface, called a Sealed Geological Model, which defines geological domain by using geological interfaces such as horizons, faults, intrusives and modeling boundaries. Discrete B-Rep model is incompatible with mesh generation softwares in engineering because of discrepancies between discrete and parametric technique. In this research we have developed a converting program from Sealed Geological Model to Gmsh and COMSOL software. The developed program can convert complex geological model built by geomodeling software to user-friendly FEM software and it can be applied to geoscience simulation such as geothermal, mechanical rock simulation etc.

• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.209-218
• /
• 2008

The Unified Modeling Language becomes popular to specify, visualize, construct, and document software-intensive systems, especially in supporting the design phase of software engineering. Most of designs in UML have focused on firm designing of software system structure. Recently, some researches have raised additional demands in many emerging complex software systems, such as aspect-oriented design. In this paper, we work on the dynamic aspect of policy-driven architecture. We present a UML-based high-level modeling of policy-driven management which is applicable in various application domains. In order to manage a number of activities of applications, dynamics and flexibility should be supported with policies consistently on different resources in the same context. Thus, a methodology of meta-modeling to represent dynamic aspects of policy-driven architecture is studied. Based on our methodology, we could achieve meta-modeling to develop a number of policy-driven management applications.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.26 no.1
• /
• pp.91-101
• /
• 2023

Modeling and Simulation(M&S) technology has been widely used to solve constraints such as time, space, safety, and cost when we implement the same development and test environments as real warfare environments to develop, test, and evaluate weapon systems for the last several decades. The integration and test environments employed for development and test & evaluation are required to provide Live Virtual Construction(LVC) simulation environments for carrying out requirement analysis, design, integration, test and verification. Additionally, they are needed to provide computing environments which are possible to reconfigure computing resources and software components easily according to test configuration changes, and to run legacy software components independently on specific hardware and software environments. In this paper, an Integration Test and Simulation for Engagement Control(ITSEC) bed using a bare-metal virtualization mechanism is proposed to meet the above test and simulation requirements, and it is applied and implemented for an air missile defense system. The engagement simulation experiment results conducted on air and missile defense environments demonstrate that the proposed bed is a sufficiently cost-effective and feasible solution to reconfigure and expand application software and computing resources in accordance with various integration and test environments.

• The KIPS Transactions:PartD
• /
• v.16D no.6
• /
• pp.921-926
• /
• 2009

Vulnerabilities in software can result in many social and economic problems once it has already been deployed and put to use. Thus, the vulnerabilities should be seriously taken into consideration from the beginning step of software development. A modeling and simulation method for software can be adopted as a testing tool for establishing vulnerability inspection strategies. For verification of usability of this strategy, in this paper, we modeled the behavior of a DNS system using Ptolemy and the simulation was performed. The result shows that a well-known vulnerability of DNS server could be effectively found, which confirms that the modeling and simulation can be used for vulnerability testing.

• IE interfaces
• /
• v.13 no.3
• /
• pp.328-338
• /
• 2000

This paper reviews the general concept and application area of Supply Chain Management (SCM). Then, the general concept, function, modeling methodology, and operation methodology of Supply Chain Simulation are also reviewed. SCM software solutions and their modules developed by popular IT companies are introduced and compared. The role of simulation in SCM is emphasized as a strategic decision making solution for modeling and analyzing dynamics of a supply chain. Several stand-alone supply chain simulators are introduced and compared.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.24 no.4
• /
• pp.408-417
• /
• 2021

This paper describes the quality attributes of an integrated simulation software for weapon systems named Advanced distributed simulation environment(AddSIM). AddSIM is developed as a key enabler for Defense Modeling & Simulation(M&S) systems which simulate battlefields and used for battle experiments, analyses, military exercises, training, etc. AddSIM shall provide a standard simulation framework of the next Defense M&S systems. Therefore AddSIM shall satisfy not only functional but also quality requirements such as availability, modifiability, performance, testability, usability, and others. AddSIM consists of operating softwares of hierarchical components including graphical user interface, simulation engines, and support services(natural environment model, math utility, etc.), and separated weapon system models executable on the operating softwares. The relation between software architectures and their quality attributes are summarized from previous works. And the AddSIM architecture and its achievements in the aspect of quality attributes are reviewed.