• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.425-428
• /
• 2004

고품질의 소프트웨어 시스템을 개발하기 위해서 소프트웨어 테스트는 중요하다. 소프트웨어 개발 시에 발견되는 심각한 결함과 오류들은 소프트웨어 시스템이 사용자의 요구사항을 정확히 충족시키지 못하는데 원인이 있다. 테스트 수행 시에 요구사항을 정확히 반영하지 못한다면 반드시 테스트되어야 할 조건들이 누락될 수 있고 테스트의 성취도는 감소한다. 따라서 모든 소프트웨어 테스트는 사용자의 요구사항을 추적할 수 있어야 한다. 이를 위해 본 논문에서는 객체지향 접근방법을 사용하여 사용자의 요구사항을 테스트에 반영하고 추적하기 위한 일관성 유지 기법을 제안한다. 이를 기반으로 요구사항을 만족하는 일관성 있는 테스트케이스를 생성한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.75-78
• /
• 2012

디바이스 드라이버의 결함은 시스템 실패의 주요 원인이다. 임베디드 디바이스 드라이버는 세심히 검증되어야 하지만, 디바이스 드라이버는 디바이스 동작에 큰 연관이 있기 때문에 단독으로 검증하기 어렵다. 비동기적인 디바이스의 DMA 동작들은 보통 복잡한 구조를 가질 수 있으며 비결정적인 조건상에서 발생하는 문제가 있을 경우 재현하기가 매우 어렵다. 이러한 관점에서, 실제와 동일한 인터페이스를 가지고 있는 가상 디바이스를 사용하게 되면, 코드의 변경 없이 디바이스 내부 상태 변화를 관찰 할 수 있다. 본 논문에서는 가상 디바이스를 활용하여 DMA 동작과 CPU 의 메모리 접근간의 충돌을 감시할 수 있는 방법을 제시한다. 가상 임베디드 시스템을 QEMU full system emulator 상에서 동작시키고, CPU 와 가상디바이스의 시스템 버스에 대한 메모리 접근을 추적하는 기능을 개발하였다.

• Journal of the Korean Society of Hazard Mitigation
• /
• v.8 no.1
• /
• pp.23-29
• /
• 2008

The railway system is worldwide recognized as a safe mean of transportation. However, railroad accidents and incidents continue to occur. Due to the nature of the railway system that consist of many mechanical parties, it is apparently difficult to eliminate probability of accidents and incidents completely. Therefore, through the analysis of railroad accidents and incidents, it is very important to trace the various factors affecting the accidents and incidents. In this study, we performed the analysis of rail-road accidents due to track defects in foreign countries; United States of America, England, Canada, Australia. As a result of its investigation of the accidents, major risk factors are proposed in this study.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.6
• /
• pp.547-558
• /
• 2008

Embedded system is tightly coupled with heterogeneous layers such as application, as kernel, device driver, HAL and hardware. Embedded system is customized for the specific purpose and hardware. In addition, the product cycle is so fast that software and hardware, which are developed by several vendors, are integrated together under unstable status. Therefore, there are lots of possibilities of faults in all layers. Because embedded software developers test their codes integrated with faulty layers, they cannot confirm 'whether testing of every aspects was completed, their code was failed, or integrated software/hardware has some problems'. In this paper, we propose an embedded software interface test method and a test tool called Justitia for detecting faults and tracing causes in the interface among heterogeneous layers. The proposed technique is an automated method which improves debugging upto professional testing using an emulator for helping developer.

• Journal of Radiation Protection and Research
• /
• v.11 no.2
• /
• pp.139-145
• /
• 1986

An improved mothod of assessing fuel status by analyzsis of the fission product in the reactor coolant system is proposed. The release mechanism of specific fission products is established for determination of the coefficients in the equations which relate the radioactivities with the amount of defected fuel. Knock-out and migration models are employed in the formulation of the release mechanism. The influence of the tramp uranium is quantified. Sample calculations were made for KNU 1 reactor system using the I-131 and I-133 concentrations in the primary coolant. The estimated number of defected fuel pins in the third and sixth cycles appeared to be $9.34{\pm}1.13\;and\;0.294{\pm}0.092$, respectively.

• The KIPS Transactions:PartA
• /
• v.13A no.5 s.102
• /
• pp.455-464
• /
• 2006

