• IEMEK Journal of Embedded Systems and Applications
• /
• v.9 no.6
• /
• pp.307-314
• /
• 2014

Recently, software reliability and safety issues are seriously considered since failures of embedded systems may cause the damages of human lifes. For verifying and testing embedded software, execution environment including sensors and actuators should be prepared in the actual plants or virtual forms on PC. In this paper, we provide the virtual prototype based code simulation techniques and testing framework on PC. Virtual prototypes are generated by combining the Adobe's Flash SWF images corresponding to the state machine of HW or environment components. Code simulation on PC is possible by replacing the device drivers into virtual drivers which connect to virtual prototypes. Also, testing is performed by controlling the states of virtual prototype and simulators. By using these tools, embedded software can be executed in the earlier development phase and the efficiency and SW quality can be enhanced.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.41 no.7
• /
• pp.575-583
• /
• 2017

This paper describes the design and evaluation of a driving mode decision algorithm for automated driving for merge situations on highways. For the development of a highly automated driving control algorithm for merge situations, the driving mode decision is crucial for merging appropriately. There are two driving modes: lane keeping and lane changing (merging). The merge mode decision is determined based on the state of the surrounding vehicles and the remaining length of the merge lane. In the merge mode decision algorithm, merge possibility and the desired merge position are decided to change the lane safely and quickly. A safety driving envelope is defined based on the desired driving mode using the information on the surrounding vehicles' behaviors. To obtain the desired steering angle and longitudinal acceleration for maintaining the subject vehicle in the safe driving envelope, a motion planning controller is designed using model predictive control (MPC), with constraints that are decided considering the vehicle dynamics, safe driving envelope, and actuator limit. The proposed control algorithm has been evaluated via computer simulation studies.

• Korean Journal of Applied Biomechanics
• /
• v.18 no.1
• /
• pp.117-127
• /
• 2008

The purpose of this study was to investigate the relationship between research of mechanical friction and Taekwondo kick performance. For this a Taekwondo kick performance test, A.F.T.S.(Automated Footwear Testing System) and survey about fitting was used. There was a statistically significant difference between all the Taekwondo shoe types. While performing the roundhouse kick there were statistically significant differences in the peak free moment(p=.01) and peak plantar pressure between type A and B. Comfort testing revealed that there were statistically significant difference between type A and B in the five comfort variables tested but not between type B and Type C. There was statistically significant differences between each of the Taekwondo shoes but there was no relationship between the performance and the results of the survey.

• Journal of KIISE:Software and Applications
• /
• v.31 no.10
• /
• pp.1304-1319
• /
• 2004

We can significantly reduce the cost o# program testing by automating the process of test data generation. Test data generation usually concerns identifying input values on which a selected path is executed. Although lots of research has been done so far, there still remains a lot of issues to be addressed. One of the issues is the shape problem. The shape problem refers to the problem of figuring out a shape of the input data structure required to cause the traversal of a given path. In this paper, we introduce a new method for the shape problem. The method converts the selected path into static single assignment (SSA) form without pointer dereferences. This allows us to consider each statement in the selected path as a constraint involving equality or inequality. We solve the constraints to get a solution which will be represented in terms of the points-to relations for each input variable. Simple, but illustrative examples are given to explain the proposed method.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.30 no.4
• /
• pp.317-323
• /
• 2010

The manual ultrasonic examination for the nuclear power plant piping welds has been demonstrated by using KPD(Korean Performance Demonstration) generic procedure. For automated ultrasonic examination, there is no generic procedure and it should be qualified by using applicable automated equipment. Until now, most of qualified procedures used pulse-echo technique and there is no qualified procedure using phased array technique. In this study, data acquisition and analysis software were developed and phased-array transducer and wedge were designed to implement phased array technique for nuclear power plant in-service inspection. The developed procedure are qualified for performance demonstration for the flaw detection, length sizing and depth sizing. The qualified procedure will be applied for the field examination in the nuclear power plant piping weld inspection.

• Journal of Software Engineering Society
• /
• v.29 no.2
• /
• pp.1-6
• /
• 2020

