The Interactive Mechanism of Static and Dynamic Analysis in the Reverse Analysis of Embedded Software

LiuTie-ming,Jinag Lie-hui,Zhu Jing-si,Meng Gang 보안공학연구지원센터 2016 International Journal of Multimedia and Ubiquitous Vol.11 No.10

Because the software reverse analysis method which combined the dynamic and static analyses lacks normative interactive mode, the work of the software reverse analysis is inefficient, and its reusability is poor. Based on dynamic and static analysis process of the embedded software,three kinds of interactive mechanismare proposed, including Static To Dynamic (STD), Dynamic To Static (DTS), Static and Dynamic simultaneous (SDM), and has also presented the method of realizing these three interaction mechanisms in detail. The test results show that interactive mechanisms of STD, DTS and SDM are suitable for correction of abnormal nodes in the results of static analysis, optimization of dynamic information extraction, identification of hidden codes and so on. It can greatly improve work efficiencyof the embedded software reverse analysis.

기계학습을 이용한 소스코드 정적 분석 개선에 관한 연구

박양환(Yang-Hwan Park),최진영(Jin-Young Choi) 한국정보보호학회 2020 정보보호학회논문지 Vol.30 No.6

소스코드에 대한 정적 분석은 광범위한 소스코드에 대해서 잔존하는 보안약점을 찾는 것으로 정적 분석 도구를 활용하여 점검을 하고, 그 결과에 대해서 정적 분석 전문가가 정탐 및 오탐 분석을 한다. 이 과정에서 분석양이 많고 오탐의 비율이 높아 많은 시간과 노력이 들어가게 되어 효율적으로 분석하는 방안이 요구되고 있다. 또한 전문가들은 정 · 오탐 분석을 할 때 결함이 발생한 라인의 소스코드만 보고 분석을 하는 경우는 드물다. 결함의 유형에 따라서 주변의 소스코드를 같이 분석하고 최종 분석 결과를 내리게 된다. 이러한 정적 분석 도구를 사용하여 전문가가 정 · 오탐을 판별하는 어려움을 해결하기 위해서 본 논문에서는 정적 분석 도구가 찾은 보안약점이 정탐인지 아닌지를 전문가가 아닌 인공지능을 통해 판별하는 방법을 제안한다. 또한 이러한 기계학습에 사용되는 학습 데이터(결함주변 소스코드)의 크기가 성능에 어떤 영향을 미치는지 실험을 통해 최적의 크기를 확인하였다. 이 결과를 통해 정적 분석 후 정 · 오탐을 분류하는 정적 분석 전문가의 업무에 도움을 줄 것으로 기대한다. The static analysis of the source code is to find the remaining security weaknesses for a wide range of source codes. The static analysis tool is used to check the result, and the static analysis expert performs spying and false detection analysis on the result. In this process, the amount of analysis is large and the rate of false positives is high, so a lot of time and effort is required, and a method of efficient analysis is required. In addition, it is rare for experts to analyze only the source code of the line where the defect occurred when performing positive/false detection analysis. Depending on the type of defect, the surrounding source code is analyzed together and the final analysis result is delivered. In order to solve the difficulty of experts discriminating positive and false positives using these static analysis tools, this paper proposes a method of determining whether or not the security weakness found by the static analysis tools is a spy detection through artificial intelligence rather than an expert. In addition, the optimal size was confirmed through an experiment to see how the size of the training data (source code around the defects) used for such machine learning affects the performance. This result is expected to help the static analysis expert"s job of classifying positive and false positives after static analysis.

소프트웨어 감시 기법을 활용한 정적 실행시간 분석의 신뢰성 향상

김윤관(Yun-Kwan Kim),김태완(Tae-Wan Kim),장천현(Chun-Hyon Chang) 한국컴퓨터정보학회 2010 한국컴퓨터정보학회논문지 Vol.15 No.4

A system which needs timely accuracy has to design and to verify correctly about execution-time for reliability. Accordingly, it is necessary for timing analysis tools, and much previous research worked. In timing analysis tool, there are two methods. One is a static analysis, and the other is a measurement based analysis. A static analysis is able to spend time less than a measurement based analysis method, but has low reliability of analysis result caused by hard to estimate time of I/O caused by various hardware. A measurement based analysis can be close analysis to real result, but it is hard to adapt to actual application, and spend a lot of time to get result of analysis. As such, this paper present a software monitoring architecture to supply reliability of static analysis process. In a presented architecture, it can select target as needed measurement through static analysis, and reuse result of measurement exist. Therefore, The architecture can reduce overload of time and performance for measurement, and improve the reliability which is the worst problem of static analysis.

터널 횡방향 지진해석 Part II: 동적해석을 통한 터널의 지진응답 예측 한국지반공학회논문집 제26권 제6호터널 횡방향 지진해석 Part II: 동적해석을 통한 터널의 지진응답 예측

