• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.120-133
• /
• 2000

Major obstruction of using formal methods for hybrid real-time systems in industry is the difficulty that engineers have in understanding and applying the quantitative methods in an abstract requirements phase. While formal methods technology in safety-critical systems can help increase confidence of software, difficulty and complexity in using them can cause another hazard. In order to overcome this obstruction, we propose a framework for qualitative requirements engineering of the hybrid real-time systems. It consists of a qualitative method for requirements specification, called QFM (Qualitative Formal Method), and a safety analysis method for the requirements based on a causality information, called CRSA (Causal Requirements Safety Analysis). QFM emphasizes the idea of a causal and qualitative reasoning in formal methods to reduce the cognitive burden of designers when specifying and validating the software requirements of hybrid safety systems. CRSA can evaluate the logical contribution of the software elements to the physical hazard of systems by utilizing the causality information that is kept during specification by QFM. Using the Shutdown System 2 of Wolsong nuclear power plants as a realistic example, we demonstrate the effectiveness of our approach.

• Journal of the Korean Society of Propulsion Engineers
• /
• v.11 no.6
• /
• pp.26-34
• /
• 2007

The efforts to develop high performance aircraft engines are successively progressed with development of recent technology. The reliability of individual parts and the safety of engine systems are reduced if high efficiency components, high strength materials, and precise controls are applied to the engine with complexity to increase engine performance. In this paper, the regulation requirements and assessment technique for aircraft engine safety are considered, and the result of safety assessment on a turbine case cooling system of high efficiency turbofan engine is presented.

• Journal of the Korean Society for Railway
• /
• v.9 no.6 s.37
• /
• pp.739-745
• /
• 2006

The role of maintenance in railway is going to be extended to improve the reliability of railway system in the aspect of Asset management gradually. In this paper, the meaning of reliability and safety in RCM which has been applied in order to improve the efficiency of maintenance is deduced. And the analysis task of reliability and safely which has been recommended in railway standards such as EN50126 and IEC62278 is reviewed in the aspect of RCM. Finally, the several ways are proposed to apply RCM to railway system through the comparison between the RCM procedure and the analysis procedure for the reliability and safety in railway standards. Hereafter, if the analysis of reliability and safety is performed with the concept of RCM in the beginning of railway business, it will be more efficient to improve the reliability and manage the railway asset.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.14 no.6
• /
• pp.667-681
• /
• 2012

In general, risk management consists of a series of processes or steps including risk identification, risk analysis, risk evaluation, risk mitigation measures, and risk re-evaluation. In this paper, potential risk factors that occur in shield TBM tunnels were investigated based on many previous case studies and questionaries to tunnel experts. The risk factors were classified as geological, design or construction management features. Fault Tree was set up by dividing all feasible risks into four groups that associated with: cutter; machine confinement; mucking (driving) and segments. From the Fault Tree Analysis (FTA), 12 risk items were identified and the probability of failure of each chosen risk item was obtained.

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.53
• /
• pp.315-336
• /
• 2012

In year 2011 export volume of South Korea surpassed 500billion USD and overall trade volume has exceeded one trillion USD. South Korea is ranked at 7th in the world by its export volume. Such an expansion of the trade volume leads to growth in customs clearance service demand. However, there are only handfuls of studies on the efficiency of customs clearance service which customs broker provide. If the efficiency in this study is not absolute, it shows relative efficiency to decision making unit. In this research survey was conducted targeting members of Korea Customs Brokers Association. Based on the survey improvement plans to enhance efficiency of customs clearances are as follows. First, rationalize the customs broker fee. Second, setup batch processing system to improve efficiency of the work process. Third, develop new area of task such as FTA and AEO certification. Forth, raise service quality by improving professionalism of customs brokers. Fifth, work efficiency of the office in the capital area will increase. Sixth, when inspecting import export cargo, customs broker should attend at the scene by their choice. Meanwhile, difference analysis on competent customs, type of office, and duration of the business was done but all the aspects were rejected. Such aspects does not influence on its effectiveness.

