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

• International Journal of Naval Architecture and Ocean Engineering
• /
• v.10 no.1
• /
• pp.37-47
• /
• 2018

Dynamic simulation is critical for electrical ship studies as it obtains the necessary information to capture and characterize system performance over the range of system operations and dynamic events such as disturbances or contingencies. However, modeling and simulation of the interactive electrical and mechanical dynamics involves setting up and solving system equations in time-domain that is typically time consuming and computationally expensive. Accurate assessment of system dynamic behaviors of interest without excessive computational overhead has become a serious concern and challenge for practical application of electrical ship design, analysis, optimization and control. This paper aims to develop a systematic approach to classify the sophisticated dynamic phenomenon encountered in electrical ship modeling and simulation practices based on the design intention and the time scale of interest. Then a novel, comprehensive, coherent, and end-to-end mathematical modeling and simulation approach has been developed for the latest Medium Voltage Direct Current (MVDC) Shipboard Power System (SPS) with the objective to effectively and efficiently capture the system behavior for ship-wide system-level studies. The accuracy and computation efficiency of the proposed approach has been evaluated and validated within the time frame of interest in the cast studies. The significance and the potential application of the proposed modeling and simulation approach are also discussed.

• IE interfaces
• /
• v.2 no.2
• /
• pp.51-62
• /
• 1989

A computer-aided simulation modeling system has been developed to allow the automatic construction of complete discrete simulation models for queueing systems. Three types of knowledge are used in the specification and construction of a simulation modeling: Knowledge of queueing system, simulation modeling, and a target simulation language. This knowledge has been incorporated into the underlying rule base in the form of extraction and construction rule, and implemented via the expert system building tool, OPS5. This paper suggested a knowledge based approach for automatic programming to enable a user who lacks modeling knowledge and simulation language expertize to quickly build executable models.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.19 no.6
• /
• pp.769-778
• /
• 2016

Technical approach on the modeling, simulation and experimentation methods, which are applied for developing a constructive simulation and engagement experimentation software for supporting light weight torpedo operational tactics study, is introduced. Conceptual modeling for the weapon engagement and simulation entities, mathematical models for the simulation elements, approach for the design of experimentations are described, and screen shots of the software are also presented as some example results of experimentation and analysis. It is found that the simulation and experimentation results are useful to support and fulfill the mission needs and requests. As a consequence, the technical approach is rated to be appropriate to accomplish the dedicated purpose of the simulation and experiments.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• pp.253-258
• /
• 2002

This paper proposes a methodology for development of protocol models. The methodology attempts to employ two modeling environments in models development, NS2 and DEVSim++, which will interoperate during simulation. NS2 is a widely used network simulator in protocol research, which employs an informal modeling approach. Within the approach time and state information of protocol models are not explicitly described, thus being hard to validate model. On the other hand the DEVS formalism is a mathematical framework for modeling a discrete event system in a hierarchical, modular manner. In DEVS, model's time and state information is described explicitly, By using DEVS formalism, models can easily be validated and errors in the modeling stage can be reduced. However, the DEVS simulator, DEVSim++, supports a small amount of models library which are required to build simulation models of general communication network. Although NS2 employs an informal modeling approach and models validation is difficult, it supports abundant models library validated by experimental users. Thus, combination of DEVS models and NS2 models may be an effective solution for network modeling. Such combination requires interoperation between DEVSim++ simulator and NS2 simulator. This paper develops an environment for such interoperation. Correctness and effectiveness of the implemented interoperation environment have been validated by simulation of UDP and TCP models.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.4 no.4
• /
• pp.452-474
• /
• 2010

Formidable growth of Internet technologies has revealed challenging issues about its scale and performance evaluation. Modeling and simulation play a central role in the evaluation of the behavior and performance of the large-scale network systems. Large numbers of nodes affect simulation performance, simulation execution time and scalability in a weighty manner. Most of the existing simulators have numerous problems such as size, lack of system theoretic approach and complexity of modeled network. In this work, a scalable discrete-event modeling approach is described for studying networks' scalability and performance traits. Key fundamental attributes of Internet and its protocols are incorporated into a set of simulation models developed using the Discrete Event System Specification (DEVS) approach. Large-scale network models are simulated and evaluated to show the benefits of the developed network models and approaches.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.4
• /
• pp.261-270
• /
• 2009

We can save a lot of efforts and time to perform various kinds of multibody system dynamics simulations if the equations of motion of the multibody system can be formulated automatically. In general, the equations of motion are formulated based on Newton's $2^{nd}$law. And they can be transformed into the equations composed of independent variables by using velocity transformation matrix. In this paper the velocity transformation matrix is derived based on a topological modeling approach which considers the topology and the joint property of the multibody system. This approach is, then, used to formulate the equations of motion automatically and to implement a multibody system dynamics simulation program. To verify the the efficiency and convenience of the program, it is applied to the lifting simulation of a floating crane.

• Journal of the Korea Society for Simulation
• /
• v.2 no.1
• /
• pp.107-124
• /
• 1993

This paper presents an object -oriented simulation approach. AgvTalk, to design and analze AGV system configuration and control. Smalltalk-80 is used as an implementation language in AgvTalk. AgvTalk includes 25 object classes and more than 300 object methods in its library. Compared to general purpose simulation languages. AgvTalk provides several important benefits. First, the hierarchical features and modularity create possibilities for the extension and reuse of simulation object components. This extensibility and reusability provide more flexible modeling capabilities for simulation of many alternative AGV systems. Second, detailed behavior of each object in the AGV system can be modeled easily and exactly in AgvTalk because there are no limiting modeling constructs. Third, AgvTalk provides a user -friendly simulation modeling environment through the MVC -triad of Smalltalk-80.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2014.10a
• /
• pp.557-561
• /
• 2014

In this work, Altair Engineering's vibroacoustic modeling approach is used to simulate the acoustic signature of a simplified automobile in a wind tunnel. The modeling approach relies on a two step procedure involving simulation and extraction of acoustic sources using a high fidelity Computational Fluid Dynamics (CFD) simulation followed by propagation of the acoustic energy within the structure and passenger compartment using a structural dynamics solver. The tools necessary to complete this process are contained within Altair's HyperWorks CAE software suite. The CFD simulations are performed using AcuSolve and the structural simulations are performed using OptiStruct. This vibroacoustics simulation methodology relies on calculation of the acoustic sources from the flow solution computed by AcuSolve. The sources are based on Lighthill's analogy and are sampled directly on the acoustic mesh. Once the acoustic sources have been computed, they are transformed into the frequency domain using a Fast Fourier Transform (FFT) with advanced sampling and are subsequently used in the structural acoustics model. Although this approach does require the CFD solver to have knowledge of the acoustic simulation domain a priori, it avoids modeling errors introduced by evaluation of the acoustic source terms using dissimilar meshes and numerical methods. The aforementioned modeling approach is demonstrated on the Hyundai Simplified Model (HSM) geometry in this work. This geometry contains flow features that are representative of the dominant noise sources in a typical automobile design; namely vortex shedding from the passenger compartment A-pillar and bluff body shedding from the side view mirrors. The geometry also contains a thick poroelastic material on the interior that acts to reduce the acoustic noise. This material is modeled using a Biot material formulation during the structural acoustic simulation. Successful prediction of the acoustic noise within the HSM geometry serves to validate the vibroacoustic modeling approach for automotive applications.

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