박두희,신종호,윤세웅 한국지반공학회 2010 한국지반공학회논문집 Vol.26 No.6

Dynamic analyses of tunnels are widely performed in practice in Korea. Accurate performance of a dynamic analysis is very difficult, requiring appropriate application of lower and lateral boundary conditions, deconvolution, constitutive model, and selection of dynamic soil properties etc. Lack of a systematic guideline on how to perform the dynamic analysis makes it even more difficult to perform an analysis. In addition, dynamic analyses are not needed in most cases and pseudo-static analyses are more than adequate. However, they are performed without a clear understanding on the need for the dynamic analysis and differences between the two methods. In this study, firstly, a guideline for correctly performing a 2D dynamic analysis is developed. Secondly, the differences in the tunnel responses using dynamic and pseudo-static analyses are discussed and compared. The results show that the discrepancies between the dynamic and static analyses are not significant for most cases. It is therefore recommended that the dynamic analyses be performed at tunnel portal, very soft ground, or in cases where spatial variation of the ground motion needs to be considered in the seismic analysis of tunnels in transverse direction.

정적 및 동적해석을 통한 스프링클러 설비 배관의 내진성능 비교 분석

최호성,이재오 한국화재소방학회 2026 한국화재소방학회논문지 Vol.40 No.1

본 연구는 스프링클러 설비 배관 시스템을 대상으로 정적 내진 해석과 응답스펙트럼 기반 동적 내진 해석을 수행하여 해석 방법에 따른 내진 응답 특성을 비교⋅분석하였다. 스프링클러 설비 배관은 지진 발생 시 기능 유지 여부가 화재 안전과 직결되는 핵심 비구조요소이지만, 과거 지진 피해 사례에서는 배관 재료의 강도 한계 초과보다는 과도한 변위 및 이음부 이탈로 인한 손상이 주요 원인으로 보고되고 있다. 본 연구에서는 실제 건축물에 적용되는 대표적인 스프링클러 배관 시스템을 대상으로 상용 배관 응력 해석 프로그램을 이용하여 해석 모델을 구성하고, 모달 해석을 통해 고유진동수와 모드 형상을 도출하여 지진 입력 주파수 대역과의 중첩에 따른 공진 가능성을 검토하였다. 또한 배관 변위, 응력비 및 내진 브레이스 반력을 주요 응답 지표로 설정하여 정적 및 동적 하중 조합에 따른 내진 응답을 평가하였다. 해석 결과, 내진 브레이스 반력은 정적 해석에서 상대적으로 크게 산정되는 경향을 보인 반면, 배관 변위와 응력 응답은 특정 동적 하중 조합에서 더 크게 나타나는 것으로 확인되었다. 이러한 결과는 응답 지표에 따라 해석 방법별 내진 거동 특성이 다르게 나타날 수 있음을 시사하며, 스프링클러 설비 배관의 내진 성능을 합리적으로 평가하기 위해서는 정적 해석과 동적 해석을 병행한 종합적인 검토가 필요함을 시사한다. This study investigated the seismic response characteristics of sprinkler piping systems through a comparative analysis of equivalent static and response-spectrum-based dynamic analyses. As a critical nonstructural component for fire safety, the post-earthquake functionality of sprinkler piping systems is essential. However, historical earthquake damage reports indicate that failures are more often associated with excessive displacement and joint disengagement than with material strength exceedance. In this study, a representative sprinkler piping system applied to actual buildings was modeled using a commercial piping stress analysis program. Modal analysis was conducted to identify the natural frequencies and mode shapes of the piping system, and to examine the potential for resonance resulting from the overlap between the system’s dynamic characteristics and dominant seismic frequency ranges. The key response indices, including piping displacement, stress ratios, and seismic brace reaction forces, were evaluated under various static and dynamic load combinations. The results show that the seismic brace reaction forces tend to be larger in the static analysis, whereas the piping displacement and stress responses can increase in the dynamic analysis under certain load combinations. These findings indicate that the seismic response characteristics vary depending on the selected response indices and analysis methods, suggesting that a comprehensive and rational seismic performance evaluation of sprinkler piping systems requires the integrated use of both static and dynamic analyses.

터널구조물의 내진해석

이인모,안대진 사단법인 한국터널지하공간학회 2001 한국터널지하공간학회논문집 Vol.3 No.4

Generally, it has been noted that underground structures have a consistent record of suffering much less damage thansurface facilities during earthquakes; but it is still necessar subject to earthquake loadings and to provide the appropriate m ethod for the seismic analysis of underground tunnelstructures since many types of underground structures have been and will be constructed in countries situated withinground tunnel structures are performed by using quasi-static analysis method and dynamic analysis method. Second, se ismic analyses in tunnel portals are performed by usingabove methods. The results of seismic analyses for the tunnel s tructure show that the tunnel structure conforms toground deformation and that seismic design by using the quasi-s tatic analysis method is more conservative than that byusing the dynamic analysis. The results of the dynamic FEM anal ysis for the tunnel structure show that the simplified 2-is can be adopted for seismic analysis. Finally, theresults of the dynamic FEM analysis in tunnel portals show that the force acting on the lining is largest near to thetunnel portal when an earthquake wave propagates parallel to tu nnel axis.

