scholarly journals Automated Memory Corruption Detection through Analysis of Static Variables and Dynamic Memory Usage

Electronics ◽  
2021 ◽  
Vol 10 (17) ◽  
pp. 2127
Author(s):  
Jihyun Park ◽  
Byoungju Choi ◽  
Yeonhee Kim

Various methods for memory fault detection have been developed through continuous study. However, many memory defects remain that are difficult to resolve. Memory corruption is one such defect, and can cause system crashes, making debugging important. However, the locations of the system crash and the actual source of the memory corruption often differ, which makes it difficult to solve these defects using the existing methods. In this paper, we propose a method that detects memory defects in which the location causing the defect is different from the actual location, providing useful information for debugging. This study presents a method for the real-time detection of memory defects in software based on data obtained through static and dynamic analysis. The data we used for memory defect analysis were (1) information of static global variables (data, address, size) derived through the analysis of executable binary files, and (2) dynamic memory usage information obtained by tracking memory-related functions that are called during the real-time execution of the process. We implemented the proposed method as a tool and applied it to applications running on the Linux. The results indicate the defect-detection efficacy of our tool for this application. Our method accurately detects defects with different cause and detected-fault locations, and also requires a very low overhead for fault detection.

Sensors ◽  
2021 ◽  
Vol 21 (21) ◽  
pp. 7340
Author(s):  
Wenbo Na ◽  
Siyu Guo ◽  
Yanfeng Gao ◽  
Jianxing Yang ◽  
Junjie Huang

The reliability and safety of the cascade system, which is widely applied, have attached attention increasingly. Fault detection and diagnosis can play a significant role in enhancing its reliability and safety. On account of the complexity of the double closed-loop system in operation, the problem of fault diagnosis is relatively complex. For the single fault of the second-order valued system sensors, a real-time fault diagnosis method based on data-driven is proposed in this study. Off-line data is employed to establish static fault detection, location, estimation, and separation models. The static models are calibrated with on-line data to obtain the real-time fault diagnosis models. The real-time calibration, working flow and anti-interference measures of the real-time diagnosis system are given. Experiments results demonstrate the validity and accuracy of the fault diagnosis method, which is suitable for the general cascade system.


2012 ◽  
Vol 174-177 ◽  
pp. 1792-1795
Author(s):  
Bin Zhao ◽  
Hai Long Zhou ◽  
Can Wang ◽  
Ling Li Meng ◽  
Hong Guang Ma ◽  
...  

Based on the real working conditions of the carriage hoists, the Finite Element Method (FEM) software is used to make static and dynamic analysis for the key component and then to optimize its components according to the analysis results to achieve some goals, e.g., simplified structure, weight reduction, costs reduction, etc.. The process provides useful references for the design of carriage hoists.


2017 ◽  
Vol 70 (3) ◽  
pp. 561-579 ◽  
Author(s):  
Lina Zhong ◽  
Jianye Liu ◽  
Rongbing Li ◽  
Rong Wang

In life-critical applications, the real-time detection of faults is very important in Global Positioning System/Inertial Navigation System (GPS/INS) integrated navigation systems. A new fault detection method for soft fault detection is developed in this paper with the purpose of improving real-time performance. In general, the innovation information obtained from a Kalman filter is used for test statistic calculations in Autonomous Integrity Monitored Extrapolation (AIME). However, the innovation of the Kalman filter is degraded by error tracking and closed-loop correction effects, leading to time delays in soft fault detection. Therefore, the key issue of improving real-time performance is providing accurate innovation to AIME. In this paper, the proposed algorithm incorporates Least Squares-Support Vector Machine (LS-SVM) regression theory into AIME. Because the LS-SVM has a good regression and prediction performance, the proposed method provides replaced innovation obtained from the LS-SVM driven by real-time observation data. Based on the replaced innovation, the test statistics can follow fault amplitudes more accurately; finally, the real-time performance of soft fault detection can be improved. Theoretical analysis and physical simulations demonstrate that the proposed method can effectively improve the detection instantaneity.


2014 ◽  
Vol 1030-1032 ◽  
pp. 1837-1840
Author(s):  
Yao Tang ◽  
Pei Hu ◽  
Qian Hao ◽  
Shan Yi Fang ◽  
Shi Long Xing

According the actual equipment support demand of rapidly floating escape suit, this paper built the object oriented fault tree model for the rapidly floating escape suit, detailed descried the planning and realization method of the fault detection and analysis system with actual examples.


2014 ◽  
Author(s):  
Irving Biederman ◽  
Ori Amir
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document