• Journal of KIISE:Computer Systems and Theory
• /
• v.29 no.6
• /
• pp.361-368
• /
• 2002

This paper presents a new data path synthesis algorithm which takes into account simultaneously three important design criteria: testability, design area, and total execution time. We define a goodness measure on the testability of a circuit based on three rules of thumb introduced in prior work on synthesis for testability. We then develop a stepwise refinement synthesis algorithm which carries out the scheduling and allocation tacks in an integrated fashion. Experimental results for benchmark and other circuit examples show that we are able to enhance the testability of circuits with very little overheads on design area and execution time.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.04b
• /
• pp.499-503
• /
• 1995

VTR은 생산체제에 있었서 대량생산방식을 채택하는 전형적인 제품으로서 그 기구부와 회로부의 설계 및 해석에 관하여 많은 연구가 수행되어왔다. 본 연구에서는 조정공정의 자동화를 위하여 헤드드럼에서의 테이프 변형을 결정하는 요소 p2, p3 포스트의 조정에 관한 연구가 수행되었다. 테이프의 변형을 측정하기 위해서 먼저 테이프 변형의 단순화된 모델이 제안되었으며 영상헤드에 의해 읽혀지는 RF 신호로 부터 테이프의 변형을 측정하는 방법과 테이프 변형으로 부터 p2, p3 포스트의 오조정량을 찾는 신경외로망을 이용한 역모델이 개발되었다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.5
• /
• pp.581-585
• /
• 2010

As developers and testers today we all suffer from increasing project complexity, the risks of late defect discovery, repetitive manual processes, and the risk of release delays. In this paper, we introduce an effective framework for automated testing to help solve such problems. Those that are new to testing do not need to delve into complex automation tools or test scripts. This framework helps automate the distribution, execution and results analysis of test cases. It also aids communication among the various stakeholders, using tables for representing tests and for reporting the results of automatically checking those tests. This paper describes the practices and benefits of using the proposed framework.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.5
• /
• pp.541-545
• /
• 2010

AUTOSAR, a standard software platform for automotive, has been developed to manage software complexity and improve software reuseability. However reuse of test system is difficult because it is dependant on implementation language and test phase. In this paper, we suggest a test system generation method for AUTOSAR software component using TTCN-3, a standardized testing language. TTCN-3 test system is generated automatically from AUTOSAR XML containing software design information. The test system consists of TTCN-3 tester and target system and tests functionality and worst case response time of software under simulation environment. With the proposed testing techniques we can reduce time and effort to build the testing system and reuse testing environment.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.25-27
• /
• 2001

설계 재활용을 위하여서는, 반도체 지적 소유권(Intellectual property)의 표준화와 더불어 레이아웃 자동 이식에 관한 연구와 상품화가 필수적이다. 본 논문은 반도체 설계 형식 중에서 생산 공정과 밀접한 레이아웃 형식의 회로도면 처리를 자동화하여 설계와 생산 시간을 혁신적으로 단축하기 위한 연구이다. 레이아웃 형식은 특성상 도형(폴리곤)으로 구성되어 있으며, 레이아웃 형태에서 다양한 도형의 중첩이 반도체의 트랜지스터, 저항, 캐피시터를 표현함으로써, 반도체 지적소유권의 한 형식으로 자주 활용되고 있다. 본 논문은 반도체 레이아웃 이식 소프트웨어 시스템의 내부 기능에 관한 설명과 처리 능력과 속도를 높이기 위한 알고리즘의 제안과 벤치마킹 결과를 보여 주고 있다. 비교 결과, 자원의 최적 활용(41%)으로 대용량의 처리 가능성을 보여 주고 있으며, 처리 속도는 평균 27배로써 이전의 벤치마킹 회로를 더욱 크게 하여 그 결과를 보여 주고 있다. 이러한 비교 우위는 본 논문에 포함된 소자 처리 알고리즘과 그래프를 이용한 컴팩션 알고리즘에 기인한다. 지면상의 연유로, 참고1에서는 기능 설명을, 본 논문은 알고리즘의 구현에 관한 설명을 중점적으로 기술한다.

