• Journal of Information Processing Systems
• /
• 제8권2호
• /
• pp.213-240
• /
• 2012

Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test ma Safety critic Safety critical systems, real time systems, and event-based systems have a complex set of events and their own interdependency, which makes them difficult to test manually. In order to cut down on costs, save time, and increase reliability, the model based testing approach is the best solution. Such an approach does not require applications or codes prior to generating test cases, so it leads to the early detection of faults, which helps in reducing the development time. Several model-based testing approaches have used different UML models but very few works have been reported to show the generation of test cases that use events. Test cases that use events are an apt choice for these types of systems. However, these works have considered events that happen at a user interface level in a system while other events that happen in a system are not considered. Such works have limited applications in testing the GUI of a system. In this paper, a novel model-based testing approach is presented using business events, state events, and control events that have been captured directly from requirement specifications. The proposed approach documents events in event templates and then builds an event-flow model and a fault model for a system. Test coverage criterion and an algorithm are designed using these models to generate event sequence based test scenarios and test cases. Unlike other event based approaches, our approach is able to detect the proposed faults in a system. A prototype tool is developed to automate and evaluate the applicability of the entire process. Results have shown that the proposed approach and supportive tool is able to successfully derive test scenarios and test cases from the requirement specifications of safety critical systems, real time systems, and event based systems.

• International Journal of Reliability and Applications
• /
• 제2권4호
• /
• pp.269-280
• /
• 2001

The objective of this paper is to provide a model for effective implementation of costing RAM management in the design and procurement of production facility considering the system cost-performance trade-off. This research proposes a two-step approach of costing RAM design and test of system RAM for production facility. In Step 1, a static model is proposed to find an initial system configuration to meet the required performance based on system RAM and LCC and analyzes the trade-off relationships between various factors of RAM and LCC. In the second Step, we developed time and failure truncated models for system reliability test and analysis. For the computational purpose, we developed computer programs and have shown the sample results. By the sample test run, the proposed model has shown the possibilities to provide a good method to analyze system performance evaluation for both design and operational phase, This model can be applied to a wide variety of systems not only for costing RAM of the production facilities but also for the other kinds of equipment.

• 대한기계학회논문집B
• /
• 제25권5호
• /
• pp.634-644
• /
• 2001

The test facility of a 1/60-scale model for train-tunnel systems has been recently developed to investigate the effects of tunnel portal shapes, hood shapes and air-shafts for reducing the micro-pressure waves radiating towards the surroundings from the tunnel exit. The present test rig has been advanced from a 1/70-scale facility at NLR in Netherlands. The NLR test rig has the two-wise guidance system that needs two ears attached on the external surface of a model train nose. Therefore, their train models have irregular nose shapes. The main characteristics of the present facility are that the train model is guided by only one wire from the compressed air launcher to the absorber parts of test facility and the wire guidance hole is located at the axial center of a train model. In the present test rig, after a train model is launched, the air jet from the launcher does not enter the tunnel model. Experimental results were compared with numerical predictions to prove the performance of the test facility.

• 대한조선학회논문집
• /
• 제42권2호
• /
• pp.98-104
• /
• 2005

The mathematical models of hydrodynamic force and moment acting on a ship at low speed range should be established differently from the ones at nominal cruising speed range since a ship moves with large drift angle or rotates in a stationary position. We modified widely used Yoshimura's cross flow model in order to apply the system identification method to estimate parameters in the model. The apparatus and the procedure of free running model test were suggested so that the parameters in the model be estimated. The validity of our proposing modified model and test procedure was confirmed by comparison with the results of simulated model test.

• Structural Engineering and Mechanics
• /
• 제17권2호
• /
• pp.187-201
• /
• 2004

A shaking table test on a three-story one-bay steel frame model with metallic yield dampers and their parallel connection with oil dampers is carried out to study the dynamic characteristics and seismic performance of the energy dissipation system. It is found from the test that the combined energy dissipation system has favorable reducing vibration effects on structural displacement, and the structural peak acceleration can not evidently be reduced under small intensity seismic excitations, but in most cases the vibration reduction effect is very good under large intensity seismic excitations. Test results also show that stiffness of the energy dissipation devices should match their damping. Dynamic analysis method and mechanics models of these two dampers are proposed. In the analysis method, the force-displacement relationship of the metallic yield damper is represented by an elastic perfectly plastic model, and the behavior of the oil damper is simulated by a velocity and displacement relative model in which the contributions of the oil damper to the damping force and stiffness of the system are considered. Validity of the analytical model and the method is verified through comparison between the results of the shaking table test and numerical analysis.

• Geomechanics and Engineering
• /
• 제35권1호
• /
• pp.13-27
• /
• 2023

