• The Transactions of the Korea Information Processing Society
• /
• v.5 no.3
• /
• pp.795-810
• /
• 1998

현재, 컴퓨터를 사용하는 실시간 시스템의 응용분야에 대한 요구가 급속히 증가하고 있다. 그러나 이러한 실시간 시스템의 개발은 체계적인 접근방법이 부족하다는 이유로 더디게 진행되고 있다. 체계적인 접근방법의 하나는 실시간 시스템의 시간적인 특성과 기능적인 행동을 잘 추상화 해 줄 수 있는 좋은 모델을 사용하는 것이다. 지금까지 객체지향 개념에 기반한 많은 모델들이 개발되어 소개되고 있다. 그 중 UCI에서 개발된 TMO (Time-triggered Message-triggered Object) 모델은 위에서 언급한 요구사항을 잘 만족시켜 준다. [1]본 논문에서는 이러한 TMO 모델을 가장 잘 명세해 줄 수 있도록 해 주는 TMO 모델 명세언어인 C++T를 설계하고 이에 대해 상세히 기술한다. 또한, 이러한 C++T 명세를 기존의 언어인 C++로 번역해 줄 수 있는 C++T번역기를 설계하고 개발한다. 마지막으로, TMO 명세언어 C++T를 기반으로 한 TMO 통합개발환경에 대하여 소개한다.

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

테스트 시스템(Test System)은 반도체 제품을 웨이퍼(Wafer) 또는 완정된 제품 상태 하에서 전기적 특성과 성능을 검사하고 그 결과를 산출해내는 검사장치이다. 테스트 시스템은 크게 하드웨어와 소프트웨어로 이루어져 있으며 시스템을 제어하고 사용자 인터페이스 및 각종 자료를 처리하는 소프트웨어는 그 중요성이 한층 더 부각되고 있다. 그러나 국내 고성능의 테스트 시스템을 개발하는 기업들의 하드웨어 개발은 잘 이루어지고 있으나 소프트웨어의 개발은 어려운 실정이다. 본 논문에서는 테스트 시스템에서 사용하고 있는 테스트 프로그램언어와 컴파일러의 문제점을 지적하고, 문제점을 해결할 수 있는 프로그램밍 언어 T를 설계한다. 그리고 그 언어를 컴파일 할 수 있는 번역기를 설계하여 테스트 관리 시스템의 소프트웨어를 향상시키고자 한다.

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

교환기 소프트웨어와 같은 통신 시스템은 분산 병렬적인 수행 특성을 가지며, CHILL의 디버깅 환경인 TECH는 이러한 특성을 반영하고 있다. 최근의 교환기 소프트웨어 개발에 C 언어가 많이 사용되고 있는데, C 디버깅 환경은 이러한 특성을 잘 반영하지 못한다. 따라서, C 언어로 작성된 프로그램을 TECH에서 디버깅할 수 있다면 새로운 환경을 구축하지 않고도 기존의 환경을 이용함으로써 비용과 시간을 줄일 수 있다. 그러나, 두 환경의 디버깅 정보인 Stabs와 DIL은 표현 방식이 다르므로 이들간의 번역을 위한 도구가 필요하다. 본 논문에서는 이를 위해 Stabs 정보와 실행 파일을 분석하는 분석기, 분석된 정보를 각각에 해당하는 DIL에 대응시키는 대응기, 대응된 DIL 정보를 생성하는 생성기로 구성된 Stabs에서 DIL로의 번역기를 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.895-897
• /
• 2005

자바의 문제점은 실행속도의 저하이다. 실행속도 저하의 해결 방법으로 네이티브 코드로 변환, JIT컴파일러, 바이트코드 최적화등의 연구가 되어 왔다. 그 중에 바이트코드 최적화 방법을 사용하는 CTOC(Class To Optimized Classes)에서 중간코드로 사용하는 3-주소 코드를 스택-기반 코드로 코드 확장 기법으로 변환 시 불필요한 store/load 코드가 생성된다. 따라서 본 논문은 불필요한 store/load 코드를 제거하기 위해서 부분 중복 코드 제거 후 불필요한 store/load문을 제거함으로서 불필요한 store/load 코드의 양을 줄이는 변환기를 제안하고, 거기에 대한 간단한 예를 들어 설명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.766-768
• /
• 2004

자바는 객체 지향 언어이고, 분산 환경을 지원하고, 플랫폼에 독립적인 장정을 갖지만 다른 C나 C++같은 컴파일언어에 비해서는 실행속도가 느리다는 단점을 가진다. 이러한 단점을 극복하기 위한 방법으로 네이티브 코드로의 변환, 코드 최적화, JIT 컴파일 방법 등을 이용한다. 그러나 이전 방법들은 다음과 같은 한계점을 가진다. 클래스 파일을 네이티브 코드로의 변환은 플랫폼의 종속되고, 코드 최적화 방법은 고유의 최적화 방법만을 적용할 수 있었고, JIT컴파일 방법은 한 번의 실행 후 다음 실행해야 속도향상을 꾀할 수 있었다. 본 논문은 바이트 코드를 최적화하기 위한 자바최적화 프레임워크를 설명하고 자바최적화 프레임워크의 구성을 하는 부분 중 3주소형식의 중간코드를 스택기반 코드로 변환하는 부분을 설계하고. 3주소 코드로 변환한 중간 코드를 스택 기반 코드로 변환하면서 생기는 과다한 load/store의 문제점을 지적하고 그것을 해결할 수 있는 변환기를 제안한다.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.11
• /
• pp.2903-2913
• /
• 1997

