• 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 Korea Multimedia Society
• /
• v.12 no.9
• /
• pp.1309-1315
• /
• 2009

This research goal of developing and producing a tool that finds security weakness that may happen when a usual program is executed. The analyzing tool for security weakness has the major functions as follows. In case that a part of anticipated security weakness are in execution, it traces a machine language to a part in execution. And Monitoring System calls and DLL(API) calls when a program is in execution. The result of this study will enable to contribute to use as educational materials for security service in companies and related agencies and to prevent from hacking of external information invaders in the final analysis.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2006.06a
• /
• pp.81-85
• /
• 2006

The characteristic of sheet metal process is the few loss of material during process, the short processing time and the excellent price and strength. The sheet metal process with above characteristic is common used in industrial field, but in order to analysis irregular field problems the reliable and economical analysis method is demanded. Finite element method is very effective method to simulate the forming processes with good prediction of the deformation behaviour. Among Finite element method, The static-implicit finite element method is applied effectively to analyze real-size auto-body panel stamping processes, which include the forming stage. In this paper, it was focussed on the drawability factors on auto-body panel stamping by AUTOFORM with using tool planing alloy to reduce law price as well as high precision from Design Optimization of die. According to this study, the results of simulation will give engineers good information to access the Design Optimization of die.

• Journal of the Korean Society for Precision Engineering
• /
• v.14 no.12
• /
• pp.143-152
• /
• 1997

The deflection of an end mill is very important in machining process and cutting simulation because it affects directly workpiece accuracy, cutting force, and chattering. In this study, the deflection of the end mill was studied both experimentally and by using finite element analysis. And the moment of inertia of cross sections of the helical end mill is calculated for the determination of the relation between geometry of radial cross section and rigidity of the tools. Using the Bernoulli-Euler beam theory and the concept of equivalent diameter, a deflection model is established, which includes most influences from tool geomety parameters. It was found that helix angle attenuates the rigidity of the end mill by the finite element analysis. As a result, the equivalent diameter is determined by tooth number, inscribed diameter ratio, cross sectional geometry and helix angle. Because the relation betweem equivalent diameter and each factor is nonlinear, neural network is used to decide the equivalent diameter. Input patterns and desired outputs for the neural network are obtained by FEM analysis in several case of end milling operations.

• Journal of Korea Society of Industrial Information Systems
• /
• v.21 no.4
• /
• pp.43-53
• /
• 2016

In this paper, monitoring method of tool fracture using motor current was proposed for turning process. In order to take more reliable current signal, cutting force signal was compared as reference signal because cutting force signal is reliable, and analysis of signal correlation between cutting force and motor current was performed. The static components of the cutting force and motor current signals were correlated very well for different cutting conditions, and it was proven to use the motor current as an proper sensor for monitoring of tool fracture. To understand the characteristics of motor current, various kinds of cutting experiment were performed including tool fracture experiments. As a result, a new method to detect tool fracture using motor current in turing was proposed, and a large number of fracture experiments were carried out to evaluate the reliability of the proposed method. Finally, it can be possible to detect the tool fracture reliably.

• KIPS Transactions on Software and Data Engineering
• /
• v.5 no.3
• /
• pp.139-144
• /
• 2016

When, Software is developed, Applying development methods considering security, it is generated the problem of additional cost. These additional costs are caused not consider security in many developing organization. Even though, proceeding the developments, considering security, lack of ways to get the cost of handling the vulnerability throughput within the given cost. In this paper, propose a method for calculating the vulnerability throughput for using a security vulnerability processed cost-effectively. In the proposed method focuses on the implementation phase of the software development phase, leveraging static analysis tools to find security vulnerabilities in CWE TOP25. The found vulnerabilities are define risk, transaction costs, risk costs and defines the processing priority. utilizing the information in the CWE, Calculating a consumed cost in a detected vulnerability processed through a defined priority, and controls the vulnerability throughput in the input cost. When applying the method, it is expected to handle the maximum risk of vulnerability in the input cost.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.38C no.10
• /
• pp.831-840
• /
• 2013

Recently, to enhance the security of software, static analysis tools for removing weaknesses, the cause of vulnerability, have been used a lot in the software development stage. Therefore, the tools need to have the rules being able to diagnose various weaknesses. Top 5 weaknesses found in the software developed by major domestic information projects from 2011 to 2012 is 76% of top 10 weaknesses per year. Software security can be improved a lot if top 5 weaknesses just are removed properly in software development. In this paper, we propose the PMD's rules for diagnosing the major weaknesses and present the results of its performance test.

• Journal of the Korea Society of Computer and Information
• /
• v.13 no.2
• /
• pp.31-40
• /
• 2008

Various coding styles for C language have been proposed so far but there has been a lack of synthetic review about them. In this paper, I propose a new C coding style by analyzing coding rules that are included in the representative C coding styles and by adding new coding rules besides them. In addition, I designed an automated C coding style checker named CStyler which was implemented using Lex and Yacc. It is designed to be able to verify unpreprocessed source code as well as preprocessed source code. And I improved its flexibility by being able to add a new coding rule by end user. I think that the new C coding style and coding style checker, CStyler, can be utilized for education and for future research to develop and extend a static analysis tool.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.14 no.1
• /
• pp.9-14
• /
• 2015

To build a high precision machine tool and increase its productivity, structural analysis needs to be carried out for vibration and stiffness of the machine tools before any detailed design. Therefore, in this paper, static and dynamic analysis is carried out to evaluate 8-axis multi tasking machining beds for automotive power train shafts; then, selection of an appropriate device is made for application to bed design. The results of structural and modal analysis confirmed the structural characteristics of the 8-axis multi tasking machine for automotive power train shaft beds: and the second shape bed is the safest is considered secure.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2006.05a
• /
• pp.455-456
• /
• 2006

Multi-tasking machines are widely used in machine tool industries nowadays. This study focuses on the effect of load on the structure stabilities of laser multi-tasking machine which is comprehensively combined turning center and laser machine. For design of the machine, simulation of structural analysis is carried out varying number of elements. The analysis is carried out by FEM simulation using the commercial software, CATIA V5. This method showed a proper number of elements can be selected to obtain good result by reduced computation time.