• IEMEK Journal of Embedded Systems and Applications
• /
• v.4 no.4
• /
• pp.156-163
• /
• 2009

Recently a standard software platform for automotive, AUTOSAR, has been developed to manage growing software complexity and improve software reuseability. However reuse of testing system and test data are difficult because they are dependant on implementation language and testing phases. In this paper, we suggest a automated testing approach for AUTOSAR software component using a standardized testing language, TTCN-3. AUTOSAR defines the AUTOSAR XML Schema for the data exchange format so that it is possible to automatically convert AUTOSAR model into TTCN-3 testing model. Therefore our approach is to present generation techniques for the TTCN-3 testing system from a AUTOSAR XML description. With the proposed testing techniques we can reduce time and effort to build the testing system and reuse testing environment.

• KIISE Transactions on Computing Practices
• /
• v.21 no.2
• /
• pp.132-137
• /
• 2015

A real-time system is a system wherein the behavior of the system depends not only on the input but also on the timing of the input. Timed automata is a widely used model for real-time system modeling and analysis. Model-based testing is employed to check whether the system under test (SUT) works according to the model specifications by using test cases generated from models that represent software requirements. In this paper, a case study was performed applying the timed automata based testing tools, UPPAAL-TRON, UPPAAL-COVER and SYMBOLRT, to the same system. Comparison of the testing approaches and tools is then made based on the results of the case study.

• Computers and Concrete
• /
• v.3 no.6
• /
• pp.423-437
• /
• 2006

Stress wave propagation through concrete is simulated by finite element analysis. The concrete medium is modeled as a homogeneous material with smeared properties to investigate and establish the suitable finite element analysis method (explicit versus implicit) and analysis parameters (element size, and solution time increment) also suitable for rigorous investigation. In the next step, finite element analysis model of the medium is developed using a digital image processing technique, which distinguishes the mortar and aggregate phases of concrete. The mortar and aggregate phase topologies are, then, directly mapped to the finite element mesh to form a heterogeneous concrete model. The heterogeneous concrete model is then used to simulate wave propagation. The veracity of the model is demonstrated by evaluating the intrinsic parameters of nondestructive ultrasonic pulse velocity testing of concrete. Quantitative relationships between aggregate size and testing frequency for nondestructive testing are presented.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.25 no.3
• /
• pp.163-170
• /
• 2005

A modular Gaussian beam model is developed to simulate some ultrasonic testing configurations where multiple interfaces are involved. A general formulation is given in a modular matrix form to represent the Gaussian beam propagation with multiple interfaces. The ultrasonic transducer fields are modeled by a multi-Gaussian beam model which is formed by superposing 10 single Gaussian beams. The proposed model, referred to as "MMGB" (modular multi-Gaussian beam) model, is then applied to a typical contact and angle beam testing configuration to predict the output signal reflected from the corner of a vertical crack. The resulting expressions given in a modular matrix form are implemented in a personal computer using the MATLAB program. Simulation results are presented and compared with available experimental results.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2001.11b
• /
• pp.665-670
• /
• 2001

The purpose of this paper is to verify a finite element model of an automotive exhaust system using Modal testing. In general, a lot of finite element models are used in initial design step of automotive development. One of them is a finite element model of an exhaust system. Verification on the finite element model of an automotive exhaust system is indispensable. In this paper, a finite element analysis on the exhaust system using MSC/NASTRAN is carried out, and the results are compared with those obtained by modal testing. By comparing MAC values of the analytical modes with the experimental modes, the finite element model of the automotive exhaust system is verified.

• Journal of the Korean Data and Information Science Society
• /
• v.17 no.2
• /
• pp.521-527
• /
• 2006

In this paper, we consider the Bayesian hypotheses testing for independence in bivariate exponential model. In Bayesian testing problem, we use the noninformative priors for parameters which are improper and are defined only up to arbitrary constants. And we use the recently proposed hypotheses testing criterion called the fractional Bayes factor. Also we give some numerical results to illustrate our results.

• Proceedings of the KIEE Conference
• /
• 2005.11b
• /
• pp.359-361
• /
• 2005

It is essential for testing and model validations about generator and controls for stability analysis in power system. After two large disruptions, field testings were much more important and tested for all generators of greater than 10MW. It compared and reviewed about testing and modeling of WSCC, Powertech, and domestic's. This paper points out insufficient testing items and presents complementary testing draft considering domestic circumstance.

• International Journal of Aeronautical and Space Sciences
• /
• v.2 no.1
• /
• pp.103-109
• /
• 2001

Productivity enhancement program of wind tunnel testing has begun at Korea Aerospace Research Institute Low Speed Wind Tunnel (KARI LSWT). A previous test record of a canard airplane model was adopted to examine the current status of wind tunnel testing efficiency. The time consumed to perform testing activities from the model preparation to data collection was broken down and the results were compared with those of the recent Boeing low speed test result. The efforts to improve the wind tunnel productivity consisted of the installation of mini crane underneath of test section, fabricating lift device for image fairings, model configuration changing rigs and the modifications of external balance system. Time reductions for changing strut interface platform and installation of image fairings. These effects showed more than 70% improvement over the previous test time. Integration of the new and modified systems will improve productivity of wind tunnel testing in KARI LSWT.

• Proceedings of the KIEE Conference
• /
• 2001.11b
• /
• pp.101-105
• /
• 2001

Due to their elastic anisotropy, ultrasonic testing of austenitic welds, frequently used in nuclear power plants, is much more difficult than that of isotropic elements. For accurate testing of austenitic welds, ultrasonic wave phenomena therein must be full understood. This study uses an accurate and effective numerical model, the mass-spring lattice model, for such phenomena. By comparing the numerical results with the corresponding analytical results, it is shown that the model is capable of accurately predicting the generation, reflection, refraction, and scattering phenomena of ultrasonic waves in anisotropic austenite welds. Therefore, the mass-spring lattice model will provide a very useful tool for simulating ultrasonic testing of austenitic welds, and thus will contribute to the enhancement of reliability of such ultrasonic testing.

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