• Transactions of The Korea Fluid Power Systems Society
• /
• v.2 no.2
• /
• pp.1-7
• /
• 2005

For the reliability evaluation of the track drive unit(TDU), firstly, we analyzed the major failure modes through FMEA(failure mode & effects analysis), FTA(failure tree analysis), and 2-stage QFD(quality function deployment), and then quantitatively determined the priority order of test items. The Minitab analysis was also performed for prediction of life distribution and parameters of TDU by use of field failure data collected from 430 excavators for two years. In addition, we converted the fluctuation load in field conditions into the equivalent load, and for evaluation of the accelerated lift by the cumulative fatigues, the equivalent load is again divided into the fluctuation load by reference of test time. And then, by use of the test method in this paper, the acceleration factor(AF) of needle bearing inside planetary gear which is the most weakly designed part of TDU is achieved as 5.3. This paper presents the quantitative selection method of test items for reliability evaluation, the determination method of the accelerated life test time, and the method of non-failure test time based on a few of samples. And, we proved the propriety of the proposed methods by experiments using a TDU for a 30 ton excavator.

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.45
• /
• pp.191-238
• /
• 2010

The purpose of this paper is to make research on the trend of the worldwide medical device market, the trend of the medical device market in the major foreign countries, the present status of the medical device industry in Korea and Gangwon area, the present status of export competitive power and the SWOT analysis of competitive power of the medical device industry in Gangwon area, and the strengthening methods of export competitive power of the medical device industry in Gangwon area. As the research method, the questionaire for the strengthening of export competitive power of the medical device industry in Gangwon area was carried out from August 13 to Otober 22, 2009. The worldwide medical device market in 2008 is estimated at USD 210.2 billion, with the United States being the largest market, followed closely by Japan and Western Europe. In 2006, the worldwide export amount of medical devices recorded USD 121.1 billion and the worldwide import amount of medical devices recorded USD 126.3 billion. As of the end of 2008, the number of Korea's medical device manufacturers expanded to 1,726. The production amount of Korea's medical device industry in 2008 recorded 2,525 billion won, and the domestic market volume of medical devices in 2008 recorded 3,618 billion won. Korea's export amount of medical devices in 2008 recorded USD 1,132 million and recorded a 9.67% growth compared to the previous year, and the import amount of medical devices recorded USD 2,123 million and recorded a 1.43% reduction compared to the previous year. As of the end of 2008, the number of Gangwon area's medical device manufacturers expanded to 81. The production amount of Gangwon area's medical industry in 2008 recorded 380 billion won, and Gangwon area's export amount of medical devices recorded USD 269 million and recorded a 0.25% reduction compared to the previous year, and the import amount of medical devices recorded USD 3 million and recorded a 39.63% reduction compared to the previous year. According to the result analysis of the questionaire for the strengthening of export competitive power of medical device industry in Gangwon area(August 13~October 22, 2009), the competing country of the export medical device is the United States being the highest ranking. Comparing to the collective competitive power level 100 of the competing country, the collective competitive level of the export medical device is 60 below and 70-80 below being the highest ranking. Comparing to the quality level 100 of the United States, EU and Japan, the quality level of the export medical device is 80-90 below being the highest ranking. Comparing to the design level 100 of the United States, EU and Japan, the design level of the export medical device is 90-100 below being the highest ranking. Comparing to the technology level 100 of the United States, EU and Japan, the technology level of the export medical device is 80-90 below being the highest ranking. According to the SWOT analysis of competitive power of medical device industry in Gangwon area, the strength is the abundant expert manpower of the medical device in Wonju area. The weakness is the fragility of the brand recognition of the medical device industry. The opportunity is the demand increase of the new medical device owing to the advanced age of population. The threat is the difficulty of entry into overseas market owing to the request of the new specification certification of the medical device. In order to strengthen the export competitive power of the medical device industry in Gangwon area, the following measures should be taken by the government, local self-government body, related organization and medical device industry : the development of new technology and design, the enhancement of brand recognition. the acquisition of the foreign specification certification, the building of overseas distribution channel and after sales service channel, the positive participation in overseas medical device exhibition and opening of medical device exhibition, the training of expert manpower, the strengthening of overseas marketing, and the application of FTA and the establishment of counter measures against FTA. In conclusion, the medical device industry in Gangwon area has the difficulty in the entry into the overseas market owing to the shortage of overseas marketing capability. Therefore, the government and local self-government body should make the intensive and systematical support for overseas marketing of the medical device industry. For the support of overseas marketing, the government and local self-government body should provide positively the support of expenses for the acquisition of foreign specification certification, the support of participation in the overseas medical device exhibition, the despatch of market development mission, the increase of the support amount for R&D investment fund, and the training of expert manpower of medical devices.

