• Title/Summary/Keyword: modeling and simulation

Search Result 6,423, Processing Time 0.036 seconds

Framework for Component-based Modeling/Simulation of Discrete Event Systems

  • Cho, Young-Ik;Kim, Jae-Hyun;Kim, Tag-Gon
    • 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.

  • PDF

Attacker and Host Modeling for Cyber-Attack Simulation (사이버 공격 시뮬레이션을 위한 공격자 및 호스트 모델링)

  • 정정례;이장세;박종서;지승도
    • 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.

  • PDF

VRML as a Modeling Language for 3D Visual Interactive Simulation (3차원 대화형 시뮬레이션 모델기술언어로서의 VRML)

  • 김형도
    • 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.

  • PDF

System of Systems Approach to Formal Modeling of CPS for Simulation-Based Analysis

  • Lee, Kyou Ho;Hong, Jeong Hee;Kim, Tag Gon
    • 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.

A Framework Development for BIM-based Object-Oriented Physical Modeling for Building Thermal Simulation (객체지향 물리적 모델링 기법을 활용한 BIM기반 통합 건물에너지 성능분석 모델 구축 및 활용을 위한 프레임워크 개발 - 건물 열부하 시뮬레이션 중심으로 -)

  • Jeong, WoonSeong
    • 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.

DISCRETE EVENT SYSTEM SIMULATION APPROACH FOR AN OPERATION ANALYSIS OF A HEADEND PROCESS FACILITY

  • Lee, Hyo-Jik;Kim, Sung-Hyun;Park, Byung-Suk
    • 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.

A Study on Discrete-Continuous Modeling Methodology for Supply Chain Simulation (공급사슬시뮬레이션을 위한 이산-연속 모델링 방법에 관한 연구)

  • 김서진;이영해
    • 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.

  • PDF

Worm Virus Modeling and Simulation Methodology Using Artificial Life. (인공생명기반의 웜 바이러스 모델링 및 시뮬레이션 방법론)

  • Oh Ji-yeon;Chi Sung-do
    • 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.

  • PDF

Hierarchical Modeling Methodology for Contraint Simulations (제약조건이 있는 시뮬레이션을 위한 계층적 모델링 방법론)

  • 이강선
    • 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.

  • PDF

A study for production simulation model generation system based on data model at a shipyard

  • Back, Myung-Gi;Lee, Dong-Kun;Shin, Jong-Gye;Woo, Jong-Hoon
    • International Journal of Naval Architecture and Ocean Engineering
    • /
    • v.8 no.5
    • /
    • pp.496-510
    • /
    • 2016
  • Simulation technology is a type of shipbuilding product lifecycle management solution used to support production planning or decision-making. Normally, most shipbuilding processes are consisted of job shop production, and the modeling and simulation require professional skills and experience on shipbuilding. For these reasons, many shipbuilding companies have difficulties adapting simulation systems, regardless of the necessity for the technology. In this paper, the data model for shipyard production simulation model generation was defined by analyzing the iterative simulation modeling procedure. The shipyard production simulation data model defined in this study contains the information necessary for the conventional simulation modeling procedure and can serve as a basis for simulation model generation. The efficacy of the developed system was validated by applying it to the simulation model generation of the panel block production line. By implementing the initial simulation model generation process, which was performed in the past with a simulation modeler, the proposed system substantially reduced the modeling time. In addition, by reducing the difficulties posed by different modeler-dependent generation methods, the proposed system makes the standardization of the simulation model quality possible.