• Nuclear Engineering and Technology
• /
• v.47 no.2
• /
• pp.212-218
• /
• 2015

We describe a comparative analysis of different tools used to assess safety-critical software used in nuclear power plants. To enhance the credibility of safety assessments and to optimize safety justification costs, $Electricit{\acute{e}}$ de France (EDF) investigates the use of methods and tools for source code semantic analysis, to obtain indisputable evidence and help assessors focus on the most critical issues. EDF has been using the PolySpace tool for more than 10 years. Currently, new industrial tools based on the same formal approach, Abstract Interpretation, are available. Practical experimentation with these new tools shows that the precision obtained on one of our shutdown systems software packages is substantially improved. In the first part of this article, we present the analysis principles of the tools used in our experimentation. In the second part, we present the main characteristics of protection-system software, and why these characteristics are well adapted for the new analysis tools. In the last part, we present an overview of the results and the limitations of the tools.

• Journal of Korean Society for Quality Management
• /
• v.32 no.1
• /
• pp.1-20
• /
• 2004

Six sigma has been the most influential management innovation program since 1996 in Korea. As a result of successful implementation of 6 sigma, there have been a number of dramatic quality improvement cases. However, no empirical study of 6 sigma implementation study has done especially in the service industry of Korea. This article reviews status of finance companies which implemented 6 sigma programs in Korea and then demonstrates the relationship between 6 sigma problem solving tools such as analysis of variance and graph techniques, etc and project success and operational performance. Customer survey tools, process analysis, and documentation tool are identified as influential tools on project success. Tools of measure steps, customer survey tools, and documentation tool are found as influential tools on operational performance.

• Journal of the Korean Society for Precision Engineering
• /
• v.17 no.5
• /
• pp.186-194
• /
• 2000

The purpose of this study is to investigate the difference in cutting characteristics of cermet, carbide and coated carbide tools in the similar application range via turning test of various conditions. The cermet and carbide tools in the range of ISO P10 grade were developed using optimum compositions with a view to obtaining a high toughness and hardness by PM process. First mechanical properties were characterized on these tools. Experimental results of wear behaviour and resistance to fracturing were presented and discussed in the turning of gray cast iron and alloy steels by cermet, carbide and coated carbide tools. The coated carbide tool shows similar cutting performance compared to the cermet, while the cermet has better combination of wear resistance and toughness of high speed (V=500m/min) cutting in comparison with carbide and coated carbide tools, and also shows a potentiality for cast iron cutting. Fe adhesive behaviour on the tools and surface roughness of workpieces were explained by chemical affinity between tools and workpieces.

• Journal of Korean Society for Quality Management
• /
• v.37 no.2
• /
• pp.68-77
• /
• 2009

There are many quality control(QC) tools useful for solving quality problems. In this paper, QC 7 tools, new QC 7 tools, and other quality tools are first compared with respect to their frequency of use. We suggest an integrated problem-solving procedure to systematically deal with various quality problems. For each step a streamlined flow chart is presented to help the practitioners to adopt relevant tools depending on certain situations they face. The procedure will help quality practitioners solve field quality problems.

• Journal of Software Assessment and Valuation
• /
• v.17 no.2
• /
• pp.125-142
• /
• 2021

Reports of rampant cross-site scripting (XSS) vulnerabilities raise growing concerns on the effectiveness of current Static Analysis Security Testing (SAST) tools as an internet security device. Attentive to these concerns, this study aims to examine seven open-source SAST tools in order to account for their capabilities in detecting XSS vulnerabilities in PHP applications and to determine their performance in terms of effectiveness and analysis runtime. The representative tools - categorized as either text-based or graph-based analysis tools - were all test-run using real-world PHP applications with known XSS vulnerabilities. The collected vulnerability detection reports of each tool were analyzed with the aid of PhpStorm's data flow analyzer. It is observed that the detection rates of the tools calculated from the total vulnerabilities in the applications can be as high as 0.968 and as low as 0.006. Furthermore, the tools took an average of less than a minute to complete an analysis. Notably, their runtime is independent of their analysis type.

• Journal of Korean Academy of Nursing Administration
• /
• v.22 no.5
• /
• pp.480-495
• /
• 2016

