• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.4 no.1
• /
• pp.30-36
• /
• 2005

The static implicit finite element method is applied effectively to analyze total tray panel stamping processes, which include the forming stage. Complicated and abnormal large size tray panel was analyzed by using commercial program called AutoForm. Analysis results examining possibility and validity of the AutoForm software and the factor study are presented. Further, the simulated results for the total tray panel stamping processes are shown and discussed. Its application is being increased especially in the automotive industrial area for the cost reduction, weight saving, and improvement of strength.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2005.10a
• /
• pp.67-70
• /
• 2005

The static implicit finite element method is applied effectively to analyze total roof panel stamping processes, which include the forming stage. complicated and abnormal Large size roof panel was analyzed by using commercial program called AutoForm. Analysis results examining possibility and validity of the AutoForm software and the factor study are presented. Further, the simulated results for the total roof panel stamping processes are shown and discussed. Its application is being increased especially in the automotive industrial area for the cost reduction, weight saving, and improvement of strength.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.5 no.4
• /
• pp.127-137
• /
• 2009

This paper is proposed that in-output Digital module is acquired a vibration signal of a rotating machinery by Data Acquisition System. The module is designed to get ride of nose through low pass filter on the vibration signal from sensors and set the gain value for being able to sampling AC to DC, and also the sampled data by sampler and the conversed data by DIP/FPGA is supplied to the analyzer for analysis at a software tool. The DIP(Digital Signal Processor) of the Digital input/output Board makes Average voltage, Peak to Peak voltage, RMS(Root Mean Square) and Gap voltage, also FFT(Fast Fourier Transform) for rotating vibration diagnosis.

• KIPS Transactions on Software and Data Engineering
• /
• v.7 no.7
• /
• pp.249-258
• /
• 2018

The importance of software in military weapon systems is increasing, and the software structure is becoming more complicated. We therefore must thoroughly verify its reliability. In particular, the defects from the interaction of the software components that make up the weapon system are difficult to prevent only with static testing and code coverage level dynamic testing. In this paper, we classify dynamic software defect types and analyze the issues reported in the Open Source Software (OSS) used in the US department of defense weapon systems. The dynamic defects classified in this paper usually occur after integration, and it is difficult to reproduce and identify the cause. Based on this analysis, we come to the point that the software integration test must be enhanced in order to verify the reliability of the weapon system.

• Nuclear Engineering and Technology
• /
• v.27 no.1
• /
• pp.84-95
• /
• 1995

Application of computer software to safety-critical systems is on the increase. To be successful, the software must be designed and constructed to meet the functional and performance requirements of the system. For safety reason, the software must be demonstrated not only to meet these requirements, but also to operate safely as a component within the system. For longer-term cost consideration, the software must be designed and structured to ease future maintenance and modifications. This paper present a software engineering process for the production of safety-critical software for a nuclear power plant The presentation is expository in nature of a viable high quality safety-critical software development. It is based on the ideas of a rational design process and on the experience of the adaptation of such process in the production of the safety-critical software for the Shutdown System Number Two of Wolsong 2, 3 & 4 nuclear power generation plants. This process is significantly different from a conventional process in terms of rigorous software development phases and software design techniques. The process covers documentation, design, verification and testing using mathematically precise notations and highly reviewable tabular format to specify software requirements and software design. These specifications allow rigorous, stepwise verification of software design against software requirements, and code against software design using static analysis. The software engineering process described in this paper applies the principle of information-hiding decomposition in software design using a modular design technique so that when a change is' required or an error is detected, the affected scope can be readily and confidently located. It also facilitates a sense of high degree of confidence in the ‘correctness’ of the software production, and provides a relatively simple and straightforward code implementation effort.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.21 no.1
• /
• pp.59-71
• /
• 2008

In this paper, a software framework that integrates computational and experimental simulation has been developed to simulate and test a large-scale structural system under earthquake loading. The proposed software framework does not need development of the computer codes for both dynamic and static simulations. Any general-purpose software can be utilized with a main control module and interface APIs. This opens up a new opportunity to facilitate use of sophisticated finite elements into hybrid simulation regime to enhance accuracy and efficiency of simulations. The software framework described in the paper is modular and uses object oriented programming concepts. A series of illustrative examples demonstrate that the system is fully-functional and is capable of running any number of experimental and/or analytical components.

• Journal of KIISE
• /
• v.42 no.7
• /
• pp.860-867
• /
• 2015

In the defense field, weapon systems are increasing in importance, as well as the weight of the weapon system embedded software development as an advanced technology. As the development of a network-centric warfare has become important to secure the reliability and quality of embedded software in modern weapons systems in battlefield situations. Also, embedded software problems are transferred to the production stage in the development phase and the problem gives rise to an enormous loss at the national level. Furthermore, development companies have not systematically constructed a software reliability test. This study suggests that approaches about a qualityverification- system establishment of embedded software, based on a variety of source code reliability test verification case analysis.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.27 no.2
• /
• pp.247-255
• /
• 2024

Development of electronic warfare(EW) software has become increasingly challenging due to stricter regulations, shorter development cycles, and increased reliability testing. Consequently, software development often proceeds without proper architecture design, which can lead to missing critical quality requirements and potential system redesigns. In this study, we propose using Attribute-Driven Design(ADD) 3.0 to design software architecture specifically tailored for EW systems, enabling a more systematic approach to address quality requirements. The paper presents an overview of EW software and ADD 3.0 methodology, followed by an analysis of the architecture design results using static and dynamic views. The paper concludes by discussing the effectiveness of the proposed architecture design.

• Journal of the Korea Society of Computer and Information
• /
• v.22 no.3
• /
• pp.17-25
• /
• 2017

In this paper, we compared four analyzers Clang, CppCheck, Compass, and a commercial one from a domestic startup using the NIST's Juliet test suit and STONESOUP that is introduced recently. Tools showed detection efficacy in the order of Clang, CppCheck, the domestic one, and Compass under Juliet tests; and Clang, the domestic one, Compass, and CppCheck under STONESOUP tests. We expect it would be desirable to utilize symbolic execution for vulnerability analysis in the future. On the other hand, the results of tool evaluation also testifies that Juliet and STONESOUP as a benchmark for static analysis tools can reveal differences among tools. Finally, each analyzer has different CWEs that it can detect all given test programs. This result can be used for selection of proper tools with respect to specific CWEs.

• Structural Engineering and Mechanics
• /
• v.37 no.3
• /
• pp.309-320
• /
• 2011

As a new type of large-span space structure, suspendome is composited of the upper single-layer reticulated shell and the lower cable-strut system. It has better mechanical properties compared to single-layer reticulated shell, and the overall stiffness of suspendome structure increases greatly due to the prestress of cable. Consequently, it can cross a larger span reasonably, economically and grandly with high rigidity, good stability and simple construction. For a better assessment of the advantages of mechanical characteristic of suspendome quantitatively, the static behavior of Kiewitt6 suspendome was studied by using finite element method, and ADINA was the software application to implement the analysis. By studying a certain suspendome, the internal forces, deformation and support constrained forces of the structure were obtained in this paper. Furthermore, the influences of parameters including prestress, stay bar length, cross-sectional area and rise-to-span ratio were also discussed. The results show that the increase of prestress and vertical stay bar length can improve the stiffness of suspendome; Cross-sectional area has nearly no impact on the static behavior, and the rise-to-span ratio is the most sensitive parameter.