• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.1
• /
• pp.46-61
• /
• 2002

Among the many phases involved in software development, requirements analysis phase in generally considered to play a crucial role in determining the overall software quality. Therefore, many software development companies manages the phase as one of the important phase. Especially, safety assurance through requirements analysis for safety-critical systems is quite demanding, and national and international bodies routinely require safety demonstration. Among various approaches, inspection and formal methods are generally shown to be effective. In this paper, we propose a formal verification procedure for SCR(Software Cost Reduction)-style SRS(Software Requirements Specification) using the PVS specification and verification procedure and applied this procedure to an industrial system such that a shutdown system for Wolsung nuclear power plant. This system had been verified through inspection not formal verification. The application of formal methods is rare in Korea, so it is very important to experiment about formal verification to industrial systems.

• Journal of Korea Trade
• /
• v.23 no.6
• /
• pp.1-13
• /
• 2019

Purpose - This study deals with a strategic plan for meeting the value added criteria effectively, which is one of the methods of determining origin used in preferential trade such as FTA. Automobile products, one of the major Korean export items, were selected to give a practical use against the FTA requirements. Design/methodology - This study is based on the value-added criteria of the Korea-US and Korea-EU FTAs that apply various value-added criteria. The Korea-US FTA adopts the RVC method based on the integration, deduction and net cost methods, while the MC method is employed in the Korea-EU FTA. The methodology used in this work is an extended literature review, analysis of the value-added criteria applied to automobile products under Korea-US and Korea-EU FTA with some secondary statistics. Findings - Based on in - depth analysis of the value - added criteria requirements for automobile products stipulated in the Korea - US FTA and the Korea - EU FTA, two strategic considerations are suggested. First is 'appropriate value-added strategy' and the second is 'strategy of changing production and trade structure'. The second strategy is a bit used in Korea but this is not considered best if the first strategy is ignored or forgotten. The second one is meaningful when this becomes inevitable. Research limitations/implications - This study is primarily designed to assist Korean auto mobile industry players exporting to EU and USA but this may help to auto part or material producers in FTA counter party territories being EU or USA as the preferential tariffs are applied on a inter region basis. A further research other than auto mobiles using other major FTAs might be followed later. Originality/value - There has been so far little research on strategic factors to meet the value-added origin requirements. This study, therefore, is expected to contribute facilitating the decision of FTA origin and to improve the utilization of FTA by allowing exporting companies using value added criterion to more smoothly meet origin requirements. This will also enable the tax authorities to utilize the value-added criterion to validate effectively the origin of imports where preferential tariffs are applied.

• Journal of the Korea Convergence Society
• /
• v.9 no.12
• /
• pp.365-372
• /
• 2018

This study aimed to investigate the perception on dental hygienists and convergence factors to affect social requirements on their roles so as to utilize them as the fundamental data to assist the common people to understand the occupation and roles of dental hygienists and expand their positive perception further. Upon the multiple regression analysis from 235 final analysis subjects who underwent survey from August 1st to 25th 2017 among 270 adults in Busan and Gyeongnam areas, the awareness level on the dental hygienists was higher as the education level was lower and quality of life was more positive. Requirements were increased more as the education level was lower, quality of life related to oral health was more positive, quality of life was more positive, and awareness level on the roles and knowledge of dental hygienists was increased more. Further programs and promotional plans should be continuously activated to establish the career roles and expand the awareness in every field including dental clinic practices, dental hygiene training, related groups, and so on.

• The Journal of Society for e-Business Studies
• /
• v.24 no.2
• /
• pp.113-124
• /
• 2019

