• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.48 no.7
• /
• pp.547-554
• /
• 2020

Airborne health management system prevents functional failure caused by errors or faults in the airborne software. On-the-fly repairing atomicity violations (AV) in an ARINC-653 concurrent software is critical for guaranteeing correctness of execution of the software. This paper proposes Repairing-AV which efficiently repairs atomicity violations. The Repairing-AV can diagnose and prevent an error on-the-fly by utilizing the training results of the software and controls access to the shared variable of the thread where the error occurred. The evaluation of the Repairing-AV measures the time overhead by applying the previous work and the Repairing-AV to five synthesis programs containing the atomicity violation. As the result of evaluation, the RepairingAV constantly shows about 1.4x time overhead regardless of count of shared variable access.

• Journal of Korean Society for Quality Management
• /
• v.23 no.3
• /
• pp.57-68
• /
• 1995

In this paper, we consider possibility that the multiple errors occur in each testing stage. At present, software reliability modeling is considered as a part of software reliability quality assurance in software engineering. However they dealt with the software growth model for the single error debugging at each testing stage until now. Hence it is necessary to study software reliability with multiple errors debugging. Therefore we propose software reliability growth modeling and estimate the parameters in the proposed software reliability growth model for the multiple errors debugging at each testing stage.

• International Journal of Quality Innovation
• /
• v.7 no.1
• /
• pp.90-97
• /
• 2006

The process of producing software differs in many aspects from that of traditional manufacturing. Software is not manufactured in the classical sense. Development of software more closely resembles the development effort that goes into design new product [1-3]. In this article, we first describe the foundations of process improvement, which all processes can share. The process improvement differences between software and manufacturing process are then discussed, and a defect driven process inspection and improvement is introduced. Based on the discussion, two experiments were designed and the results of the results were collected. Through the comparison, we found that some efficient quality improvement approaches can be easily adapted in the software improvement and that the inspection efficiency is also significant.

• Advances in Computational Design
• /
• v.3 no.1
• /
• pp.87-112
• /
• 2018

In this study, it is aimed to present engineering software to estimate the structural response of concrete arch dam. Type-1 concrete arch dam constructed in the laboratory is selected as a reference model. Finite element analyses and experimental measurements are conducted to show the accuracy of initial model. Dynamic analyses are carried out by spectrum analysis under empty reservoir case considering soil-structure interaction and fixed foundation condition. The displacements, principal stresses and strains are presented as an analysis results at all nodal points on downstream and upstream faces of dam body. It is seen from the analyses that there is not any specific ratio between prototype and scaled models for each nodal point with different scale values. So, dynamic analyses results cannot be generalized with a single formula. To eliminate this complexity, the regression analysis, which is a statistical method to obtain the real model results according to the prototype model by using fitting curves, is used. The regression analysis results are validated by numerical solutions using ANSYS software and the error percentages are examined. It is seen that 10% error rates are not exceeded.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.1
• /
• pp.396-413
• /
• 2017

Dynamically checking the integrity of software at run-time is always a hot and difficult spot for trusted computing. Control-flow integrity is a basic and important safety property of software integrity. Many classic and emerging security attacks who introduce illegal control-flow to applications can cause unpredictable behaviors of computer-based systems. In this paper, we present a software-based approach to checking violation of control flow integrity at run-time. This paper proposes a high-performance and low-overhead software control flow checking solution, control flow checking at virtual edges (CFCVE). CFCVE assigns a unique signature to each basic block and then inserts a virtual vertex into each edge at compile time. This together with insertion of signature updating instructions and checking instructions into corresponding vertexes and virtual vertexes. Control flow faults can be detected by comparing the run-time signature with the saved one at compile time. Our experimental results show that CFCVE incurs only 10.61% performance overhead on average for several C benchmark programs and the average undetected error rate is only 9.29%. Compared with previous techniques, CFCVE has the characteristics of both high fault coverage and low memory and performance overhead.

• Journal of Institute of Control, Robotics and Systems
• /
• v.16 no.2
• /
• pp.188-193
• /
• 2010

