• Journal of the Korea Society for Simulation
• /
• v.8 no.3
• /
• pp.91-103
• /
• 1999

This paper proposes an algorithm which reduces transportation cost while goods are delivered in time in a logistics system. The logistics system assumed in this paper is the system in which multiple cars moves various goods from spatially distributed warehouses to stores. For reducing transportation cost, the car assignment algorithm which allocates goods to minimal cars employs the BF method; routing of each car is modelled as the TSP and is solved by using the genetic algorithm. For evaluating the proposed algorithm, the logistics system is modelled and simulated by using the DEVS formalism. The DEVS formalism specifies discrete event systems in a hierarchical, modular manner. During simulation, each car is modelled as a message and traverses warehouse and stores. When a car arrives at a warehouse or a store, predetermined amount of goods are loaded or unloaded. The arrival time and departure time of cars are analyzed and eventually whether goods are delivered in the desired time bound is verified.

• Journal of Information Processing Systems
• /
• v.17 no.1
• /
• pp.28-36
• /
• 2021

This paper proposes two novel methods to model and simulate a mobile Internet of Things (IoT) system using the discrete event system specification (DEVS) formalism. In traditional simulation methods, it is advantageous to partition the simulation area hierarchically to reduce simulation time; however, in this case, the structure of the model may change as the IoT nodes to be modeled move. The proposed methods reduce the simulation time while maintaining the model structure, even when the IoT nodes move. To evaluate the performance of the proposed methods, a prototype mobile IoT system was modeled and simulated. The simulation results show that the proposed methods achieve good performance, even if the number of IoT nodes or the movement of IoT nodes increases.

• Korean Journal of Computational Design and Engineering
• /
• v.18 no.1
• /
• pp.21-27
• /
• 2013

Presented in the paper is a log data based modeling method for effective construction of a virtual plant model which can be used for the virtual PLC (Programmable Logic Controller) simulation. For the PLC simulation, the corresponding virtual plant, consisting of virtual devices, is required to interact with the input and output symbols of a PLC. In other words, the behavior of a virtual device should be the same as that of the real device. Conventionally, the DEVS (Discrete Event Systems Specifications) formalism has been used to represent the behavior a virtual device. The modeling using DEVS formalism, however, requires in-depth knowledge in the simulation area, as well as the significant amount of time and efforts. One of the key ideas of the proposed method is to generate a plant model based on the log data obtained from the production system. The proposed method is very intuitive, and it can be used to generate the full behavior model of a virtual device. The proposed approach was applied to an AGV (Automated Guided Vehicle).

• 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 the Korea Society for Simulation
• /
• v.22 no.4
• /
• pp.109-118
• /
• 2013

This paper adopts the system configuration to assess the reliability instead of making a fault tree (FT), which is a traditional method to analyze reliability of a certain system; this is the reliability block diagram (RBD) method. The RBD method is a graphical presentation of a system diagram connecting the subsystems of components according to their functions or reliability relationships. The equipment model for the reliability simulation is modeled based on the discrete event system specification (DEVS) formalism. In order to make various alternatives of target system, this paper also adopts the system entity structure (SES), an ontological framework that hierarchically represents the elements of a system and their relationships. To enhance the calculation time of reliability analysis, GPU-based accelerations are adopted to the reliability simulation.

• Journal of Advanced Navigation Technology
• /
• v.24 no.3
• /
• pp.184-191
• /
• 2020

Avionics System Integration Laboratory is the integrated test environment for integration and verification of avionics systems. When real equipment can not be used in the laboratory for various reasons, software models should be needed. Because there hasn't been any standardized method for the models so that it is difficult to reuse the developed models, the need for a framework to develop the avionics software models was emerged. We adopted DEVS(discrete event system specification) formalism as the standardized modeling method for the avionics software models. Due to DEVS formalism is based on event-driven algorithm, it doesn't accord a legacy system which has sequential and periodic algorithms. In this paper, we propose real-time event-driven modeling and simulation method for SIL to overcome these restrictions and to maximize reusability of avionics models through the analysis of the characteristics and the limitations of avionics models.

• Journal of the Korea Society for Simulation
• /
• v.20 no.3
• /
• pp.89-100
• /
• 2011

The MAGLEV (Magnetically Levitated Vehicle) system, which is under commercialization as a new transportation system in Korea, is operated by means of unmanned automatic control system. Therefore the plan of train operation should be carefully established and validated in advance. In general, when making the train operation plan, the statistically predicted traffic data is used. However, traffic wave can occur when real train service is operated, and the demand-driven simulation technology is required to review train operation plans and service qualities considering traffic wave. This paper presents a method and model to simulate the MAGLEV's operation considering continuous demand changes. For this purpose, we employed the discrete event model which is suitable for modeling the behavior of railway passenger transportation, and modeled the system hierarchically using DEVS (Discrete Event System Specification) formalism. In addition, through the implementation and experiment using DEVSim++ simulation environment, we tested the feasibility of the proposed model and it is also verified that our demand-driven simulation technology could be used for the prior review of the train operation plans and strategies.

• Journal of the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.23-36
• /
• 2018

Discrete Event System Specification (DEVS) has been used for decades as it provides sound semantics for hierarchical modular specification of discrete event systems. Instead of the mathematical specification, the DEVS diagram, based on the structured DEVS formalism, has provided more intuitive and convenient representation of complex DEVS models. This paper proposes a clean room process for implementation and verification of a DEVS diagram model specification into a simulation software source code. Specifically, it underlies a sequence of transformation steps from conformance and integrity checking of a given diagram model, translation into a corresponding tabular model, and finally conversion to a simulation source code, with each step being inversely verifiable for traceability. A simple example helps developers to understand the proposed process with associated transformation methods; a case study shows that the proposed process is effective for and adaptable to practical simulation software development.

• Journal of Korea Multimedia Society
• /
• v.19 no.12
• /
• pp.2024-2035
• /
• 2016

Modern industry requires people with the ability to create and improve their knowledge. Most educational institutions have used mentoring activities which can train those people. Then each of the institutions has different directions because they work in their own fields. For that reason, many people which want to make new mentoring program have no choice but to go through many trials and errors. This paper deals with the design method of basic process model for mentoring based on DEVS in order that people plan a new mentoring business or make a new mentoring group easily. Our proposed model is expected to be used as a guide to establish procedures for mentoring systems.

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

The sophistication of current software applications results in the increasing cost fur software development time. The component-based software development framework is proposed to overcome the difficulty and time-consuming requirements by modularity and reusability. As is the general software case, a component-based simulation framework encourages the reusability of the real system model based on the modularity of the applied simulation methodology. This paper presents a component-based simulation environment that is based on the DEVS/COM run-time infrastructure. The DEVS (Discrete Event System Specification) formalism provides a formal modeling and simulation framework for the generic dynamic systems [1] and Microsoft's COM (Component Object Model) is one of the strongest competitor fur the component standard. The reusability by the DEVS/COM simulation environment saves model development time remarkably and component technology make simulator itself to be a subparts of real application.