천이기동하중 해석방법을 이용한 항공기 비행하중해석

신정우,이승규 항공우주시스템공학회 2025 항공우주시스템공학회지 Vol.19 No.3

Flight load analysis methods can be divided into ‘Static Maneuver Loads’ and ‘Transient Maneuver Loads’ analysis methods. The static maneuver loads analysis method is a method of calculating the loads for given load factor, attitude angle, angular acceleration, and velocity. Transient maneuver load analysis method is a method of calculating the load by considering variation of maneuver over time using the initial solution obtained through the static maneuver. In this paper, a flight load analysis process using the transient maneuver load analysis method was established. It was then applied to OPPAV to calculate checked pitching maneuver loads. First, aircraft equations of motion were derived and a flight simulation program necessary for the analysis was developed using Matlab/Simulink. Required parameters for static maneuver load analysis using MSC.Flightloads were obtained from simulation. They were then applied to perform the analysis. Based on results of the analysis, loads on the horizontal tail and elevator were calculated and plotted. It was observed that the maximum loads on the horizontal tail and elevator occurred at different time instance, indicating the necessity of transient maneuver load analysis for accurate load estimation.

Reliability Improvement of Embedded Software in using Static Analysis

Young Bin Kim,Conan K.R. Ryu 한국정보통신학회 2017 2016 INTERNATIONAL CONFERENCE Vol.9 No.1

This paper discusses research on improving the reliability of embedded software using static analysis. Static analysis is a technique used to enhance the reliability of software by detecting errors in the source codes. This technique can be executed without running the software. In this study, a commercial static analysis program was utilized as the static analysis tool, with the topic of the analysis being embedded software in industrial machinery, which must meet specific safety standards. Results of experimentation showed that static analysis detected about 950 errors, of which the program was able to correct 890 errors approximately.

Studying Higher Mode Effects on the Performance of Nonlinear Static Analysis Methods Considering Near-Fault Effects

S. F. Ghahari,H. R. Moradnejad,M. S. Rouhanimanesh,A. Sarvghad-Moghadam 대한토목학회 2013 KSCE JOURNAL OF CIVIL ENGINEERING Vol.17 No.2

Daily development in civil engineering arena and the importance of economical aspects in the design of structures have motivated the engineers to shift their approaches from designing upon strength to designing upon performance. This is of more importance regarding the forces induced by earthquakes which have unpredicted and random nature. However, it is not possible to design or assess exactly the structural performance against strong ground motion using analytical methods which are applied for static loads and therefore precise dynamic analysis methods are needed. Despite significant progress in the analytical methods and engineering software, using nonlinear time history analysis is very difficult for engineers and designers due to unpredictable nature of future ground motions as well as complicated behaviour of structures. Consequently, the substituting methods are presented upon nonlinear static analysis. Coefficient method and capacity spectrum method, presented by FEMA356 and ATC40, respectively, are of this kind that have been used in the recent years and modified by newer documents such as FEMA440. Despite acceptable results, neglecting some important items, such as higher mode effects which can be decisive in tall and specific structures, made offering other procedures like Modal Pushover Analysis (MPA). In this study, the performance abilities of nonlinear static methods are studied in order to assess the dynamic response of structures under both far- and near-fault earthquake records. For this purpose, two reinforced concrete frames of 5 and 15 stories are analyzed by a series of nonlinear static and dynamic analyses. Analysis results show that conventional nonlinear static analysis methods cannot estimate accurately the deformation demands of tall building structures,particularly in the higher stories, due to the effects of higher modes. Although MPA method has almost improved the results, yet it has not high accuracy regarding near-fault earthquake records.

Fatigue Analysis of Vehicle Chassis Componet Considering Resonance Frequency

Lee, Sang Beom,Yim, Hong-Jae 한국공작기계학회 2004 한국생산제조학회지 Vol.13 No.6

The purpose of this paper is to assess the benefits of frequency domain fatigue analysis and compare it with more conventional time domain techniques. The multi-body dynamic analysis, FE analysis and fatigue life prediction technique are applied for the frequency domain fatigue analysis. To obtain the dynamic load history used in the frequency domain fatigue analysis, the computer simulations running over typical road profiles are carried out by utilizing vehicle dynamic model. The fatigue life estimation for the rear suspension system of small-sized passenger car is performed by using resonance durability analysis technique, and the estimation results are compared with the conventional quasi-static durability analysis results. For the pothole simulation, the percent changes of the fatigue life between the two durability analysis techniques don't exceed 10%. But, for the Belgian road simulation, because of the resonance effect, the fatigue life using the resonance durability analysis technique are much smaller estimated than the quasi-static durability analysis results.