The model production for large-scale (lateral length ≥ 2.0 m) capillary barrier (CB) model tests is time and cost-intensive. To address these limitations, the framework of a small-scale CB (SSCB) model test under the lateral no-flow condition has been established. In this study, to validate the experimental methodology of the SSCB model test, a series of seepage analyses on the SSCB model test and engineered slopes in the same and additional test conditions was performed. First, the seepage behavior and diversion length (L_D) of the CB system were investigated under three rainfall conditions. In the seepage analysis for the engineered slopes with different slope angles and sand layer thicknesses, the L_D increased with the increase in the slope angle and sand layer thickness, although the increase rate of the L_D with the sand layer thickness exhibited an upper limit. The L_D values from the seepage analysis agreed well with the results estimated from the laboratory SSCB mode test. Therefore, it can be concluded that the experimental methodology of the SSCB model test is one of the promising alternatives to efficiently evaluate the water-shielding performance of the CB system for an engineered slope.

• 항공우주시스템공학회지
• /
• 제10권1호
• /
• pp.29-34
• /
• 2016

Flutter wind-tunnel test is an expensive and complicated process. Also, the test model may has discrepancy in the structural characteristics when compared to those of the real model. "Dry Wind-Tunnel" (DWT) is an innovative testing system which consists of the ground vibration test (GVT) hardware system and software which computationally can be operated and feedback in real-time to yield rapidly the unsteady aerodynamic forces. In this paper, we study on the aerodynamic forces of DWT system to feedback in time domain. The aerodynamic forces in the reduced-frequency domain are approximated by Minimum-state approximation. And we present a state-space equation of the aerodynamic forces. With the two simulation model, we compare the results of the flutter analysis.

• International Journal of Aeronautical and Space Sciences
• /
• 제18권3호
• /
• pp.414-424
• /
• 2017

This paper introduces an experimental device which can measure accurate aerodynamic forces without support interference in wide experimental region for wind tunnel test of micro aerial vehicles (MAVs). A stereo pattern recognition (SPR) method was introduced to a magnetic suspension and balance system (MSBS), which can eliminate support interference by levitating the experimental model, to establish wider experimental region; thereby MSBS-SPR integrated system was developed. The SPR method is non-contact, highly accurate three-dimensional position measurement method providing wide measurement range. To evaluate the system performance, a series of performance evaluations including SPR system measurement accuracy and 6 degrees of freedom (DOFs) position/attitude control of the MAV model were conducted. This newly developed system could control the MAV model rapidly and accurately within almost 60mm for translational DOFs and 40deg for rotational DOFs inside of $300{\times}300mm$ test section. In addition, a static wind tunnel test was conducted to verify the aerodynamic force measurement capability. It turned out that this system could accurately measure the aerodynamic forces in low Reynolds number, even for the weak forces which were hard to measure using typical balance system, without making any mechanical contact with the MAV model.

• 한국자동차공학회논문집
• /
• 제12권4호
• /
• pp.154-162
• /
• 2004

In this study, a mathematical model for analyzing the shifting transients of the passenger car with an automatic transmission is proposed. The proposed model comprises a power transmission system and a vehicle system, which are coupled. In order to extract the modeling parameters, on-road car test is carried out. The model is composed of a detailed powertrain, an engine/AT housing, a simplified suspension system, tires and a vehicle body model. On the test, the vehicle accelerations and pitch ratio are measured by using accelerometers and a gyro sensor. The speeds, the brake signal, and the throttle position are taken from sensors which already exist in the vehicle. Considering natural ftequencies, which is calculated from the measured accelerations, and the characteristic equation, vehicle model parameters are identified. Dynamic behaviors during upshift or downshift are simulated using the proposed vehicle model. By comparing and analyzing the simulation result and on-road car test data, the vibration of the Engine/AT housing influences the shifting transients. The effect of model parameters are also studied. Among model parameters, the location of engine mountings influences the vibration of the vehicle body.

• 전기학회논문지
• /
• 제60권4호
• /
• pp.830-837
• /
• 2011

A turbine control system which has been operated for years in a nuclear power plant was retrofitted with a newly developed digital control system. After completion of the retrofit, turbine valve tests were performed to ensure the integrity of each valve's control function. The sequence of each valve test is composed of a closing process and a reopening process. To minimize megawatt variation which normally occurs during the test sequence, we employed a kind of compensator algorithm in the new digital control system which also have been used in the old system. There were difficulties finding optimal parameter settings for our new compensator algorithm because the power plant didn't allow us to perform necessary tuning procedures while the turbine is on load operation. Therefore an alternative measure for the compensator tuning which is independent of the turbine actual operation had to be implemented. So, a process model for the test was required to overcome this situation. We analyzed the operation data of the test and implemented the process model by use of input and output variable relations. Also we verified the process model by use of another condition's operating data. The result shows that the output of model is similar to the actual operation data.