• Journal of Advanced Navigation Technology
• /
• v.24 no.3
• /
• pp.184-191
• /
• 2020

Avionics System Integration Laboratory is the integrated test environment for integration and verification of avionics systems. When real equipment can not be used in the laboratory for various reasons, software models should be needed. Because there hasn't been any standardized method for the models so that it is difficult to reuse the developed models, the need for a framework to develop the avionics software models was emerged. We adopted DEVS(discrete event system specification) formalism as the standardized modeling method for the avionics software models. Due to DEVS formalism is based on event-driven algorithm, it doesn't accord a legacy system which has sequential and periodic algorithms. In this paper, we propose real-time event-driven modeling and simulation method for SIL to overcome these restrictions and to maximize reusability of avionics models through the analysis of the characteristics and the limitations of avionics models.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.2
• /
• pp.96-104
• /
• 2009

It gradually becomes important to study on how to efficiently integrate and manage plant lifecycle data such as 2D schematic and 3D solid data, logical configuration data, and equipment specifications data. From this point of view, converting plant design data from various systems into neutral data independent from any commercial systems is one of important technologies for the operation and management of plants which usually have a very long period of life. In order to achieve this goal, a neutral model for efficient integration and management of plant data was defined. After schema mapping between one of specification-driven plant design systems and the neutral model was performed, a plant data translator is also implemented according to the mapping result. Finally, by experiments with nuclear power plant design, the feasibility of the translator was demonstrated.

• Journal of Computational Design and Engineering
• /
• v.1 no.4
• /
• pp.233-242
• /
• 2014

A magnetically levitated vehicle (Maglev) system is under commercialization as a new transportation system in Korea. The Maglev is operated by an unmanned automatic control system. Therefore, the plan of train operation should be carefully established and validated in advance. In general, when making a train operation plan, statistically predicted traffic data is used. However, a traffic wave often occurs in real train service, and demand-driven simulation technology is required to review a train operation plan and service quality considering traffic waves. We propose a method and model to simulate Maglev operation considering continuous demand changes. For this purpose, we employed a discrete event model that is suitable for modeling the behavior of railway passenger transportation. We modeled the system hierarchically using discrete event system specification (DEVS) formalism. In addition, through implementation and an experiment using the DEVSim++ simulation environment, we tested the feasibility of the proposed model. Our experimental results also verified that our demand-driven simulation technology can be used for a priori review of train operation plans and strategies.

• Journal of Internet Computing and Services
• /
• v.20 no.2
• /
• pp.69-76
• /
• 2019

Recent Enterprise System has component driven real-time distributed architecture (RDA) and this kind of architecture should performed with satisfying strict constraints on life cycle of object and response time such as synchronization, transaction and so on. Microsoft's .NET platform supports RDA and is able to implement services including before mentioned time restriction and security service by only specifying attribute code and maximizing advantages of OMG's Model Driven Architecture (MDA). In this study, a method to automatically generate an extended model of essential elements in an enterprise-system-based RDA as well as the platform specific model (PSM) for Microsoft's .NET platform are proposed. To realize these ideas, the functionalities that should be considered in enterprise system development are specified and defined in a meta-model and an extended UML profile. In addition, after defining the UML profile for .NET specification, these are developed and applied as plug-ins of the open source MDA tool, and extended models are automatically generated using this tool. Accordingly, by using the proposed specification technology, the profile and tools can easily and quickly generate a reusable extended model even without detailed coding-level information about the functionalities considered in the .NET platform and RDA.

• 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 Korean Society of Manufacturing Technology Engineers
• /
• v.20 no.4
• /
• pp.376-381
• /
• 2011

CVT(Continuously Variable Transmission) is one of the most promising candidates for the future automobile transmission because of its continuously variable gear ratio and reduced shift shock. It is also possible to operate the power source at its high efficiency region with CVT. The CVT system consists of thrust plate, driving pulley, belt, driven pulley, and preload spring of output shaft. In this paper, the dynamic modeling of a CVT system is completed to obtain the static performances of CVT system. A simulator is implemented on Matlab(Simulink), which can analyse the static performances of a CVT system. The methods for improving the total efficiency of a motorcycle system are also proposed based on the simulation results. In this study we increase the capacity factor of CVT up to the three times of default specification.

• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.450-450
• /
• 2000

This paper presents a software design simulation method for controlling multiple mechanism carrier system (MMCS), which is mainly used in a wrapping machine or a case packing machine. This method uses a mechanical tool-work interactive model proposed in this paper, in order to represent the interactive behaviors between some tools and a work driven by their tools, in which low effect states of a work are defined. Based on this method, a 3-D simulation system has been built. It consists of shape modeling of each device, behavior definitions of tools, and control logic using if-then expression. By applying it to a ase packing machine having about 30 mechanical devices and 100 inputs/outputs for control, the effectiveness of this method has been shown in general verification of control logic specification in an early software design phase and the possibility of smooth communication tool between mechanical and software designers.

• Spatial Information Research
• /
• v.8 no.1
• /
• pp.15-29
• /
• 2000

In the Recent rapidly changing technology environment the computerization of administration business which is driven or will be driven to give improved information services to people by local government or central government with a huge budget. The possibility of applying GIS application component to the computerization of administration business is investigated to prevent local government from investing redundant money and to reuse the existing investment at this point of time. Land civil service application component was developed at the $\ulcorner Development of Open GIS Component S/W \lrcorner$ project which was managed by Ministry of Information and Communication . GIS application component was based on Open GIS OLE/COM specification for development of standard interface and USD(Unified System Development ) for development method and UML (Unified Modeling Language) for system design and Visual C++ for component implementation. Implemented components were Process Control, Map, Print, Statistics component and were verified by using Visual Basic and Delhi. tis study shows that the development of component is very useful at the GIS application development for local governments. But the standard of business and data and system is the essential prerequisite to maximize business application.

• Journal of the Korea Society for Simulation
• /
• v.20 no.3
• /
• pp.89-100
• /
• 2011

The MAGLEV (Magnetically Levitated Vehicle) system, which is under commercialization as a new transportation system in Korea, is operated by means of unmanned automatic control system. Therefore the plan of train operation should be carefully established and validated in advance. In general, when making the train operation plan, the statistically predicted traffic data is used. However, traffic wave can occur when real train service is operated, and the demand-driven simulation technology is required to review train operation plans and service qualities considering traffic wave. This paper presents a method and model to simulate the MAGLEV's operation considering continuous demand changes. For this purpose, we employed the discrete event model which is suitable for modeling the behavior of railway passenger transportation, and modeled the system hierarchically using DEVS (Discrete Event System Specification) formalism. In addition, through the implementation and experiment using DEVSim++ simulation environment, we tested the feasibility of the proposed model and it is also verified that our demand-driven simulation technology could be used for the prior review of the train operation plans and strategies.

• Journal of the Korea Society of Computer and Information
• /
• v.8 no.3
• /
• pp.16-25
• /
• 2003

Modeller is defined as the office work procedures(business processes), and that is systemically based upon the real-time collaborative operations by a set of actors, which is called group. This paper describes the design of the ICN editor that is operable under the real-time collaborative computing environment. We use the database agent that enables the ICN editor to operate among multiple actors(group) through the event-driven collaboration platform. Consequently, a set of workflow and business processes defined through this editor is not only stored onto database but also transformed into the format of the workflow process definition language(WPDL) that is a standardized worflow description and specification language proposed by the workflow management coalition(WfMC). This method can improve the performance of workflow processing by minimizing the workflow execution cost occurred during workflow definition.