• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권12호
• /
• pp.764-773
• /
• 2008

W3C는 시맨틱 웹 환경에서 온톨로지를 저작하고 공유하기 위해 온톨로지 구축 언어인 OWL을 발표하였다. 현재 OWL 온톨로지의 논리적 정당성을 검사하기 위해서, OWL 추론 엔진들이 소개되고 있다. 그러나 대부분의 추론 엔진들은 정당하지 못한 개념의 탐지 과정 없이 결과만을 보여준다. 본 논문에서는 온톨로지내의 정당하지 못한 개념을 디버깅하기 위해 종속 부호 기반 비논리적 공리(CIA-Causing Inconsistency Axiom) 탐색 기법을 제안한다. 비논리적 공리는 정당하지 못한 개념들을 유발하는 공리들의 집합이다. 비논리적 공리를 탐지하기 위해서는 온톨로지 내에서 비 일관성을 유발하는 공리를 찾아내야 한다. 온톨로지 저작 도구에 정확한 비논리적 공리가 제공된다면, 온톨로지 저작 도구는 온톨로지 내에서의 정당하지 못한 내용을 수정할 수 있도록 수정될 일부 내용만을 보여줄 것이다. 따라서 본 논문은 두 부분에 초점을 맞추었다. 첫 번째, 정당하지 못한 내용을 가진 온톨로지가 주어졌을 때 비 정당성을 유발하는 공리들을 도출하고, 이들의 근원을 식별한다. 두 번째 비 정당성을 유발하는 공리가 탐지되었을 때 이들만을 추출하여, 온톨로지 설계자에게 보여주는 것이다. 따라서 먼저 기존에 발표되었던 테이블로 알고리즘 기반의 결정 모듈을 소개하고, 이보다 향상된 기법인 종속 부호 기반 비논리적 공리 탐지 기법을 제안한다. 본 논문의 결과물은 현재 온톨로지 언어의 기본이 되는 SHOIN 서술 논리 응용시스템에 적용가능하다.

• 품질경영학회지
• /
• 제21권2호
• /
• pp.131-139
• /
• 1993

The newly proposed model of the future reliability results in earlier fault-fixes having a greater effect than the fault which make the greatest contribution to the overall failure rate tend to show themselves earlier, and so are fixed earlier. The suggested model allows a variety of reliability measures to be calculated. Predictions of total execution time(debugging time) is to achieve a target reliability. This model could also apply to computer-hardware reliability growth resulting from the elimination of design error and fault.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2001년도 춘계학술대회
• /
• pp.77-81
• /
• 2001

Burn-in is a test procedure to find and eliminate the inherent initial failure of a product during or at the final stage of production process. Software testing is the validation and verification process which is used to cut off the faults from a software. The two have the common function and objective of "debugging". This article summarizes some significant models on the optimal hardware and software burn-in time, and provides the relevant paper lists. The need for the development of the unified burn-in policy of a hardware-software system is addressed.addressed.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2001년도 ICCAS
• /
• pp.131.1-131
• /
• 2001

At the present time, multimedia chip, internet application, and network equipment is designed by using ARM core. Because it has a good debugging, software compiler and needed low power. We must process a data coding to send a multimedia data by real time. So need to connect software and hardware algorithm. In this research, We design interface for ARM9/AMBA based board using VHDL for these function implementation. The board is used the ARM company´s ARM940T for software function implementation and Xilinx company´s Virtex E2000 for hardware function algorithm. The various hardware algorithm (ME,ME,DCT) block for performance can be implemented on this system.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1989년도 한국자동제어학술회의논문집; Seoul, Korea; 27-28 Oct. 1989
• /
• pp.589-594
• /
• 1989

In this paper, a programming system for robot-based manufacturing cell which can control and simulate manufacturing devices as well as robots in workcell is proposed and developed. The system is based on world model, and modem textual and object-level robot programming language and interactive graphic world modeler are used to construct and exploit world model. Graphic simulation is used as an efficient and easy to use debugging or verifying tool for user written robot programs. Machine dependency is minimized by adopting the hierarchical control structure and by assuming all the workcell components as virtual ones.

• 전자공학회논문지B
• /
• 제32B권8호
• /
• pp.1064-1073
• /
• 1995

On a bus-based shared memory multiprocessing system, the system bus monitoring and analysis are crucial for system integration test and performance analysis. In this paper, the design and implementation of a bus monitoring instrument for the TICOM-III system are decribed. The instrument dedicated to TICOM-III, which is called the Bus Information Procssing Unit, analyzes the bus state and measures the bus utilization. It performs many useful functions to help debugging the system, and offers a simple user interface.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1987년도 한국자동제어학술회의논문집; 한국과학기술대학, 충남; 16-17 Oct. 1987
• /
• pp.105-108
• /
• 1987

In this paper, a new algorithm is proposed to obtain important corner and real corner points of the simple objects and the visual robot graphics simulation using the results is studied. This is capable of performing as a debugging tool for task programming of a visual robot. And the robot motion is also simulated on a CRT terminal.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.128-130
• /
• 1999

유니뷰(Uniview)는 분산 처리 시스템의 소프트웨어를 개발하는데 효과적인 디버깅 작업을 지원하는 분산처리 진단/교정 소프트웨어 시스템이다. 본 논문은 자바 프로그램의 디버깅을 위해 자바 언어에 대해 부족한 디버깅 기술을 해결하고 사용자에게 다양한 디버깅 정보를 제공하기 위하여 유니뷰에 자바 디버깅을 위한 기능을 추가한다. 유니뷰는 분산 네트워크 환경에서 자바 디버깅 환경을 구축하고 통합된 환경에서 상호 작용을 디버깅할 수 있도록 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.102-104
• /
• 1999

RPC에 기반한 분산처리 진단/교정 시스템에서는 C/C++ 언어를 위한 디버깅을 지원한다. 본 논문에서는 이 시스템에 자바 언어에 대한 디버깅 지원을 위한 정보 추출부를 설계하였으며 각각의 정보 추출 모듈을 작성하였다. 자바 언어에서는 C/C++과 달리 디버깅 정보가 런 타임시에 결정되는 경우가 많기 때문에 이에 대한 적절한 정보 제공이 요구된다. 본 논문에서 제공하는 자바 디버깅 정보를 이용하여 분산환경의 네트워크 상에서 사용자에게 다양한 자바 디버깅 정보를 실시간으로 제공할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.943-945
• /
• 2004

임베디드 소프트웨어는 타겟 시스템의 자원과 타이밍에 민감하므로 실제 타겟 시스템과 동일한 환경에서 디버깅해야한다. 이를 위한 기존의 기법들은 타겟 시스템의 자원에 직접적으로 접근하여 시스템 상태를 조사하거나 제어한다. 그러나 이러한 기법들은 내부 신호나 자원에 대한 접근이 제한되어 있는 SoC (System-On-a-Chip) 프로그램을 디버깅하기는 부적합하다. 본 논문에서는 산업 표준화된 JTAG을 기반으로 공개 소프트웨어인 gob를 연동하여 SoC 소프트웨어를 디버깅하는 도구를 제안한다. 따라서 본 도구는 타겟 시스템에 영향을 주지 않고 경제적으로 디버깅할 수 있는 환경을 제공한다.