Purpose: The purpose of the study was to identify characteristics of nursing and caring concepts measured by nursing competencies or caring behaviors tools for general nurses working in acute care hospitals. Methods: Five major nursing literature databases were used to identify the relevant tools. The study included 19 nursing competencies tools with a total of 843 measurement items and 12 caring behaviors tools with 334 items. According to the International Council of Nurses (ICN)'s Competencies Framework and 8Cs suggested by Roach (1987) and Pusari (1998), the measurement items were classified by two researchers independently first and in agreement finally. Results: Competency of 'key principles of care' including sub-areas of the ICN Framework was most commonly found: on average 49.3% of nursing competencies items and 91.9% of caring behaviors items. 97.0% of the caring behaviors items were classified into one of six Cs: competence (27.5%), confidence (21.3%), compassion (17.1%), commitment (16.5%), communication (9.9%), or conscience (4.8%). Conclusion: Nursing competencies tools were more likely to measure 'what to do' focusing on tasks, while caring behaviors tools were to measure 'how to do' focusing on nurses' attitudes or values. Nursing practices should be evaluated with both nursing competencies and caring behaviors tools, considering that nursing and caring were differently conceptualized in the quantitative tools.

• Journal of the Korean institute of surface engineering
• /
• v.33 no.4
• /
• pp.222-228
• /
• 2000

The life time of cutting tool was studied in the relation with the properties of TiN coating tools. The purpose of this study is to compare the cutting conditions of the TiN coated tools with those of the non-coated tools and to find out the optimal cutting condition of the TiN coated tool. The coated tools were prepared by the sputtering process at $4$\times$10^{-3}$Torr. When the cutting speed is increased 22.2% from 90m/min, the limited life of coating bite was decreased by 60.61%, but non-coating bite was decreased by 64.05%. In the tool lifetime equation of the coated tools "a"(exponent of feed rate) was not much changed in comparison with that of the non-coated tools but "n" (exponent of tool′s life) was increased by 9.3% and "b" (exponent of cutting depth) was increased by 2.4%. It was thought to be that TiN coated tools was used for higher cutting speed than non-coated tools to improve the lifetime of the coated tools.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.6 no.3
• /
• pp.183-189
• /
• 2011

For the rapid development of embedded software, a variety of development tools have been developed. But, the embedded software developers do not use the available tools fluently and do not improve software productivity as expect because there are short of supporting utilization convenience of development tools. In this paper, we suggest a tool of building custom development environment for improving the utilization convenience of embedded software development tools. The custom development environment helps developers to rapid selection and access of appropriate tools required to develop the embedded software on the specific embedded system. In addition, it enables developers to handle the outputs from development tools associatively. Moreover it is very flexible in extension and integration because it's implementation based on Eclipse technology. We also perform the evaluation of our tool and successfully validate the utilization convenience of embedded development tools. Therefore, we expect that this tool enables developers to use the embedded development tools efficiently, and then it help improving embedded software productivity.

• The Mathematical Education
• /
• v.56 no.3
• /
• pp.257-280
• /
• 2017

The purpose of this study is to analyze middle school students' learning characteristics they showed on the inquiry-based learning process of circumcenter using various teaching tools, and then to identify the effects of using teaching tools in the middle school students' learning process of circumcenter. For this purpose, we developed teaching materials for inquiry-based learning of circumcenter using textbook, origami, ruler and compass, GeoGebra and sand experiment. Then we applied them on the learning process of circumcenter for five groups of middle school students. From the analyzing of audio/video materials and documents which are collected from the process of participants' inquiry-based learning of circumcenter, we identified the following results. First, inquiry-based learning of circumcenter using various teaching tools promoted mathematical discourses among participants of this study. For example, they conjectured mathematical properties or justified their opinions after manipulated teaching tools in the process of learning circumcenter. Second, inquiry-based learning of circumcenter using various teaching tools promoted participants' divergent thinking. They tried many inquiry methods to find new mathematical properties relate to circumcenter. For example, they tried many inquiry methods to know whether there is unique circle containing four vertices of given quadrangles. Third, we found several didactic implications relate to inquiry-based learning of circumcenter using various teaching tools which are due to characteristics of teaching tools themselves. Participants showed several misconceptions about mathematical properties during they participated inquiry-based activity for learning of circumcenter using various teaching tools. We identified their misconceptions were not due to any other variables containing their learning characteristics but to characteristics of teaching tools.

• Asia pacific journal of information systems
• /
• v.3 no.1
• /
• pp.31-53
• /
• 1993

Computer Aided Software Engineering(CASE) tools are suggested as an automated method for the efficient development of softwares. This study are intended to measure the use level of CASE tools and to provide the meaningful information on the whole software development environment supported by CASE tools. Therefore, the results of a survey on CASE environment in Korea are empirically reported and analyzed. The use of CASE tools is measured; purposes purchasing CASE tools and achievement levels are investigated. Implications from the comparative analysis of the utilization of software engineering methodologies between the CASE user group and the non-user group are described. A proposition is suggested to check the request frequency for program change. Further studies on the reverse engineering, program reuse and the use of CASE tools under distributed processing systems such as client-server environments are suggested.