This paper describes the design and implementation of the ParaC language that supports parallel programming on the shared memory and distributed memory parallel machine. The ParaC language is designed for the effective use of system resources of scalable parallel systems. The goal is achieved by adding parallel and synchronization constructs for shared address spaces, and remote task constructs for distributed address spaces. This paper also shows the translation method, and we implement the translator and the run-time library for parallel execution of extended constructs.

• Proceedings of the Korea Society for Energy Engineering kosee Conference
• /
• 1999.11a
• /
• pp.143-148
• /
• 1999

A distributed real-time system that is being wed now is usually divided into three level : higher level, middle level, and lower level. The higher level network is usually called an information network, the middle level is called a control network, and the lower level is called a field network or a divice network. This dissertation suggests and implements a middle level network which is called PICNET-NP (Plant Implementation and Control Network for Nuclear Power Plant). PICNET-NP is based partly on IEEE 802.4 token-passing bus access method and partly on IEEE 802.3 physical layer. For this purpose a new interface, a physical layer service translator, is introduced. A control network using this method is implemented and applied to a distributed real-time system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06c
• /
• pp.48-50
• /
• 2012

정형화되어 있는 데이터를 트리플 형식의 RDF 데이터로 변환하기 위하여 매핑 온톨로지를 제안하며, 이 온톨로지를 이용하여 실제 데이터를 RDF로 변환하는 변환기를 구현하였다. 본 논문에서는 트리플 변환을 위해 수행하는 매핑 작업을 개념화하고, 일반적인 매핑 타입을 정형화하고 제약사항을 설정하여 온톨로지 스키마로 제공한다. 트리플 생성을 위해 사용자가 매핑 내용을 인스턴스로 생성하면, 이를 이용하여 정형화된 데이터를 RDF로 자동 변환하는 변환기를 구현한다. 제안하는 매핑 온톨로지를 이용한 매핑규칙 작업은 온톨로지 편집툴을 활용하여 작업의 편의성을 제공하며 변환 작업의 안내 역할을 할 것이다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2004.05a
• /
• pp.310-313
• /
• 2004

자바는 컴파일러에 의해 아키텍처 독립적인 바이트코드로 구성된 바이너리 형태의 클래스 파일을 생성하면 JVM에 의해 하드웨어와 운영체제에 상관없이 실행이 가능한 플랫폼 독립적인 언어로 현재 가장 널리 사용되는 범용 프로그램 언어중 하나이다. EVM(Embedded Virtual Machine)은 Microsoft사의 .NET 언어와 SUN사의 Java 언어등을 모두 수용할 수 있는 임베디드 시스템을 위한 가상기계이며, SIL(Standard Intermediate Language)은 EVM에서 실행되는 중간언어로 다양한 프로그래밍 언어를 수용하기 위해서 객체지향 언어와 순차적 언어를 모두 수용하기 위한 연산 코드 집합을 갖고 있다. 본 논문에서는 자바 프로그램을 EVM에서 실행 될 수 있도록 자바 프로그램을 컴파일하여 생성된 클래스 파일로부터 Oolong 코트를 추출하고 추출된 Oolong 코드를 EVM의 SIL 코드로 변환하는 Oolong-to-SIL 번역기 시스템을 구현하였다. 번역기 시스템을 정형화하기 위해 Oolong 코드의 명령어 등을 문법으로 작성하였으며, PGS를 통해 생성된 어휘 정보를 가지고 스캐너를 구성하였고, 파싱테이블을 가지고 파서를 설계하였다 파서의 출력으로 AST가 생성되면 번역기는 AST를 탐색하면서 의미적으로 동등한 SIL 코드를 생성하도록 번역기 시스템을 컴파일러 기법을 이용하여 모듈별로 구성하였다. 이와 같이 번역기를 구성함으로써 목적기계의 중간언어 형태에 따라 중간언어 번역기를 자동으로 구성할 수 있어 재목적성(Retargetability)을 높일 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.550-552
• /
• 2001

최근 인터넷상에서 DTD 기반의 XML 문서가 문서의 교환의 목적으로 사용되어 B2B 상에서 XML문서의 사용이 증가하고 있다. 그러나 DTD는 데이터 타입이 제한적이고 사용자가 원하는 형태를 정의하여 사용할 수 없기 때문에 좀더 유연하고, 재사용이 가능만 스키마를 B2B 상에서 표준으로 이용을 하게 되었다. 스키마는 객체 지향적이기 때문에 새로운 타입을 선언 시 기존의 데이터와 타입을 이용하여 확장 또는 제한을 하여 재사용성이 뛰어나다. 그러나 기존의 스키마 자동 생성기는 사용자가 바라는 최적화 코드가 아니고 스키마의 장점인 모듈화가 전혀 되어 있지 않아, 재사용을 할 수가 없다. 따라서 본 논문에서는 기존 자동 생성기의 단점을 극복하여 문서를 XML 스키마로 변환할 때 모듈화가 되고, 재사용이 가능만 코드를 만들 수 있도록 자동 변환기를 설계하며, 기존의 변환기가 사용자 시점에서 사용하기가 어렵고, 복잡만 인터페이스를 가지고 있기 때문에 이를 사용하기 쉽게 단순화하고 DTD와 스키마를 다양만 외양으로 볼 수 있는 스타일(Style) 에디터를 첨가하여 변환기를 구성한다.