• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.3
• /
• pp.613-628
• /
• 2019

In-Vehicle Infotainment provides navigation and various functions through the installation of the application. And infotainment is very important to control the entire vehicle by sending commands to the ECU. Infotainment supports a variety of wireless communication protocols to install and update applications. So Infotainment is becoming an attack surface through wireless communcation protocol for hacker's access. If malicious software is installed in infotainment, it can gain control of the vehicle and send a malicious purpose command to the ECU, affecting the life of the driver. Therefore, measures are needed to verify the security and reliability of infotainment software updates, and security requirements must be derived and verified. It must be developed in accordance with SDL to provide security and reliability, and systematic security requirements must be derived by applying threat modeling. Therefore, this paper conducts threat modeling to derive infotainment update security requirements. Also, the security requirements are mapped to the Common Criteria to provide criteria for updating infotainment software.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.3
• /
• pp.1702-1721
• /
• 2019

A workflow process (or business process) management system helps to define, execute, monitor and manage workflow models deployed on a workflow-supported enterprise, and the system is compartmentalized into a modeling subsystem and an enacting subsystem, in general. The modeling subsystem's functionality is to discover and analyze workflow models via a theoretical modeling methodology like ICN, to graphically define them via a graphical representation notation like BPMN, and to systematically deploy those graphically defined models onto the enacting subsystem by transforming into their textual models represented by a standardized workflow process definition language like XPDL. Before deploying those defined workflow models, it is very important to inspect its syntactical correctness as well as its structural properness to minimize the loss of effectiveness and the depreciation of efficiency in managing the corresponding workflow models. In this paper, we are particularly interested in verifying very large-scale and massively parallel workflow models, and so we need a sophisticated analyzer to automatically analyze those specialized and complex styles of workflow models. One of the sophisticated analyzers devised in this paper is able to analyze not only the structural complexity but also the data-sequence complexity, especially. The structural complexity is based upon combinational usages of those control-structure constructs such as subprocesses, exclusive-OR, parallel-AND and iterative-LOOP primitives with preserving matched pairing and proper nesting properties, whereas the data-sequence complexity is based upon combinational usages of those relevant data repositories such as data definition sequences and data use sequences. Through the devised and implemented analyzer in this paper, we are able eventually to achieve the systematic verifications of the syntactical correctness as well as the effective validation of the structural properness on those complicate and large-scale styles of workflow models. As an experimental study, we apply the implemented analyzer to an exemplary large-scale and massively parallel workflow process model, the Large Bank Transaction Workflow Process Model, and show the structural complexity analysis results via a series of operational screens captured from the implemented analyzer.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2022.05a
• /
• pp.488-490
• /
• 2022

Recently, interest in industrial accidents such as the Industrial Safety and Health Act and the Serious Accident Punishment Act is increasing, and the demand for safety managers for safety management of workers in research institutes and industrial fields of various fields is increasing. For worker safety management, CCTVs are being installed in factories and workplaces, and workers are monitored to enhance safety management. In this paper, we intend to design a dangerous situation assessment system by constructing data using CCTV in such a workplace and modeling it in JSON format. The data modeling was produced by referring to the data set construction guide for artificial intelligence learning and the quality management guideline of the Korea National Information Society(NIA). Through this system, we want to check what kind of risk management exists in the workplace by risk situation scenario and use it to build a more systematic system.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.23 no.3
• /
• pp.174-181
• /
• 2018

This study introduces a systematic approach to selecting the internal parameters applied to the equivalent electrical-circuit model (EECM) of a lithium titanium oxide ($Li_4Ti_5O_{12}$; LTO) rechargeable cell. Based on the dynamic characteristic of the cell, a simplified EECM consisting of an open-circuit voltage (OCV), an ohmic resistance, and an RC ladder is fabricated. To select the internal parameters of a simplified EECM, experiments on discharge capacity, OCV, and discharge/charge resistances are performed using hybrid pulse power characterization and direct current internal resistance (DCIR) measurements over the full state-of-charge (SOC) range. The experimental results of the LTO rechargeable cell highlight the importance of correct selection of internal parameters that can reduce EECM errors. This study clearly provides experimental procedures, internal parameters results, and EECM guidelines for adaptive control-based SOC estimation for LTO rechargeable cells.

• Proceedings of the KSME Conference
• /
• 2001.11a
• /
• pp.330-335
• /
• 2001

While contacting directly with ground, the tire tread part is in shape of complex patterns of variable ASDs(anti-skid depth) for various tire performances. However, owing to the painstaking mesh generation job and the extremely long CPU-time, conventional 3-D tire analyses have been performed by either neglecting tread pattern or modeling circumferential grooves only. As a result, such simplified analysis models lead to considerably poor numerical expectations. This paper addresses the development of a systematic 3-D mesh generation of tires considering the detailed tread pattern. Basically, tire body and tread meshes are separately generated, and then both are to be combined. For the systematic mesh generation, which consists of a series of meshing steps, we develop in-house subroutines which utilize the useful functions of I-DEAS solid modeler. The detailed pattern mesh can be imparted partially or completely.

