• 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 the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.78-85
• /
• 2007

A gun is still one of the major weapons of a combat ship. To assess the ship's fire control capability which is influenced by tracking system, fire control algorithm, gun, the ship itself, target behavior, environment and engagement situation, simulation system for gun-oriented engagement for surface ship is needed. This paper proposes the process for designing and implementing a gun-oriented engagement simulation system using DEVS(Discrete Event Simulation Specification), which is a formalism based on the set theory. It consists of the following activities : 1) analyzing the characteristics of a gun-oriented engagement, 2) constructing the deterministic model of the combat ship of study with DEVS, 3) modeling properties of each entity showing as stochastic errors. With this process, the gun-oriented engagement simulation system is developed and applied for the combat system under development.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2014.05a
• /
• pp.196-197
• /
• 2014

Low carbon construction is an important operation management goal such as cost, time, and quality in construction community. This paper introduces a system which measures the variability of carbon dioxide amounts. First, this system allows creating construction operation models of which the level of detail is breakdown into the work task level. Second, the system implements sensitivity analysis along with a ranges of resources that are allocated in an operation model. It facilitates to find the optimal resource combination using the operation performances such as the amount of emissions, operation completion time, and cost. Lastly, it identifies the best fit probability distribution functions of performance criteria given a certain resource combination. It allows project manager to query the percentages to complete the operation within a limitation specified by the system users.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2016.05a
• /
• pp.158-159
• /
• 2016

Construction project consists of several stages such as planning, design, construction, operation/maintain, etc. Decisions made in the planning and design stage have a significant impact on the construction and operation/maintain stages. Identifying key resources contributing to duration and cost of design alternatives is an important measure to achieve effective coordination between design and construction. This study proposes a method which finds an optimal design alternative by taking into account of resource planning, expected duration, and cost in construction stage. Base on literature review relative to the assessment of design alternatives, a method which predicts required resources, duration, and cost of the design alternative is established. Then, a method that identifies an optimal design alternative based on the preference of a certain project criteria is developed. Finally, a case study is presented.

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

This article describes the application of discrete event simulation in a process industry (coffee manufacturing) as a daily production-scheduling tool. A large number of end products (around 300), sporadic demand, and limited shelf life of coffee (90 days) make it difficult to generate feasible production schedules manually. To solve this problem an integrated system was developed incorporating discrete event simulation methodology into scheduling process. The integrated system is comprised of two components: a scheduling program and a simulation model. The scheduling program is used to generate daily schedules for roasting, grinding, and packing coffee. The simulation model uses the generated schedules to simulate the production of coffee and regenerates a modified production schedule. In this paper, each of the components will be described in detail, evaluated in terms of performance factors, and validated with a set of real production data. Although this article focuses on a specific system, we will share our experiences and intuitions gained and encourage other process industries to develop simulation-based scheduling tools.

• International conference on construction engineering and project management
• /
• 2009.05a
• /
• pp.1359-1363
• /
• 2009

The object of this research is to develop a simulation system for earthmoving operations in consideration of the impact of congestion in-between equipment and existing traffic flow around the site. The congestion in-between equipment and traffic flow affect work productivity. The conventional discrete event simulation, however, has limitations in simulating the flow of construction equipment. To consider the impact of congestion in-between equipment and existing traffic flow, in this paper, a multi-agent based simulation model that can realize characteristics of truck behavior more accurately to consider the impact of congestion was proposed. In this simulation model, multiple agents can identify environmental changes and adapt themselves to the new environment. This modeling approach is a better choice for this problem since it describes behavioral characteristics of each agent by sensing changes in dynamic surroundings. This study suggests a detailed system design of the multi-agent based simulation system.

• Journal of Korean Institute of Industrial Engineers
• /
• v.42 no.2
• /
• pp.151-164
• /
• 2016

In this paper, we deal with a risk analysis for an IPS (Integrated power system) and propose a simulation model combining the fault tree and event tree in order to estimate the system availability and risk level, together. Firstly, the basic information such as operational scenarios, physical structure, safety systems is explained in order to make the fault tree and event tree of the IPS. Next, we propose a discrete-event simulation model using a next-event time advance technique to advance the simulation time. Also the state transition and activity diagrams are explained to represent the relationship between the objects. By numerical examples, the redundancy allocation is considered in order to decrease the risk level of the IPS.

• Advances in Computational Design
• /
• v.3 no.4
• /
• pp.405-418
• /
• 2018

Building Information Modelling (BIM) and Discrete Event Simulation (DES) are tools widely used in the context of the construction industry. While BIM is used to represent the physical and functional characteristics of a facility, DES models are used to represent its construction process. Integrating both is beneficial to those interested in the field of construction management since it has many potential applications. Game engines provide a human navigable 3D virtual environment in which the integrated BIM and DES models can be visualised and interacted with. This paper reports the experience obtained while developing a simulator prototype which integrates a BIM and a DES model of a single construction activity within a commercial game engine. The simulator prototype allows the user to visualise how the duration of the construction activity is affected by different input parameters interactively. It provides an environment to conduct DES studies using the user's own BIM models. This approach could increase the use of DES technologies in the context of construction management and engineering outside the research community. The presented work is the first step towards the development of a serious game for construction management education and was carried out to determine the suitable IT tools for its development.

• 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.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1990.04a
• /
• pp.22-31
• /
• 1990

In this paper, we have studied modelling and simulation of computer communication protocols theoretically. After describing a definition and functions of communication protocols, we have classified models for protocol design. And, in those protocol models, by endowing Timed Petri Net (TPN) models with a time function .tau., we have proposed a structural definition of TPN models. Furthermore, in order to complement Petri Net Based models with some problems, we have introduced the Discrete EVent system Specification (DEVS) concept in system simulation field. As an important result of our study, we have presented a theorem, which says that a TPN model becomes a DEVS model, and proved it. According to the theorem, we can perform efficient simulation by using the DEVS model transformed from a TPN model when we intend the TPN model to be simulated, otherwise we design another simulation model for it.