Software product line development is a development paradigm that efficiently develops a product family by avoiding redundant development based on separation of the common part and the variable part of the product family. In software product line development, the source code that is used to produce a product family is called a product line code base, and when the product line code base is changed and the products of the product family are affected by the change, the activity of testing the affected products is called a product line regression testing. For product line regression testing, instead of conducting regression testing individually on each product of the product family, a more efficient regression testing would be possible if unnecessary testing that are irrelevant to the change can be avoided. This paper introduces SRTS, which is an automated method to efficiently perform software product line regression testing. SRTS divides the product line code base and test cases based on commonality and variability. Then SRTS identifies and selects the test cases affected by the change. Finally, it reduces unnecessary testing by rerunning only the selected test cases.

• Journal of Auto-vehicle Safety Association
• /
• v.14 no.1
• /
• pp.6-13
• /
• 2022

The Ministry of Land, Infrastructure and Transport (MoLIT) and the Korean Automobile Testing and Research Institute (KATRI) are supporting the development of Lv.3 automated vehicle (hereinafter, AV) technology by constructing an automated driving pilot city (as known as K-City) equipped with total 5 evaluation environments (urban, motorway, suburban, community road, and autonomous parking facility) which is a test bed exclusively for AV (2017~2018). An upgrade project is in a progress to materialize harsh environments such as bad weather (rain, fog, etc.) and reproduction of communication jamming (GPS blocking, etc.) with the purpose of supporting the development of Lv.4 connected & automated vehicle (hereinafter, CAV) technology (2019~2022). We intend to proactively establish a national level standard for CAV test-bed and test road requirements, test method, etc. for establishment of a road map for the construction of the test bed which is being promoted step by step and analyze and, when required, benchmark the case of China that has announced and is utilizing it. Through this, we plan to define standardized requirements (evaluation facility, evaluation system, etc.) on the test bed for the development of Lv.4/4+ CAV technology and utilize the same for the design and construction of a test bed, establishment of a road map for the construction of a real car-based test environment related to the support for autonomous driving service substantiation, etc. through provision of an evaluation environment utilizing K-City, and the establishment of a K-City upgrade strategies, etc.

• The KIPS Transactions:PartD
• /
• v.14D no.2
• /
• pp.191-202
• /
• 2007

In general, test data generation techniques require the specification of an entire program path for automated test data generation. This paper presents a new way for generating test data automatically een without specifying a program path completely. For the ends, this paper presents a technique for transforming a program under test into Alloy which is the first order relational logic and then producing test data via Alloy analyzer. The proposed method reduces the burden of selecting a program path and also makes it easy to generate test data according to various test adequacy criteria. This paper illustrates the proposed method through simple, but illustrative examples.

• Proceedings of the Korean Society for Technology of Plasticity Conference
• /
• 2001.10a
• /
• pp.174-177
• /
• 2001

The automated computer-aided drafting technique is attempted for drawing process pictures of axisymmetric solid forgings which are mainly used in automobile industry. For this study basic concepts to draw the shape of an element are described and applied to the 2-dimensional and 3-dimensional modeling of forged parts. 2-dimensional display of process pictures is developed by using AutoLISP language in AutoCAD software of a drafting technique and 3-dimensional view of process pictures is based on the UG/open API and UG/open GRIP languages of Unigraphics software. Testing the developed program to forging of bolts and ballstuds, it was shown to give good results to be applicable in forging industry.

• International Journal of Reliability and Applications
• /
• v.3 no.4
• /
• pp.155-164
• /
• 2002

This paper focuses on how modem data mining can be integrated with real-time relational databases and commercial data warehouses to improve reliability in real-time. An important Issue for many manufacturers is the development of relational databases that link key product attributes with real-time process parameters. Helpful data for key product attributes in manufacturing may be derived from destructive reliability testing. Destructive samples are taken at periodic time intervals during manufacturing, which might create a long time-gap between key product attributes and real-time process data. A case study is briefly summarized for the medium density fiberboard (MDF) industry. MDF is a wood composite that is used extensively by the home building and furniture manufacturing industries around the world. The cost of unacceptable MDF was as large as 5% to 10% of total manufacturing costs. Prevention can result In millions of US dollars saved by using better Information systems.