• Proceedings of the IEEK Conference
• /
• 1998.10a
• /
• pp.695-698
• /
• 1998

Today SOC(system on a chip) is a trend in VLSI design society. Especially MML(merged memory Logic) process provides designers with good chances to implement SOC which is consists of DRAM, SRAM, Logic and A/D mixed mode ciruit blocks. Designers need good circuit library which is reliable and easy to tune for specific design. For this need we present semi-automated analog compiler methodology. And we aplied this design methodology to resistor-string DAC design.

• Review of KIISC
• /
• v.6 no.3
• /
• pp.5-18
• /
• 1996

미국 썬.마이크로 시스템즈사의 인터넷 통합 솔루션인 자바환경은 새로운 아이디어는 아니지만, 95년도의 인터넷 부움을 타고 마케팅에 성공하고 있으며, 프로그래밍 언어, 컴파일러, 브라우져, 인터프리터, 개발도구, OS, DB, 전용칩 및 이를 모두 실장한 자바 터미널까지 제공하고 있는 통합 솔루션이다. 자바환경은 인터넷을 하부구조로하여 구성되므로 보안문제의 헤결없이는 그 활용성이 의문시된다. 자바환경의 보안문제는 자바의 개발자들이 초기부터 염두해도고 해결해 오고 있다. 본 연구에서는 자바환경에서 발생가능한 보안위협, 필요한 보안서비스 및 자마환경에서 제시한 매커니즘들을 조사 및 평가한다.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1992.10a
• /
• pp.187-191
• /
• 1992

본 연구에서 퍼지제어 시스템 설계를 위한 마이크로 컴퓨터 지원 설계 기법과 프로그램 FCS 를 개발하였다. 이 프로그램은 IBM-PC 호환기종 (80386,804860) 에 사용되는 Turbo-C 언어를 사용하였고, Borland C $^{++}$ 2.0 컴파일러를 사용하였다. 제어시스템의 각 요소를 모듈화 하여 동특성을 차분 방정식으로 표시하여 사용자가 쉽게 대치할 수 있도록 서브루틴화 하였다. 퍼지제어 규칙의 최적조건, 퍼지 입출력 변수의 최적조건, D/A 및 A/D 변환기의 최적 비트수, 최적 샘플링 시간을 결정 할 수 있다. 공기예열 시스템을 예로서 이 프로그램을 이용하여 설계하였다.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.40 no.5
• /
• pp.306-316
• /
• 2003

본 논문에서는 소프트웨어 PLC를 구현하는 방안을 제시하였다. 하드웨어는 표준적인 산업용 PC와 입출력 보드들로 구성된다. 운영체제로는 수십 마이크로초의 정밀한 단위로 태스크들의 스케줄링이 가능한 실시간 리눅스를 사용하였다. 소프트웨어 PLC를 위해 개발한 실시간 태스크들은 실시간 리눅스의 커널 모드에서 실행되며, 사용 목적에 따라 작성된 PLC 프로그램을 해석하고 실행하는 작업을 일정한 주기로 반복한다. 또한 PLC 프로그램을 편리하게 작성할 수 있도록 자체 프로그램 문법을 제안하고 이를 위한 컴파일러도 구현하였다. 이렇게 구현된 PLC는 가격 대비 성능이 우수하며 소규모의 응용분야들에 유용하게 활용할 수 있다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.102-110
• /
• 2001

대부분의 해킹 공격은 공격 대상 프로그램의 소스코드 보안취약점에 의해서 발생하지만 프로그램 개발시에 소스코드 보안성에 대해서는 고려되지 않았다. 이러한 문제점으로 인하여 해킹 공격의 근본적인 원인을 해결할 수 없었다. 본 논문에서는 취약점의 원인이 되는 코드를 컴파일시 생성된 어셈블리 코드 수준에서 탐지하는 방법을 제시하고자 한다. 취약한 코드를 컴파일러 수준에서 점검하는 것보다 어셈블리 코드 수준에서 점검하는 것은 어느 정도의 메모리 영역까지 점검할 수 있어 더 정확하다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.332-334
• /
• 2000

본 논문에서는 자바 컴파일러에 의해 컴파일된 결과인 클래스파일을 효과적으로 분석할 수 있기 위한 비주얼 분석기의 구현에 대해 기술한다. 이 비주얼 분석기는 클래스파일의 모든 세부사항들을 시각적으로 표현하며 원하는 분석 결과를 저장할 수 있게 되어 프로그램의 이해 및 개발을 도와준다. 이 분석기의 구현에서 JDK1.3을 이용하였으며 화면구성은 JBuilder3.0을 사용한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.85-87
• /
• 2004

Erlang/OTP(Erlang Open Telecom Platform)의 Mnesia는 실시간 고장 허용 분산 MMDBMS이다. Mnesia는 메모리상에서의 질의 처리와 자동화된 데이타 분산 처리로 신속한 트랜잭션 처 리 가 가능하지 만 표준화된 DB 인터페이스와 SQL을 지원하지 않기 때문에 활용상에서의 한계를 갖고 있다. 본 논문에서는 SQL을 지원하는 java와 Mnesia의 연동에 대해 연구한다. 이를 위해 SQL컴파일러와 Mnesia인터페이스를 제공하는java라이브러리를 개발하였다. SQL를 이용한java와 Mnesia의 연동에 대 한 성능 분석 결과 성능의 우수성과 사용의 편리성을 모두 갖추게 되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.409-411
• /
• 1999

본 논문에서 소개하고 있는 비주얼 자바가상기계 시뮬레이터는 자바 컴파일러에 의해 컴파일된 결과인 바이트코드를 분석하고, 그 분석된 결과가 자바가상기계내부구조에 어떻게 할당되는지를 시각적으로 보여줌으로써 자바 소스 코드가 보여주지 못하는 가상기계 내부의 메소드 영역, 자바 스택 영역, 힙 영역에 할당되는 정보를 통해 자바 소스 프로그램의 보다 명확하고 쉬운 이해가 가능하도록 한다.

• 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
• /
• 1999.10a
• /
• pp.427-429
• /
• 1999

원격 링킹 로더는 크로스 컴파일러에 의하여 컴파일된 목적 코드를 원격 타겟 시스템에 전송하여 실행할 수 있게 한다. 이 링킹 로더는 내장형 프로세서를 탑재한 시스템에서 사용되는 소프트웨어 개발 환경에 널리 써왔다. 본 연구의 점진적 원격 링킹 로더는 목적 모듈을 호스트로부터 타겟으로 로딩하는 원격 로딩과 모듈이 로딩될 때 이미 로딩된 모듈들과 통합 링킹하는 점진적 링킹의 역할을 수행한다. 특히, 점진적 링킹은 여러 모듈들이 로딩/언로딩 될 때 사용자가 로딩/언로딩 순서를 고려해야 하는 번거로움을 해결하였다. 본 논문에서는 원격 로딩과 점진적 링킹을 가능하게 하는 로딩/언로딩 알로리즘을 제시하였다. 그리고 이 알고리즘은 [8]에서 개발된 타겟 서버 미들웨어 시스템에서 구현하였다. 본 논문에서 제시하는 점진적 언격 링킹 로더는 내장형 시스템의 개발 환경 사용에 보다 많은 사용자 편의성을 줄 것으로 기대된다.