• Journal of Korea Multimedia Society
• /
• v.24 no.10
• /
• pp.1403-1413
• /
• 2021

In this paper, we investigate automated data validation techniques for artificial intelligence training, and also disclose open-source frameworks, such as Google's TensorFlow Data Validation (TFDV), that support automated data validation in the AI model development process. We also introduce an experimental study using public data sets to demonstrate the effectiveness of the open-source data validation framework. In particular, we presents experimental results of the data validation functions for schema testing and discuss the limitations of the current open-source frameworks for semantic data. Last, we introduce the latest studies for the semantic data validation using machine learning techniques.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.28 no.4
• /
• pp.331-338
• /
• 2008

Ultrasonic testing for welds is widely used to ensure the integrity of facilities in NPPs. Automated ultrasonic testing(AUT) is more consistent than the manual ultrasonic testing(MUT). It can scan welded parts, examines the scanned images, and saves the results as data files. AUT in NPPs is making use of commercial systems, and there has been some difficulties in calibration of the system. An AUT system is developed. It comprises of pulser/receiver, scanner and a control program(SonicWizard). The performance demonstration for piping welds in NPPs and the piping wall thickness measurement on site were conducted to verify this system. The test results of the ultrasonic testing system developed is satisfactory and effective.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.21 no.5
• /
• pp.197-217
• /
• 2022

As automated vehicle(AV) accidents continue to occur, the importance of safety verification to ensure the safety and reliability of automated driving system(ADS) is being emphasized. In order to encure safety and reliability, it is necessary to define an operational design domain(ODD) of the ADS and verify the safety of the ADS while evaluating its ability to respond in situations outside of the ODD. To this, international associations such as SAE, BSI, NHTSA, ISO, etc. stipulate ODD standards. However, in Korea, there is no standard for the ODD, so automated vehicles's ODD expression method and safety verification and evaluation are not properly conducted. Therefore, this study analyzed overseas ODD standards and selected suitable ODD for safety verification and evaluation, and presented evaluation elements for ADS safety verification and evaluation. In particular, evaluation elements were selected by analyzing the evaluation environment of the automated driving experimental city (K-City) that supports the development of ADS technology.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.19 no.6
• /
• pp.222-234
• /
• 2020

Autonomous vehicles are equipped with a wide rage of sensors such as GPS, RADAR, LIDAR, camera, IMU, etc. and are driven by recognizing and judging various transportation systems at intersections in the city. The accident ratio of the intersection of the autonomous vehicles is 88% of all accidents due to the limitation of prediction and judgment of an area outside the sensing distance. Not only research on non-signalized intersection collision avoidance strategies through V2V and V2I is underway, but also research on safe intersection driving in failure situations is underway, but verification and fragments through simple intersection scenarios Only typical V2V failures are presented. In this paper, we analyzed the architecture of the V2V module, analyzed the causal factors for each V2V module, and defined the failure mode. We presented intersection scenarios for various road conditions and traffic volumes. we used the ISO-26262 Part3 Process and performed HARA (Hazard Analysis and Risk Assessment) to analyze the risk of autonomous vehicle based on the simulation. We presented ASIL, which is the result of risk analysis, proposed a monitoring concept for each component of the V2V module, and presented monitoring coverage.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.20 no.6
• /
• pp.299-312
• /
• 2021

Autonomous vehicles using V2X can drive safely information on areas outside the sensor coverage of autonomous vehicles conventional autonomous vehicles. As V2X technology has emerged as a key component of autonomous vehicles, research on V2X security is actively underway research on risk analysis due to failure of V2X communication is insufficient. In this paper, the service scenario and function of autonomous driving system V2X were derived by presenting the intersection scenario of the autonomous vehicle, the malfunction was defined by analyzing the hazard of V2X. he ISO26262 Part3 process was used to analyze the risk of malfunction of autonomous vehicle V2X. In addition, a fault injection scenario was presented to verify the fail-safe of the simulation-based intersection scenario.

• KIPS Transactions on Software and Data Engineering
• /
• v.9 no.8
• /
• pp.229-234
• /
• 2020

This paper presents the design and the implementation of CRESTIVE-DX, a concolic testing tool that distribute the concolic testing process over the embedded target system and the host system for efficient test generation of a target embedded program. CRESTIVE-DX conducts the execution of a target program on the target embedded system to consider possible machine-dependent behaviors of a target program execution, and conducts machine-independent parts, such as search-strategy heuristics, constraint solving, on host systems with high-speed computation unit, and coordinates their concurrent executions. CRESTIVE-DX is implemented by extending an existing concolic testing tool for C programs CREST. We conducted experiments with a test bed that consists of an embedded target system in the Arm Cortex A54 architecture and host systems in the x86-64 architecture. The results of experiments with Unix utility programs Grep, Busybox Awk, and Busybox Ed show that test input generation of CRESTIVE-DX is 1.59 to 2.64 times faster than that of CREST.

• Journal of Food Hygiene and Safety
• /
• v.28 no.3
• /
• pp.252-257
• /
• 2013

In this study the automated technique TEMPO STA method, a new automated enumeration based on MPN method, was compared to the direct plate count method by testing various ready-to-eat compound food products. Artificially inoculated food samples with Staphylococcus aureus - Bibimbap, Bibimnaengmyeon, Mulnaengmyeon, Kimmaki, Salad, Japchae, and Sushi- were tested. Statistical analysis of the results showed above 99% in agreement between the two enumeration methods. Also, we monitored 466 various ready-to-eat compound food products samples. The measure uncertainties of the two methods is also familiar, while TEMPO STA automated method is simpler, less time-consuming, more effective and more stable.

• Journal of KIISE:Software and Applications
• /
• v.36 no.1
• /
• pp.10-20
• /
• 2009

As unit testing should be performed repeatedly and continuously, it is a high-cost software development activity. Although there are many studies on unit test automation, there are less studies on automated test case generation which are worthy of note. In this paper, we discuss a study on automated test data generation from source codes and indicate algorithms for each stage. We also show some issues of test data generation and introduce an automated test data generating tool: CUTIG. As CUTIG generates test data not from require specifications but from source codes, software developers could generate test data when specifications are insufficient or discord with real implementation. Moreover we hope that the tool could help software developers to reduce cost for test data preparation.

• Korean Journal of Construction Engineering and Management
• /
• v.5 no.2 s.18
• /
• pp.72-80
• /
• 2004

The objective of the research is to develop the automated vertical controllable pilot-type equipment for PHC piles. The motivation for the research is that inherent problems related to vertical control during pile driving. The paper explains the current vertical control methods and problems, design and manufacturing of the pilot-type automated equipment and its testing and discussions of the results.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.22 no.6
• /
• pp.230-245
• /
• 2023

The importance of evaluating the safety of Automated Vehicles (AV) is increasing with the advances in autonomous driving technology. Accordingly, an evaluation scenario that defines in advance the situations AV may face while driving is being used to conduct efficient stability evaluation. On the other hand, the single scenarios currently used in conventional evaluations address limited situations within short segments. As a result, there are limitations in evaluating continuous situations that occur on real roads. Therefore, this study developed a set of multiple scenarios that allow for continuous evaluation across entire sections of roads with diverse geometric structures to assess the safety of AV. In particular, the conditions for connecting individual scenarios were defined, and a methodology was proposed for developing concrete multiple scenarios based on the scenario evaluation procedure of the PEGASUS project. Furthermore, a simulation was performed to validate the practicality of these multiple scenarios.