With GPS being the primary navigation system, Loran use is in steep decline. However, according to the final report of vulnerability assessment of the transportation infrastructure relying on the global positioning system prepared by the John A. Volpe National Transportation Systems Center, there are current attempts to enhance and re-popularize Loran as a GPS backup system through the characteristic of the ground based low frequency navigation system. To advance the Loran system such as Loran-C modernization and eLoran development, research is definitely needed in the field of Loran-C receiver signal processing as well as Loran-C signal design and the technology of a receiver. We have developed a set of Matlab tools, which implement a software Loran-C receiver that performs the receiver's position determination through the following procedure. The procedure consists of receiving the Loran-C signal, cycle selection, calculation of the TDOA and range, and receiver's position determination through the Least Square Method. We experiences the effect of an incorrect cycle selection and various error factors (ECD, ASF, sky wave, CRI, etc.) from the result of the Loran-C signal processing. It is apparent that researches which focus on the elimination and mitigation of various error factors need to be investigated on a software Loran-C receiver. These aspects will be explored in further work through the method such as PLL and Kalman filtering.

• Proceedings of the KIEE Conference
• /
• 2003.11c
• /
• pp.818-822
• /
• 2003

We propose a software-reliability growth model incoporating the amount of uniform and Weibull testing efforts during the software testing phase in this paper. The time-dependent behavior of testing effort is described by uniform and Weibull curves. Assuming that the error detection rate to the amount of testing effort spent during the testing phase is proportional to the current error content, the model is formulated by a nonhomogeneous Poisson process. Using this model the method of data analysis for software reliability measurement is developed. The optimum release time is determined by considering how the initial reliability R(x|0) would be. The conditions are $R(x|0)>R_o$, $R_o>R(x|0)>R_o^d$ and $R(x|0)<R_o^d$ for uniform testing efforts. Ideal case is $R_o>R(x|0)>R_o^d$. Likewise, it is $R(x|0){\geq}R_o$, $R_o>R(x|0)>R_o^{\frac{1}{g}$ and $R(x\mid0)<R_o^{\frac{1}{g}}$ for Weibull testing efforts. Ideal case is $R_o>R(x|0)>R_o^{\frac{1}{g}}$.

• Journal of Astronomy and Space Sciences
• /
• v.36 no.4
• /
• pp.249-264
• /
• 2019

In this study, the precise orbit determination (POD) software is developed for optical observation. To improve the performance of the estimation algorithm, a nonlinear batch filter, based on the unscented transform (UT) that overcomes the disadvantages of the least-squares (LS) batch filter, is utilized. The LS and UT batch filter algorithms are verified through numerical simulation analysis using artificial optical measurements. We use the real optical observation data of a low Earth orbit (LEO) satellite, Cryosat-2, observed from optical wide-field patrol network (OWL-Net), to verify the performance of the POD software developed. The effects of light travel time, annual aberration, and diurnal aberration are considered as error models to correct OWL-Net data. As a result of POD, measurement residual and estimated state vector of the LS batch filter converge to the local minimum when the initial orbit error is large or the initial covariance matrix is smaller than the initial error level. However, UT batch filter converges to the global minimum, irrespective of the initial orbit error and the initial covariance matrix.

• Journal of the Korea Society of Computer and Information
• /
• v.20 no.10
• /
• pp.15-21
• /
• 2015

In this paper, we propose a stable automatic signature verification algorithm applicable to various smart devices. The proposed algorithm uses real and forgery data all together, which can improve the verification rate dramatically. As a tool for signature acquisition in a smart device, two applications, one using touch with a finger and the other using a pressure-sensing-stylus pen, are developed. The verification core is based on SVM and some modifications are made to include the characteristics of signatures. As shown in experimental results, the minimum error rate was 1.84% in the SVM based method, which can easily defeat 4.38% error rate with the previous parametric approach. Even more, 2.43% error rate was achieved with the features excluding pressure-related features, better than the previous approach including pressure-related features and only about 0.6% more error than the best result, which means that the proposed algorithm can be applied to a smart device with or without pressure-sensing-stylus pens and used for security purposes.

• Journal of Software Assessment and Valuation
• /
• v.15 no.2
• /
• pp.95-100
• /
• 2019

In this paper, we propose a simple hardware reporting method for errors in soft-RAID systems of Linux OS. Compared with other reporting methods, the proposed method displays error status intuitively without any additional access process such as log-in process or home-page access. In particular, the server actively displays the error status, so the administrator can take immediate action. In order to confirm the effectiveness of the proposed method, the experimental circuit was constructed and the experimental results showed that the error was actively displayed when an error occurred in the storage device. As such, a soft-RAID system can perform almost the same function as a hardware RAID system, thereby ensuring server data reliability at low cost.