Today many companies are offering IoT-enabled products and place emphasis on security from the planning stage to protect their products and user information from external threats. The present security levels, however, remain low because the time and resources invested in developing security requirements for each device are far from enough to meet the needs of a wide range of IoT products. Nevertheless, vulnerabilities of IoT devices have been reported continuously, which calls for more detailed security requirements for home IoT devices. In this context, this research identified threats of home IoT systems by using Microsoft Threat Modeling Tool. It then suggested measures to enhance the security of home IoT devices by developing security assessment items through comparative analysis of the identified threats, domestic and global vulnerability assessment standards and related research. It also verified the effectiveness of the developed security requirements by testing them against the existing ones, and the results revealed the security requirements developed in this research proved to be more effective in identifying vulnerabilities.

• Journal of Korea Trade
• /
• v.23 no.6
• /
• pp.113-130
• /
• 2019

Purpose - This paper investigates applicability of blockchain based bill of lading under the current legal environment. Legal requirements of electronic bill of lading will be analyzed based on the Rotterdam Rules and recently enacted UNCITRAL Model Law on Electronic Transferable Records. Using comparative analysis with the previous registry model for electronic bill of lading, this paper examines the advantages of blockchain based bill of lading. Design/methodology - This research reviewed previous efforts for dematerializing bill of lading with its limitation. Main features of blockchain technology which can make up for deficiencies of registry model also be investigated to analyze whether these features can satisfy the requirements for the legal validity of the negotiable electronic transport record or electronic transferable records under the Rotterdam Rules and the MLETR. Findings - Main findings of this research can be summarized as follows: Blockchain system operated in an open platform can improve transparency and scalability in transfer of electronic bill of lading by assuring easy access for transaction. Distributed ledger technology of blockchain makes it more difficult to forge or tamper with transactions because all participants equally shares identical transaction records. Consensus mechanism and timestamp in a blockchain transaction guarantee the integrity and uniqueness of a transaction. These features are enough to satisfy the requirements of electronic transferable records under the Rotterdam Rules and MLTER. Originality/value - This study has significance in that it provided implications for the introduction of electronic bill of lading by analyzing whether the blockchain based electronic bill of lading model meets the legal requirements under the current legal system prepared prior to the introduction of blockchain technology, and by presenting the advantages of the blockchain based bill of lading model through comparative analysis with the existing registry model.

• Journal of Internet Computing and Services
• /
• v.25 no.1
• /
• pp.167-176
• /
• 2024

Chatbot services are used in various fields in connection with AI services. Security research on AI is also in its infancy, but research on practical security in the service implementation stage using it is more insufficient. This paper analyzes the security requirements for chatbot services linked to AI services. First, the paper analyzes the recently published papers and articles on AI security. A general implementation model is established by investigating chatbot services provided in the market. The implementation model includes five components including a chatbot management system and an AI engine Based on the established model, the protection assets and threats specialized in Chatbot services are summarized. Threats are organized around threats specialized in chatbot services through a survey of chatbot service managers in operation. Ten major threats were drawn. It derived the necessary security areas to cope with the organized threats and analyzed the necessary security requirements for each area. This will be used as a security evaluation criterion in the process of reviewing and improving the security level of chatbot service.

• Geomechanics and Engineering
• /
• v.39 no.1
• /
• pp.1-11
• /
• 2024

Geotechnical parameter estimation is critical to the design, performance, safety, and cost and schedule management in Tunnel Boring Machine projects. Since these parameters vary within a certain range, relying on mean values for evaluation introduces significant risks to the project. Due to the non-homogeneous characteristics of geological formation, data may not exhibit a normal distribution and the presence of outliers might be deceptive. Therefore, the use of reliable analyses and simulation models is inevitable in the course of the data evaluation process. Advanced modeling techniques enable comprehensive analysis of the project data and allowing to model the uncertainty in geotechnical parameters. This study involves using Monte Carlo Simulation method to predict probabilistic distributions of field data, and therefore, establish a basis for designs and in turn to minimize project risks. In the study, 166 sets of geotechnical data Obtained from 35 boreholes including Standard Penetration Test, Limit Pressure, Liquid Limit, and Plastic Limit values, which are mostly utilized parameters in estimating project requirements, were used to estimate the geotechnical data distribution of the study field. In this context, firstly, the data was subjected to multi-parameter linear regression and variance analysis. Then, the obtained equations were implemented into a Monte Carlo Simulation, and probabilistic distributions of the geotechnical data of the field were simulated and corresponding to the 90% probability range, along with the minimum and maximum values at the 5% probability levels presented. Accordingly, while the average SPT N30 value is 42.86, but the highest occurrence rate is 50.81. For Net Limit Pressure, the average field data is 17.07 kg/cm², with the maximum occurrence between 9.6 kg/cm² and 13.7 kg/cm². Similarly, the average Plastic Limit value is 22.32, while the most probable value is 20.6. The average Liquid Limit value is 56.73, with the highest probability at 54.48, as indicated in the statistical data distribution. Understanding the percentage distribution of data likely to be encountered in the project allows for accurate forecasting of both high and low probability scenarios, offering a significant advantage, particularly in ordering TBM requirements.

