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

In this paper, we propose a software design method that will track the effects of modifications in a component to the rest of the components in the design phase. The prediction of the effects due to the design modifications before coding can be a valuable aid for the complex and large software development. Within the method, the target system is represented by the structured I/O system level specification which is one of the system representation level defined by the system theory. Then it is abstracted to the I/O system level. The DEVS (Discrete Event System Specification) model is constructed based on tile I/O system level specification. Finally, the DEVS model is simulated to generate the behavior of the software by the abstract simulator in DEVS simulation environment. As an application, the graphic user interface system of a metal grating production scheduling system is presented.

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

• KIISE Transactions on Computing Practices
• /
• v.21 no.7
• /
• pp.488-493
• /
• 2015

An AddSIM(Adaptive distributed and parallel Simulation environment for Interoperable and reusable Models) is an integrated engagement simulation environment with high-resolution weapon system models for estimation and analysis of their performance and effectiveness. AddSIM can simultaneously handle the continuous dynamical system models based on continuous time, and command, control(C2) and network system models based on a discrete event. To accommodate legacies based on DEVS(Discrete Event System Specification) modeling, DEVS legacies must first be converted into AddSIM models. This paper describes how to implement DEVS models on AddSIM. In this study a method of mapping from hierarchical DEVS models to AddSIM players was developed: The hierarchical DEVS model should be flattened into a one layered model and four DEVS functions of the model, external transition, internal transition, output and time advance, should be mapped into functions of the AddSIM player.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.101-107
• /
• 2022

Modeling and simulation is a technique used for operational verification, performance analysis, operational optimization, and prediction of target systems. Discrete Event System Specification (DEVS) of this representative technology defines models with a strict formalism and stratifies the structures between the models. When the atomic DEVS models operate with an intention different the target system, the simulation may lead to erroneous decision-making. However, most DEVS systems have the exclusion of the model test or provision of the manual test, so developers spend a lot of time verifying the atomic models. In this paper, we propose a script-based automated test system for accurate and fast validation of atomic models in Python-based DEVS. The proposed system uses both the existing method of manual testing and the new method of the script-based testing. As Experimental results in our system, the script-based test method was executed within 24 millisecond when the script was executed 10 times consecutively. Thus, the proposed system guarantees a fast verification time of the atomic models in our script-based test and improves the reusability of the test script.

• Journal of the Korea Society for Simulation
• /
• v.4 no.2
• /
• pp.17-30
• /
• 1995

One of many factors that influences the profit of an enterprise is the amount of the stock in an enterprise. When the stock amounts are optimal the economic burden of the enterprise decreases which in turn results in the optimum number of employment and spatial utilization of storages. The purpose of this study is the simulation modeling of a material stock control system using DEVS models in order to get the most suitable stock amounts. The stock within an enterprise is built by the orders from outside world. The effect on the stock by the factors such as order, delivery, and production components has been analyzed based on simulation results.

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

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

There are many excellent characters of Java-based simulation compared with existing ones in the respect of running on the Internet/Web, reuse, integration and etc.. In this paper, the main idea of design and realization of Java-based modeling and simulation software for DEVS will be discussed in detail.

• Journal of Engineering Education Research
• /
• v.16 no.5
• /
• pp.18-23
• /
• 2013

A curriculum is a measure of how high level of knowledge is educated to students affiliated to university institutions, and is used as an indicator evaluating usefulness of the university institutions. For this reason, Designing and assessing curricula is a critical to high education institutions. However, in the case of development and quality assessment of a curriculum with a traditional way, finding a right curriculum which a designer intends is a time consuming and error-prone process. Therefore, in order to improve these problems, we propose the curriculum design engine using SES (System Entity Structure) / DEVS (Discrete Event System Specification) Framework in this paper. The SES describes all possible combination of curricula for students. The DEVS framework provides a simulation environment for models created from the SES by the students. The proposed engine will show appropriate curricula for students after a simulator appropriately filters students' requirement, according to conditions.

• Journal of the Korea Society for Simulation
• /
• v.8 no.1
• /
• pp.113-138
• /
• 1999

Driven by the explosive expansion and acceptance of the Internet and its multimedia front-end, the Web, a new generation of the modeling and simulation tools have come up with the name of Web-Based Simulation (WBS). Most of WBS libraries inherit its powerful advantages from Java. However, there are cases where explicit specification of models or interface objects is more desirable than the black-box programs. This paper presents an XML-based DEVS (Discrete Event System Specification) markup language for sharing simulation models on the Web. DEVS provides a system-theoretic formalism for the language while XML supports platform-independent data access. This paper focuses on the design of such a language.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.3
• /
• pp.90-99
• /
• 2007

The DEVS formalism has the well-defined relationship between its model and simulator. However, it does not define the connection between its model and experimental frame needed when a simulator's implemented with it. So, in most DEVS based simulators, the modules of the two parts are tangled, so that changing and reusing them is not easy. This paper proposes a method to improve the changeability of the experimental frame and the reusability of the model by modularizing the two parts using the AOP technology. I applied the new method to a real project, and the result shows that it improves the two qualities effectively than before.