• Journal of the Korean Data and Information Science Society
• /
• 제20권1호
• /
• pp.125-137
• /
• 2009

스마트카드는 작은 크기의 마이크로 컴퓨터칩을 내장하고 있다. 이 칩은 프로세서, RAM, ROM, 클럭, 버스 그리고 암호전용 코프로세서 등을 포함하고 있다. 따라서 이 칩은 RFID 태그와 비교해서 가격이 비싸고, 복잡하지만 안전한 칩이다. 스마트카드의 주요 응용분야는 전자뱅킹이나 안전한 통신 관련 분야이다. 자바카드는 개방형 플랫폼 중 가장 널리 사용되는데 그 이유는 자바카드의 보안성, 플랫폼 독립성, 그리고 빠른 개발 싸이클 때문이다. 하지만 자바카드는 실행속도가 느리기 때문에 자바 카드의 성능개선은 중요한 연구 분야가 되어왔다. 본 논문에서는 효과적인 트랜잭션버퍼 관리 방법을 제안하여 자바카드의 성능을 개선시켰으며 실험을 통하여 그 성능을 입증하였다.

• 한국콘텐츠학회논문지
• /
• 제3권2호
• /
• pp.39-45
• /
• 2003

자바의 동적인 클래스 로딩은 자바 플랫폼에서 실행시간에 소프트웨어 컴포넌트를 동적으로 로딩하기 위한 강력한 메커니즘이다. 다른 시스템에서도 동적 로딩과 링킹을 제공하지만 지연 로딩, 타입안전 링크, 사용자 정의 로딩정책, 다중 이름 공간 등은 자바가 가진 중요한 특징들이다. 클래스 로딩에서 핵심은 타입 안전을 보장하는 것이다. 타입 안전은 자바 보안에서 아주 중요한 부분을 차지한다. 하지만 자바 가상 머신에서 타입 안전에 대한 메커니즘은 매우 복잡하고, 접근이 명확하지 않아서 지금 까지 많은 버그가 발생하여 타입 안전에 문제가 되었다. 본 논문은 자바 가상 머신에서 동적인 클래스 로더의 동작을 분석하고, 연산적 의미론(operational semantics)으로 추상화하고 현재 로드되어진 클래스와 추가된 제한 등을 이용하여 이전에 제시되었던 타입 안전에 대한 문제를 분석한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 춘계학술발표대회
• /
• pp.477-480
• /
• 2006

본 논문에서는 기존 학습 관리 시스템(Learning Management System : LMS)의 JAVA Applet으로 구현된 SCORM 2004 시퀀싱 엔진 및 데이터 모델에서 나타난 문제점을 해결할 수 있는 Ajax(Asynchronous JavaScript and Xml) 기반의 SCORM 2004 시퀀싱 엔진 및 데이터 모델을 제안한다. 기존 JAVA Applet 으로 구현된 시퀀싱 엔진 및 데이터 모델에서의 VM(Virtual Machine) 구동상에 발생하는 보안 및 인증 문제, VM 구동에 따른 제한점 및 시스템 처리속도의 문제점을 해결하였다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2003년도 춘계종합학술대회논문집
• /
• pp.171-176
• /
• 2003

클래스 로딩에서 핵심은 타입 안전을 보장하는 것이다. 타입 안전은 자바 보안에서 아주 중요한 부분을 차지한다. 하지만 자바 가상 머신에서 타입 안전에 대한 메커니즘은 매우 복잡하고, 접근이 명확하지 않아서 지금 까지 많은 버그가 발생하여 타입 안전에 문제가 되었다. 본 논문은 자바 가상 머신에서 동적인 클래스 로더의 동작을 분석하고, 연산적 의미론(operational semantics)으로 추상화하고 현재 로드되어진 클래스와 추가된 제한 등을 이용하여 이전에 제시되었던 타입 안전에 대한 문제를 분석한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
• /
• pp.1379-1382
• /
• 2005

최근 들어 유선 인터넷 환경에서의 다양한 컨텐츠가 무선 인터넷 기반의 환경으로 이동하면서 휴대폰이나 PDA, PMP 와 같은 소형 모바일 디바이스를 이용한 무선 인터넷 서비스가 급격히 늘어나고 있다. 본 논문에서는 모바일 환경에서 원격제어 시스템 구현을 위해 JAVA 의 JVM(Java Virtual Machine) 및 API 로 구성된 J2ME(JAVA 2 Micro Edition) 기술과 에뮬레이터를 이용하여 모바일 디바이스에서 원거리의 시스템을 원격제어하고 데이터의 전송을 가능하게 하는 시스템("Smart-Anywhere")을 설계 및 구현하였다. 이로써 향후 다양한 모바일 응용프로그램을 개발하는데 기초가 될 뿐만 아니라 언제 어디서나 디바이스간의 통신이 가능한 Smart-Anywhere 엔진의 이점을 이용하여 미래의 유비쿼터스 홈 네트워크 환경에서 각종 장비들에 대한 접근과 원격 제어할 수 있는 시스템에도 널리 활용 할 수 있을 것이다.

• 정보학연구
• /
• 제5권4호
• /
• pp.35-44
• /
• 2002