• Journal of Applied Reliability
• /
• v.10 no.1
• /
• pp.39-56
• /
• 2010

Statistical process control (SPC) is a powerful technique for monitoring, managing, analysing and improving the process performance. However, its has limitations such as lack of engineering, statistical skill and training, and lesser importance of activity. To solve the problems, this study proposes an intelligent SPC system using specified agents which are derived through analysis and evaluation of the SPC activities. The activities investigated by the relevant researches are categorized as collection, process analysis, diagnosis, detection, cause analysis and rule generation. Also, the evaluation criteria are established as feasibility of automation, frequency, level and time. The requirements of the agent functions are derived by the evaluation, and the types of customized agents are as data collection, store, analysis, diagnosis, monitoring, alarm and reporting. A prototype SPC system represents that the functions of the proposed agents are successfully validated.

• The KSFM Journal of Fluid Machinery
• /
• v.7 no.1 s.22
• /
• pp.30-35
• /
• 2004

The HANARO, a multi-purpose research reactor of 30 MWth open-tank-in-pool type, has been under normal operation since its initial criticality in February, 1995. Many experiments should be safely performed to activate the utilization of the HANARO. HANARO flow simulation facility is being developed for the endurance test of reactivity control units for extended life time and the verification of structural integrity of those experimental equipments prior to loading in the HANARO. This facility is composed of three major parts; a half-core structure assembly, a flow circulation system and a support system. The flow circulation system is composed of a circulation pump, a core flow piping, a core bypass flow piping and instruments. The system is to be filled with de-mineralized water and the flow should be met the design requirements to simulate a similar flow characteristics in the core channel of the half-core structure assembly to the HANARO. This paper, therefore, presents an analytical analysis to study the flow behavior of the system. Computational flow analysis has been performed for the verification of system pressure variation through the three-dimensional analysis program with the standard $k-{\epsilon}$ turbulence model and for the verification of the structural piping integrity through the finite element method. According to the analysis results, it could be said that the design requirements and the structural piping integrity of the flow circulation system are satisfied.

• Nuclear Engineering and Technology
• /
• v.40 no.1
• /
• pp.87-92
• /
• 2008

Tokamak reactor system analysis code was developed at KAERI (Korea Atomic Energy Research Institute) and is used here for the conceptual development of a DEMO reactor. In the system analysis code, prospects of the development of plasma physics and the relevant technology are included in a simple mathematical model, i.e., the overall plant power balance equation and the plasma power balance equation. This system analysis code provides satisfactory results for developing the concept of a DEMO reactor and for identifying the necessary R&D areas, both in the physics and technology areas for the realization of the concept. With this system analysis code, the performance of a DEMO reactor with a limited extension of the plasma physics and technology adopted in the ITER design. The main requirements for the DEMO reactor were selected as: 1) demonstrate tritium self-sufficiency, 2) generate net electricity, and 3) achieve a steady-state operation. It was shown that to access an operational region for higher performance, the main restrictions are presented by the divertor heat load and the steady-state operation requirements.