• 한국기계가공학회지
• /
• 제4권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.

• 한국소성가공학회:학술대회논문집
• /
• 한국소성가공학회 2005년도 추계학술대회 논문집
• /
• 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.

• 디지털산업정보학회논문지
• /
• 제5권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.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제7권7호
• /
• pp.249-258
• /
• 2018

국방 무기체계에서의 소프트웨어 비중이 증가하고 있으며 구조도 점차 복잡해지고 있어, 이에 따른 신뢰성 검증이 매우 중요하다. 특히 무기체계 시스템을 구성하는 소프트웨어 구성 요소 들의 상호 작용에 따라 발생하는 결함은 정적 시험 및 코드 실행률 점검 수준의 동적 시험만으로는 예방하기가 어렵다. 본 논문에서는 소프트웨어의 동적 결함 유형을 분류 개발한다. 미 국방부 무기체계에 사용하는 오픈 소스 소프트웨어(OSS)에서 보고된 이슈 분석을 통하여 본 논문에서 분류한 동적 결함이 실제로 발생하며, 이들은 대체로 통합 이후 발생하는 결함이며, 재현이 어렵고, 결함 원인 파악이 어려웠음을 보인다. 이 분석 결과를 기반으로 무기체계 신뢰성 검증을 위하여 소프트웨어 통합 시험 개선의 중요성을 도출한다.

• Nuclear Engineering and Technology
• /
• 제27권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.

• 한국전산구조공학회논문집
• /
• 제21권1호
• /
• pp.59-71
• /
• 2008

본 논문에서는 지진하중하의 대형구조물의 시뮬레이션을 위해 실험과 해석을 병합한 분산공유 하이브리드 해석 및 실험소프트웨어 framework를 개발하였다. 제안된 소프트웨어 framework은 별도의 동적 그리고 정적 해석을 위한 프로그램의 개발이 필요 없기 때문에 일반 범용 유한요소해석 프로그램을 개발된 해석 및 실험 제어 프로그램과 interface API를 이용하여 사용할 수 있는 장점이 있다. 본 논문에서 개발된 소프트웨어 framework은 독자적 기능을 가진 module로 구성이 되어 있을 뿐만 아니라 개체지향형 프로그램 개념을 바탕으로 개발되었다. 예제를 통하여 개발된 시스템의 기능과 분산공유하이브리드 해석 및 실험에서의 유용성을 증명하였다.

• 정보과학회 논문지
• /
• 제42권7호
• /
• pp.860-867
• /
• 2015

국방 분야에서 무기체계가 첨단화 되면서 무기체계 내장형 소프트웨어의 중요성이 증대되고 있으며, 현대의 전장상황이 네트워크 중심전(NCW)으로 전개됨에 따라 무기체계 내장형 소프트웨어의 신뢰성 및 품질 확보가 중요시 되고 있다. 또한 내장형 소프트웨어의 문제점이 개발단계에서 양산단계로 이관되어 막대한 손실이 발생되고 있으며, 개발업체에서는 소프트웨어 신뢰성 시험에 대한 체계적인 활동이 이루어지지 않고 있다. 본 연구에서는 다양한 소스코드 신뢰성 검증사례 분석을 바탕으로 소프트웨어 소스코드 품질검증체계 확립에 대한 접근방안을 제시한다. 방위사업청의 "무기체계 소프트웨어 개발 및 관리 매뉴얼"의 동적분석 평가항목 및 코드실행률 목표값 기준을 제시하고, 개발업체의 소프트웨어 개발능력 향상을 유도하기 위한 방안을 제안한다.

• 한국군사과학기술학회지
• /
• 제27권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.

• 한국컴퓨터정보학회논문지
• /
• 제22권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
• /
• 제37권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.