• New & Renewable Energy
• /
• v.16 no.4
• /
• pp.33-40
• /
• 2020

The research topics of more than 1,900 wind energy papers registered in the Korean Journal Citation Index (KCI) were modeled into 25 topics using latent directory allocation (LDA), and their consistency was cross-validated through principal component analysis (PCA) of the document word matrix. Key research topics in the wind energy field were identified as "offshore, wind farm," "blade, design," "generator, voltage, control," 'dynamic, load, noise," and "performance test." As a new method to determine the similarity between research topics in journals, a systematic evaluation method was proposed to analyze the correlation between topics by constructing a journal-topic matrix (JTM) and clustering them based on topic similarity between journals. By evaluating 24 journals that published more than 20 wind energy papers, it was confirmed that they were classified into meaningful clusters of mechanical engineering, electrical engineering, marine engineering, and renewable energy. It is expected that the proposed systematic method can be applied to the evaluation of the specificity of subsequent journals.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.22 no.1
• /
• pp.81-90
• /
• 2004

Because satellite images include geometry distortions according to photographing conditions and sensor property, and their spatial and radiational resolution and spectrum resolution are different, it is so difficult to make a precise results of analysis. For comparing more than two images, the precise geometric corrections should be preceded because it necessary to eliminate systematic errors due to basic sensor information difference and non-systematic errors due to topographical undulations. In this study, we did sensor modeling using satellite sensor information to make a basic map of change detection for artificial topography. We eliminated the systematic errors which can be occurred in photographing conditions using GCP and DEM data. The Kompsat EOC images relief could be reduced by precise rectification method. Classifying images which was used for change detections by city and forest zone, the accuracy of the matching results are increased by 10% and the positioning accuracies also increased. The result of change detection using basic map could be used for basic data fur GIS application and topographical renovation.

• Proceedings of the KSRS Conference
• /
• 2007.10a
• /
• pp.90-94
• /
• 2007

The conventional single-reference station positioning is affected by systematic errors such as ionospheric and tropospheric delay, so that the rover must be located within 10 km from the reference station in order to acquire centimeter-level accuracy. The medium-range real-time kinematic has been proven feasible and can be used for high precision applications. However, the longer of the baseline, the more of the time for resolving the integral ambiguity is required. This is due to the fact that systematic errors can not be eliminated effectively by double-differencing. Recently, network approaches have been proposed to overcome the limitation of the single-reference station positioning. The real-time systematic error modeling can be achieved with the use of GPS network. For expanding the effective range and decreasing the density of the reference stations, Land Survey Bureau, Ministry of the Interior in Taiwan set up a national GPS network. In order to obtain the high precision positioning and provide the multi-goals services, a GPS network including 66 stations already been constructed in Taiwan. The users can download the corrections from the data center via the wireless internet and obtain the centimeter-level accuracy positioning. The service is very useful for surveyors and the high precision coordinates can be obtained real time.

• Geophysics and Geophysical Exploration
• /
• v.5 no.3
• /
• pp.206-216
• /
• 2002

The finite element method (FEM), a powerful numerical modeling tool for solving various engineering problems, is frequently applied to three-dimensional (3-D) modeling thanks to its capability of discretizing and simulating the shape of model with finite number of elements. Considering the accuracy of the solution and computing time in modeling of engineering problems, it is preferable to construct physical continuity and simplify mesh system. Although there exist systematic mesh generation systems for arbitrary shaped model, it is hard to model a simple cylinder in terms of 3-D coordinate system especially in the vicinity of the central axis. In this study I adopt cylindrical coordinate system for modeling the 3-D model space and define the origin of the coordinates with mathematically clear coordinate transformation. Since we can simulate the whole space with hexahedral elements, the cylindrical coordinate system is effective in handling the 3-D model structure. The 3-D do resistivity modeling scheme developed in this study provides basie principle for borehole-to-surface resistivity survey, which can be a useful tool for the application to environmental problem.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2005.06a
• /
• pp.561-564
• /
• 2005

The quality of a rotating body such as a washing machine depends on the vibration characteristics. So, the researches to reduce the vibration of a washing machine are actively performing, but it is very difficult to conduct these experiments because there are many design parameters affecting the vibration behavior. Accordingly, in this study it was complete to build a modeling of a drum washing mashing to analyze and predict vibration behaviors. The design parameters which affect the vibration were found, and the method for the systematic analysis of the design parameters was suggested using axiomatic design. In the previous study, the effect of the gasket has not considered on vibration behaviors, but in this study it was considered. The simulation results showed good agreements with the experimental results in the vibration displacement and the vibration tendency of a drum washing machine.