• IEMEK Journal of Embedded Systems and Applications
• /
• v.13 no.6
• /
• pp.305-312
• /
• 2018

Software has been used to develop many functions of the modern weapon systems which has a high mission criticality. Weapon system software must consider multi-threaded processing to satisfy growing performance requirement. However, developing multi-threaded programs are difficult because of concurrency faults, such as unintended data races. Especially, it is important to prepare analysis for debugging the data races, because the weapon system software may cause personal injury. In this paper, we present an efficient framework of analysis, called ConDeWS, which is designed to determine the scope of dynamic analysis through using the result of static analysis and fault analysis. As a result of applying the implemented framework to the target software, we have detected unintended data races that were not detected in the static analysis.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.18 no.1
• /
• pp.12-23
• /
• 1994

This paper proposes an optimal design software for the open-chain dynamic systems whose governing equations are expressed as differential equation. In this software, an input module and an automatic creation module of the equation of motion are developed to contrive the user's convenience. To analyze the equation of motion of the dynamic systems, variable-order and variable-stepsize Adams-Bashforth-Moulton predictor-corrector method is used to improve the efficiency. For the optimization and the design sensitivity analysis, ALM(augmented lagrange multiplier)method and adjoint variable method are adopted respectively. An output module with which the user can compare and investigate the analysis and the optimization results through tables and graphs is also provided. The developed software is applied to three typical dynamic response optimization problems, and the results compare very well with those available in the literature, demonstrating its effectiveness.

• 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.

• Ocean Systems Engineering
• /
• v.6 no.2
• /
• pp.203-216
• /
• 2016

Over recent years the offshore wind turbines are becoming more feasible solution to the energy problem, which is crucial for Egypt. In this article a three floating support structure, tension leg platform types (TLP), for 5-MW wind turbine have been considered. The dynamic behavior of a triangular, square, and pentagon TLP configurations under multi-directional regular and random waves have been investigated. The environmental loads have been considered according to the Egyptian Metrological Authority records in northern Red sea zone. The dynamic analysis were carried out using ANSYS-AQWA a finite element analysis software, FAST a wind turbine dynamic software, and MATLAB software. Investigation results give a better understanding of dynamical behavior and stability of the floating wind turbines. Results include time history, Power Spectrum densities (PSD's), and plan stability for all configurations.

• KIPS Transactions on Computer and Communication Systems
• /
• v.2 no.7
• /
• pp.303-310
• /
• 2013

As the role of software increases in computing environments, issues in software security become more important problems. Dynamic taint analysis is a technique to trace and manage tainted data originated from unreliable sources during the execution of a program. This analysis can be applied to software security verification as well as software behavior understanding, testing unexpected errors, or debugging. In the previous researches, they focussed only to show the analysis results of dynamic taint analysis, and they did not logically describe propagation process of tainted data and analysis procedures. So, there were difficulties in understanding the analysis procedures or applying to other analysis. In this paper, by theoretically describing the analysis procedure, we logically show how the propagation process of tainted data can be traced, and present a theoretical model for dynamic taint analysis. In addition, we verify the correctness of the proposed model by implementing an analyser, and show that propagation of tainted data can be traced by the model. The proposed model can be applied to understand the analysis procedures of data flows in dynamic taint analysis, and can be used as an base knowledge for designing and implementing analysis method, which applies such analysis method.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2006.04a
• /
• pp.971-976
• /
• 2006

This paper presents a design technique of steel structures subjected to static and dynamic loadings using practical nonlinear inelastic analysis software. The beam-column approach using the stability functions and the plastic hinge concept enables the software to suitably predict second-order effects and inelastic behavior of beam-columns. For dynamic analysis. the incremental from of the equation of motion is solved by the use of a step-by-step numerical integration procedure in which the assumption of constant acceleration over a small time step is employed. The accuracy of the analysis program is validated using the results of ABAQUS program and experimental tests. A user-friendly graphic interface of the software is developed to facilitate the modeling process and result interpretation of the problem. A design example of large span bridge is presented to detail the direct design process using the practical advanced analysis software.

• Journal of KIISE
• /
• v.43 no.10
• /
• pp.1067-1072
• /
• 2016

Software birthmarks, which are unique characteristics of the software, are used to detect software plagiarism or software similarity. Generally, software birthmarks are divided into static birthmarks or dynamic birthmarks, which have evident pros and cons depending on the extraction method. In this paper, we propose a method for extracting the API sequence birthmarks using a dynamic analysis and similarity detection between the executable codes. Dynamic birthmarks based on API sequences extract API functions during the execution of programs. The extracted API sequences often include all the API functions called from the start to the end of the program. Meanwhile, our dynamic birthmark scheme extracts the API functions only called directly from the executable code. Then, it uses a sequence alignment algorithm to calculate the similarity metric effectively. We evaluate the birthmark with several open source software programs to verify its reliability and credibility. Our dynamic birthmark scheme based on the extracted API sequence can be utilized in a similarity test of executable codes.

• Journal of the Korea Society of Computer and Information
• /
• v.22 no.11
• /
• pp.1-7
• /
• 2017

In this paper, we introduce three monitoring filtering techniques which reduce the overheads of dynamic data race detection. It is well known that detecting data races dynamically in multi-threaded programs is quite hard and troublesome task, because the dynamic detection techniques need to monitor all execution of a multi-threaded program and to analyse every conflicting memory and thread operations in the program. Thus, the main drawback of the dynamic analysis for detecting data races is the heavy additional time and space overheads for running the program. For the practicality, we also empirically compare the efficiency of three monitoring filtering techniques. The results using OpenMP benchmarks show that the filtering techniques are practical for dynamic data race detection, since they reduce the average runtime overhead to under 10% of that of the pure detection.

• Journal of Ocean Engineering and Technology
• /
• v.21 no.1 s.74
• /
• pp.69-74
• /
• 2007

This paper is concerned about the dynamic analysis of an underwater test miner, which operates on cohesive soil. The test miner consists of tracked vehicles and a pick-up device. The motion of the pick-up device, relative to the vehicle chassis, is controlled by two pairs of hydraulic cylinders. The test miner is modeled by means of commercial software. A terramechanics model of cohesive soft soil is implemented with the software and applied to a dynamic analysis of the test miner model. The dynamic responses of the test miner are studied with respect to four different types of terrain conditions.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.10 no.5
• /
• pp.168-173
• /
• 2002

The durability test, along with the crashworthiness test, requires the most time and expense in the vehicle development process. The durability design using CAE tools reduces the time required for both the durability test and actual vehicle production. Existing dynamic stress analyses designed fir the analysis of vehicle fatigue mainly calculate the dynamic stress history and fatigue after performing dynamic analysis and stress analysis with relevant software applications and then superpositioning the dynamic load history and stress influence coefficient at each joint. This approach is a complex process, taking into account the flexibility of the parts. It is, however, incapable of giving accurate consideration to the contacts between components, the non-linearity of materials, and tire-road surface interactions. This approach also requires that the analysts have an expertise in software applications of various kinds or an expert in each area must perform the analysis. This requires as a great deal of manpower and time. In order to complement the existing approaches for dynamic stress analysis, this study aims at the following: (1) to suggest the simple and accurate analysis technique which is capable of producing all the possible necessary results; (2) to reduce dramatically the time and manpower needed to construct a model designed to analyze dynamics, quasi-static stress, and fatigue; and (3) to enable an accurate analysis of fatigue by improving the accuracy of dynamic stress. we verify the presented analysis method through durability evaluation of the knuckle of passenger car.