• KIISE Transactions on Computing Practices
• /
• v.21 no.11
• /
• pp.689-698
• /
• 2015

Currently, the itemized box loading operation at the Agriculture Products Processing Center which distributes agricultural products for the region is carried out manually. The process of loading agricultural products requires great manpower and had been resolved through the part-time employment of the residents of farm villages. However, recently it has become quite difficult to secure manpower as the aging within the rural community has been intensified. Hence, the necessity for countermeasures such as facility automation or use of robots have become necessary. This study suggests an automatic robot system for the itemized loading of apple boxes at the Agriculture Products Processing Center. The suggested method is to design and develop equipment such as a conveyer, robot, and bar code reader. In addition, a sorting plan, operational control, generation of control information, and software module that could monitor the inside of the Agriculture Products Processing Center is needed. After test-operating and evaluating the developed system, the existing manual work would be replaced with the automated robot system in order to enhance work efficiency and resolve safety issues.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2002.11a
• /
• pp.113-119
• /
• 2002

Recently, an automatic crane control system is required with high speed and rapid transportation. During the operation of crane system in container yard it is necessary to control the crane trolley position and loop length so that the swing of the hanging container is minimized We can do development of unmanned automation control system using automation travel control technique and anti-sway technique in crane system. Therefore, we designed a controller for Automation travel control to control the transfer crane system. Analyzed crane system through simulation, and proved excellency of control performance than other conventional controllers.

• Proceedings of the KIEE Conference
• /
• 1998.07b
• /
• pp.660-662
• /
• 1998

실장 PCB에 대한 검사업무는 많은 인력과 시간비용을 요구 제품의 생산성을 저하시킴으로써 제품에 대한 경쟁력 확보에 큰 장애요인이 되고 있다. 따라서, 기업들은 검사 자동화를 추진하여 왔는데, 검사 생산성을 획기적으로 개선하기 위해서는 검사패턴을 자동 생성하고 아날로그 회로나 디지털 회로상의 전자 소자나 회로 기능을 선택적으로 검사함으로써 검사비용을 최소화할 수 있는 다기능 검사 기능이 요구된다. 따라서, 본 연구에서는 회로 보오드상의 부품 특성에 따라 최적의 검사패턴을 자동 작성하고 동시에 실행할 수 있는 지능형 검사 시스템을 개발하고자 한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.12
• /
• pp.1239-1243
• /
• 2010

The web environment is evolving rapidly. Testing in the web based software is an essential process to improve stability and productivity. Testing of complex web contents and ill(user interface) is most important thing. Implemented test cases are efficient when they are automated and reusable. But, most of the testing automation tools are focused on technical accessibility and functions still. A collaboration of the persons concerned and reusability of implemented test case are ignored. In this paper we propose an efficient way to design automated test case in web environment, and to share and pattern automated test cases we introduce testing framework called NTAF(NHN Test Automation Framework.). The NTAF is based on open source framework. It provides integrated testing environment that web testing cane be automated and managed continuously.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.347-357
• /
• 2003

The web is an important source of information and most of Web applications are based on form documents in HTML-based form documents only play a role as user interfaces, and they do not involve the procedures or rules if business process which form document designers assume. However, from documents imply methods for treating documents, and these embedded procedural knowledge can be utilized.actively in automation of business process. In this respect, we Investigate the activeness of documents with cognitive science to automate business processes based on from documents. Through this, we have a new concept and applicability of active documents. Our active documents include business rules and declarative knowledge to support the automation of document processing. Also, we propose a processing framework for the active documents. The framework has two phases: build-time and run-time. in order to demonstrate the usefulness of the proposed framework, a prototype called ActiveForm is designed and implemented for requisition processing them in an inference engine can enhance the intelligence of Internet applications.