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

• Journal of the Korea Society for Simulation
• /
• v.6 no.1
• /
• pp.15-24
• /
• 1997

VRML (Virtual Reality Modeling Language) is an Web-based standard for modeling 3D spaces and provides applications with 3D interactive interfaces. With its recent upgrade, it supports events, routes, scripts, and other behavior modeling constructs. This paper approaches VRML as a simulation modeling language. This approach promotes the sharing and distribution of simulation results and demonstration among distributed users as well as efficient modeling of systems through the direct mapping of 3D objects and behaviors. This paper analyzes the behavior modeling constructs of VRML, presents effective modeling alternatives through the modeling of a simple material processing system, and discusses the upgrade direction of VRML as a foundation for distributed interactive simulation system.

• Journal of the Korea Society for Simulation
• /
• v.12 no.2
• /
• pp.63-73
• /
• 2003

The major objective of this paper is to propose the method of attacker and host modeling for cyber-attack simulation. In the security modeling and simulation for information assurance, it is essential the modeling of attacker that is able to generate various cyber-attack scenarios as well as the modeling of host, which is able to represent behavior on attack concretely The security modeling and simulation, which was announced by Cohen, Nong Ye and etc., is too simple to concretely analyze attack behavior on the host. And, the attacker modeling, which was announced by CERT, Laura and etc., is impossible to represent complex attack excepting fixed forms. To deal with this problem, we have accomplished attacker modeling by adopted the rule-based SES which integrates the existing SES with rule-based expert system for synthesis and performed host modeling by using the DEVS formalism. Our approach is to show the difference from others in that (ⅰ) it is able to represent complex and repetitive attack, (ⅱ) it automatically generates the cyber-attack scenario suitable on the target system, (ⅲ) it is able to analyze host's behavior of cyber attack concretely. Simulation tests performed on the sample network verify the soundness of proposed method.

• ETRI Journal
• /
• v.37 no.1
• /
• pp.175-185
• /
• 2015

This paper presents a system-of-systems (SoS) approach to the formal modeling of a cyber-physical system (CPS) for simulation-based analysis. The approach is based on a convergence technology for modeling and simulation of a highly complex system in which SoS modeling methodology, hybrid systems modeling theory, and simulation interoperation technology are merged. The methodology maps each constituent system of a CPS to a disparate model of either continuous or discrete types. The theory employs two formalisms for modeling of the two model types with formal specification of interfaces between them. Finally, the technology adapts a simulation bus called DEVS BUS whose protocol synchronizes time and exchange messages between subsystems simulation. Benefits of the approach include reusability of simulation models and environments, and simulation-based analysis of subsystems of a CPS in an inter-relational manner.

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

Most of supply chain simulation models have been developed on the basis of discrete-event simulation. Since supply chain systems are neither completely discrete nor continuous, the need of constructing a model with aspects of both discrete-event simulation and continuous is provoked, resulting in a combined discrete-continuous simulation. Continuous simulation concerns the modeling over time of a system by a representation in which the state variables change continuously with respect to time. In this paper, an architecture of combined modeling for supply chain simulation is proposed, which presents the equation of continuous part in supply chain and how these equations are used supply chain simulation models. A simple supply chain model is demonstrated the possibility and the capability of this approach.

• KIEAE Journal
• /
• v.15 no.5
• /
• pp.95-105
• /
• 2015

Purpose: This paper presents a framework development for BIM (Building Information Modeling)-based OOPM (Object-Oriented Physical Modeling) for Building Thermal Simulation. The framework facilitates decision-making in the design process by integrating two object-oriented modeling approaches (BIM and OOPM) and efficiently providing object-based thermal simulation results into the BIM environment. Method: The framework consists of a system interface between BIM and OOPM-based building energy modeling (BEM) and the visualization of simulation results for building designers. The interface enables a BIM models to be translated into OOPM-based BEM automatically and the thermal simulation from the created BEM model immediately. The visualization module enables the simulation results to be presented in BIM for building designers to comprehend the relationships between design decisions and the building performances. For the framework implementation, we utilized the Modelica Buildings Library developed by the Lawrence Berkeley National Laboratory as a thermal simulation solver. We also conducted an experiment to validate the framework simulation results and demonstrate our framework. Result: This paper demonstrates a new methodology to integrate BIM and OOPM-based BEM for building thermal simulation, which enables an automatic translation BIM into OOPM-based BEM with high efficiency and accuracy.

