• 대한임베디드공학회논문지
• /
• 제4권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.

• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제21권2호
• /
• pp.132-137
• /
• 2015

실시간 시스템은 시스템의 행동이 입력 값 뿐만이 아니라 입력 값의 시간에도 의존적인 시스템이고, 타임드 오토마타는 실시간 시스템 모델링 및 분석에 대표적으로 쓰이는 모델이다. 모델 기반 테스팅은 소프트웨어의 요구사항을 표현한 모델로부터 생성된 테스트 케이스를 테스트 대상 프로그램에 수행함으로써 테스트 대상 프로그램이 모델에 명세된 대로 작동하는지 여부를 확인하는 기법이다. 본 연구에서는 타임드 오토마타 모델 기반 테스팅 도구인 UPPAAL-TRON, UPPAAL-COVER, SYMBOLRT를 동일한 시스템에 적용하는 사례 연구를 수행하고, 이를 기반으로 테스팅 기법 및 도구를 비교 분석한다.

• Computers and Concrete
• /
• 제3권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.

• 비파괴검사학회지
• /
• 제25권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.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2001년도 추계학술대회논문집 II
• /
• 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
• /
• 제17권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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2005년도 추계학술대회 논문집 전력기술부문
• /
• 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
• /
• 제2권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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 추계학술대회 논문집 전력기술부문
• /
• 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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 학술회의 논문집 정보 및 제어부문 B
• /
• 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}}$.