자바의 이전성은 해석 방식에 따른 비효율성을 낳는다. 또한 일반 응용 프로그램에서 자바의 표준 클래스 라이브러리는 플랫폼 의존적인 기능을 제공하지 못한다. 이러한 여러 가지 문제를 해결하기 위해 JNI, JIT, 오프라인 바이트코드 컴파일러가 제안되어왔다. 본 논문에서는 자바 가상기계가 네이티브 코드와 함께 실행되는 혼합형 실행 모델을 제시한다. 현 실행 모델과 번역기는 동적으로 바이트코드를 적재할 수 있는 능력이 주어지며 JNI의 수월한 사용을 제공한다. 본 시스템은 JIT 보다 효율적이며, JNI의 개념이 부족한 프로그래머가 쉽게 네이티브코드 작성할 수 있도록 한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 춘계종합학술대회
• /
• pp.237-240
• /
• 2003

효율적 메모리 관리는 자바가상기계의 핵심 조건 중 하나이다. 자바에서는 새로운 인스턴스가 생성되거나 메소드가 호출될 때마다 메모리의 할당이 이루어진다. 반면 더 이상 사용되지 않는 인스턴스를 위한 메모리는 자동적으로 회수되며, 호출된 메소드가 복귀될 때마다 메모리도 회수된다. 본 논문에서는 특히 simpleRTJ 자바가상기계에서 적용된 메모리 관리기법에 대해 연구하였다. simpleRTJ는 모든 인스턴스의 크기를 동일하게, 또한 메소드 호출 시 생성되는 스택 프레임의 크기를 모두 동일하게 통일한다는 특징을 갖는다. 우리는 simpleRTJ에서 적용된 이 기법에 대해 상세히 고찰해 보며 이 기법의 성능에 대해서 정성적 분석을 하였다.

• 한국정보처리학회논문지
• /
• 제7권7호
• /
• pp.2086-2094
• /
• 2000

자바의 같이 객체지항 언어로 작성된 프로그램은 프로그램의 실행과 관련된 정보들과 제어의 흐름이 숨겨져 있기 때문에 분석하기가 쉽지 않다. 그러나, 자바의 겨우는 컴파일 과정을 통해 생성된 클레스 파일에 프로그램의 수행과 관련된 벙보가 포함되어 있다. 자바 가상 기계는 클레스 파일에 포함된 바이트코드를 실행시킨다. 따라서 바이트코드가 실행되는 과정을 살펴보면 자바소스 프로그램에 대해 보다 명확한 분석과 쉬운 이해가 가능해 진다. 본 논문에서는 자바 프로그램의 구조와 객체들 사이의 제어의 흐름을 이해하는데 도움을 준다.

• 지능정보연구
• /
• 제15권3호
• /
• pp.17-29
• /
• 2009

C 언어는 AVR사의 ATmega128을 기반으로 하는 교육용 로봇 팔의 주 프로그래밍 언어다. C 언어는 교육용 로봇 팔을 제어하고 프로그램 학습하기 원하는 중학교 또는 고등학생들에게는 매우 어렵고 복잡하였다. 더구나, 통합개발환경, 디버딩 및 테스팅 환경도 제공하지 못하였다. 본 연구에서는 이러한 문제를 해결하기 위하여 교육용 로봇을 위한 자바 기반의 통합 개발 플랫폼을 제안하였다. 이 플랫폼은 교육용 로봇 팔을 위한 최신의 초소형 자바 가상 머신(NanoVM), 이클립스 플러그인을 사용한 통합개발환경, 실제 로봇을 연결하지 않아도 테스트 및 디버깅을 할 수 있는 3차원 시뮬레이터를 포함하고 있다. 이러한 자바 개발환경은 어린 학생들이 매우 용이한 교육용 로봇 팔 학습환경을 제공하게 되었다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.337-339
• /
• 2002

휴대용 무선기기의 성능 향상과 동적인 응용프로그램 실행의 필요성에 따라 모바일 응용프로그램은 기존의 네이티브 애플리케이션 제작 방법에서 가상기계(Virtual Machine)를 탑재하여 실행하는 가상기계애플리케이션 제작 방법으로 변환하였다. 가상기계를 이용한 애플리케이션의 실행은 플랫폼 독립적인 실행이 가능하며 또한 효과적인 다운로드 솔루션을 통한 동적인 응용프로그램의 실행이 가능하다. 이러한 배경으로 KVM과 CVM(General Virtual Machine)등의 가상기계가 출현하였다. 그러나 각 플랫폼에서 맞는 애플리케이션은 서로 호환되지 않으므로 가상기계 언어간의 번역을 통해 목적 가상기계에서의 실행이 요구되며 자바 바이트코드를 순수 국내 기술로 개발된 GVM 코드로 번역하는 것이 바람직하다. 본 논문에서는 KVM에서 실행가능한 자바 바이트코드를 CVM에서 실행하기 위해 바이트코드를 GVM코드인 SAL(Sinji Assembly Language)로 번역하는 번역기를 설계하고 구현한다. 이를 위해 자바의 언어 독립적 특성 외에 언어 의존적인 특성을 처리하기 위한 방법을 제안하며 언어 의존적인 특성을 배열과 문자열, 클래스와 객체, 예외, 스레드로 분류하여 처리한다.