• Nuclear Engineering and Technology
• /
• v.41 no.5
• /
• pp.739-746
• /
• 2009

This paper introduces facility operation modeling and simulation based primarily on a discrete event system modeling scheme. Many modern industrial facilities are so complex that their operational status cannot be estimated by simple calculations. In general, a facility can consist of many processes and transfers of material between processes that may be modeled as a discrete event system. This paper introduces the current status of studies on operation modeling and simulation for typical nuclear facilities, along with some examples. In addition, this paper provides insights about how a discrete event system can be applied to a model for a nuclear facility. A headend facility is chosen for operation modeling and the simulation, and detailed procedure is thoroughly described from modeling to an analysis of discrete event results. These kinds of modeling and simulation are very important because they can contribute to facility design and operation in terms of prediction of system behavior, quantification of facility capacity, bottleneck identification and efficient operation scheduling.

• Journal of the Korea Society for Simulation
• /
• v.9 no.4
• /
• pp.41-50
• /
• 2000

We have many simulation constraints to meet as a modeled system becomes large and complex. Real-time simulations are the examples in that they are constrained by certain non-function constraints (e.g., timing constraints). In this paper, an enhanced hierarchical modeling methodology is proposed to efficiently deal with constraint-simulations. The proposed modeling method enhances hierarchical modeling methods to provide multi-resolution model. A simulation model is composed by determining the optimal level of abstraction that is guaranteed to meet the given simulation constraints. Four modeling activities are defined in the proposed method: 1) Perform the logical architectural design activity to produce a multi-resolution model, 2) Organize abstraction information of the multi-resolution model with AT (Abstraction Tree) structure, 3) Formulate the given constraints based on U (Integer Programming) approach and embrace the constraints to AT, and 4) Compose a model based on the determined level of abstraction with which the multi-resolution model can satisfy all given simulation constraints. By systematically handling simulation constraints while minimizing the modeler's interventions, we provide an efficient modeling environment for constraint-simulations.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.11a
• /
• pp.171-179
• /
• 2005

Computer virus modeling and simulation research has been conducted with focus on the network vulnerability analysis. However, computer virus generally shows the biological virus characters such as proliferation, reproduction and evolution. Therefore it is necessary to research the computer virus modeling and simulation using Artificial Life. The approach of computer modeling and simulation using the Artificial Life technology Provides the efficient analysis method for the effects on the network by computer virus and the behavioral mechanism of the computer virus. Hence this paper proposes the methodology of computer virus modeling and simulation using Artificial Life, which may be contribute the research on the computer virus vaccine.

• IE interfaces
• /
• v.8 no.3
• /
• pp.61-73
• /
• 1995

As the level of maunfacturing system automation increases, the issues of modeling and simulation of AMS(Automated Manufacturing System) are becoming more important. Proposed in this paper is the JR-Net(Job Resource relation-Net) modeling framework which naturally mimics the process of designing an AMS by FA(Factory Automation) engineers. Its main purpose is to provide a modeling tool which facilitate modeling work of AMS for FA engineers unfamiliar with simulation modeling. The proposed modeling scheme is based on the extensive observation that typical AMSs are built from the set of 'standard' components(or catalog items). As an application of the proposed model, two real examples of FMS('G7'FMS model plant, RPI FMS) are modeled by JR-Net, and in case of FMS model plant, a simulation program development procedure using JR-Net modeling results is explained. Finally, simulation result of FMS model plant is analyzed.