• Journal of the Korean Institute of Gas
• /
• v.9 no.4 s.29
• /
• pp.57-61
• /
• 2005

The objective of paper is to carry out a comparative Quantitative Risk Assessment (QRA) of two KOGAS tank designs using a fault tree methodology, a standard 'Full Containment' tank and a 'Membrane' tank. For the membrane tank, both the initial KOGAS design and 4 modified KOGAS designs have been assessed, giving six separate cases. In this paper, the frequencies of releases are quantified using a fault tree approach. For clarity in the analysis, and to ensure consistency, all cases have been quantified using the same fault tree. Logic within the fault tree is used to select each of the cases. Full quantification of risks is often difficult, owing to a lack of relevant failure data, but the aim of this study has been to be as quantitative as possible, with full transparency of failure information. The most significant general cause of external LNG leaks is predicted to be a seismic event, which has been quantified nominally. 4modified KOGAS desiens to Prevent damage of bottom membrane panels that was shown in preparatory estimation could quantitively confirm safety improvement. According to result, the predicted frequencies of an external LNG leak for the full containment and modified membrane tanks are very similar, failures due to dropped pumps are predicted to be significantly greater for the membrane tank with thickened plate than for the full containment tank.

• Journal of the Korean Institute of Gas
• /
• v.2 no.2
• /
• pp.1-11
• /
• 1998

A quantitative risk assessment and consequence analysis for PBL(Poly Butadiene Latex) reaction processes were performed. As a result of the Quantitative risk assessment, for the accident probability of PBL reactors causing a reaction runaway, was calculated as $9.197{\times}10^{-5}/yr$ The most important factor that affected the accident probability of PBL reactor was the relief device. When the reactor exploded, peak overpressure at the target point was $5.066{\times}10^5(Pa)$ and the range of effects windows to be broken occurred in almost all of the factory areas. The maximum radius of effect was 27m, in which workers could be die by the direct for eardrum damage was calculated at 77m. When the PBL reactor exploded, the extent of structural damage to buildings was calculated from the center of the explosion to a range of 52m. The results of the study's assessment have provided a direction for facility's improvement as well as effective safety investment.

• Environmental and Resource Economics Review
• /
• v.23 no.4
• /
• pp.689-718
• /
• 2014

This study analyzes the ripple effects on the national economy of the flood damage using a perfect foresight dynamic CGE model for 2010 as the base year in case that the flood damage reduces the capital of the relevant industrial sectors. The analysis is limited to the items of physical damage such as agricultural land, ships and public facilities, for which statistical data can be obtained. As flood damage scenarios we adopt the minimum, maximum and average value of flood damage's historical data over the period 1991~2010 for each item. The results show that the largest production decline happens to the industry of fishing and transport and the next largest to the agricultural and forestry industry. The GDP reduction in the base year turns out to be from 0.001 to 0.057 percent compared to the benchmark and 11 percent compared to the exogenous shock to capital stock. Dynamically, the GDP gradually decreases until the year of 2030, which shows the long-lasting impact on the national economy of flood damage via the chanel of the capital damage.