In multi-regional mobile agent computing environments, spatial replication-based approach may be used as a representative mobile agent fault-tolerance technique because it allows agent execution to make progress without blocking even in case of agent failures. However, to apply this approach to real mobile agent-based computing systems, it is essential to minimize the overhead of locating and managing mobile agents replicated on each stage. This paper presents a new mobile agent location management protocol SRLM to solve this problem. The proposed protocol allows only the primary among all the replicated workers of each stage to register with its regional server and then, significantly reduces its location updating and message delivery overheads compared with the previous protocols. Also, the protocol addresses the location management problem incurred by electing the new primary among the remaining workers at a stage in case of the primary worker's failure.

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 2017.04a
• /
• pp.124-124
• /
• 2017

본 연구에서 원추형 집광기와 CPV셀을 기반으로 한 태양광-열(CPV/T) 복합시스템의 설계 및 제작과정을 다룬다. 원추형 집광기의 경우, 이론적 해석을 통하여 최고의 집열효율을 갖는 원추각 45도의 집광기 4개를 결합하여 사용하였다. 원추형 복합시스템은 태양에너지를 집열하여 열에너지를 생산하는 집광기와 작동유체의 순환을 위해 이중 구조로 제작된 흡수기, 집광된 태양으로부터 전기에너지를 생산하는 CPV셀 등으로 구성되어 있다. 효율적인 태양복사열 집광을 위해 태양 위치에 따라 고도각과 방위각을 추적할 수 있는 2축 태양추적장치를 설비하였다. CPV셀은 원추형 집광기의 중심부에 위치한 이중 흡수관의 고집광부인 상단부에 위치하였으며, CPV셀의 결함을 방지하고, 부가적 태양광 집광을 위해 2차 보조 집광기를 부착하였다. 본 논문에서 소개하는 원추형 CPV/T 복합 시스템은 기존 원추형 시스템에 CPV 셀을 부착하여 전기와 열을 동시에 생산 할 수 있으며, 생산된 전기에너지와 열에너지를 이용하여 온실재배의 난방 문제, 운영비용 절약 등 다양하게 농업 분야에 적용가능하다. 특히, 원추형 복합시스템은 설계 및 제작에 있어 쉽고 간결하며, 제작 단가가 낮다는 점에서 보급에 이점이 있을 것으로 사료된다.

• Journal of the Korean Society for Precision Engineering
• /
• v.33 no.6
• /
• pp.491-497
• /
• 2016

This study aims to develop a vision inspection system for screw threads. To inspect external defects in screw threads, the vision inspection system was developed using front light illumination from which bright images can be obtained. The front light system, however, requires multiple side images for inspection of the entire thread surface, which can be performed by omnidirectional optics. In this study, an omnidirectional optical system was designed to obtain annular images of screw threads using an image sensor and two reflection mirrors; one large concave mirror and one small convex mirror. Optical simulations using backward and forward ray tracing were performed to determine the dimensional parameters of the proposed optical system, so that an annular image of the screw threads could be obtained with high quality and resolution. Microscale surface defects on the screw threads could be successfully detected using the developed annular inspection system.

• Journal of Welding and Joining
• /
• v.21 no.1
• /
• pp.60-65
• /
• 2003

At present. welding of most pipes with large diameter is carried out by the manual process. Automation of the welding process is necessary f3r the sake of consistent weld quality and improvement in productivity. In this study, two vision sensors, based on the optical triangulation, were used to obtain the information for seam tracking and detecting the weld defects. Through utilization of the vision sensors, noises were removed, images and 3D information obtained and positions of the feature points detected. The aforementioned process provided the seam and leg position data, calculated the magnitude of the gap, fillet area and leg length and judged the weld defects by ISO 5817. Noises in the images were removed by using the gradient values of the laser stripe's coordinates and various feature points were detected by using an algorithm based on the iterative polygon approximation method. Since the process time is very important, all the aforementioned processes should be conducted during welding.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.139-141
• /
• 2005

본 논문에서는 JPEG 파일의 구조를 먼저 살펴하고, MS Windows 운영체제 상에서 비정상적인 JPEG 파일을 접근(open)할 때 발생할 수 있는 버퍼 오버런 취약성(MS04-028)을 재연하여 분석한다. JPEG 파일의 헤더에 코멘트(comment) 부분이 있을 경우 길이 필드가 잘못되어 있고 JPEG 파일의 몸체에 쉘코드(cmd.exe) 생성부분을 가지고 있을 경우, 버퍼(heap) 오버런 공격이 발생되어 예기치 못한 결과들이 발생 할 수 있다. 본 논문에서는 디버거(WinDBG) 및 역공학 도구(IDAPro)를 이용하여, 이러한 JPEG 파일 관련 취약성을 분석하면서 바이너리 코드만 주어진 경우의 취약성 분석 절차를 이해하고 보안 결함 부분을 추적하는 연구를 수행한다.