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

Java의 경우 기존의 강건성 테스팅 방법인 ballista로는 객체 타입의 인자 및 파일 시스템의 변화를 시뮬레이션 할 수 없다. 따라서 객체에 대한 특별한 접근을 필요로 한다. 본 논문에서는 객체에 폴트를 삽입하는 방식을 통하여 자바 가상 기계의 강건성(Robustness)을 테스팅하는 방법을 제안한다. 자바 디버깅 툴인 JPDA를 사용하여 자바 가상 머신에 대한 직접적인 접근 및 의도한 상태 및 환경 변경을 가능하게 하고 이를 통해 자바 가상 기계에 폴트가 심어진 객체를 수행시킬 수 있다. 객체를 수행시키고 의도한 예외상황의 발생 유무를 관찰함으로써 자바 가상 기계의 강건성을 테스트 할 수 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2010년도 추계학술발표대회
• /
• pp.818-819
• /
• 2010

고층빌딩, 지하역사와 같은 대형 복합건물은 건물 자체의 복합도 증가와 더불어 이에 따른 위험요소(hazard)의 증가를 가져오고 위험상황에 대처해야 할 소방관들의 대응기술 및 훈련도 고도화되어야 한다. 실제 화재현장, 특히 대형 복합건물에 대한 훈련은 비용, 시간뿐만 아니라 소방관 안전 확보라는 차원에서 불가능하며 반복적인 훈련이나 그 평가가 어렵다는 점에서 가상환경을 이용한 훈련 시스템이 필요하다. 본 논문에서는 복합건물에 대한 소방관 팀 훈련 시스템 구현을 위한 가상환경의 설계 및 구현을 소개하고자 한다. 가상환경은 소방관의 훈련 및 평가, 팀 단위훈련을 제공하고 현실감 있는 훈련을 위하여 가상현실, 증강현실, 물리체험 모듈을 이용한 사용자 인터페이스를 제공한다. 가상환경 구축을 위하여 대상 건축물에 대한 3 차원 모델을 구축하고 도출된 발생 가능한 화재 시나리오에 대한 수치적 모델링을 수행하고 그 결과를 가상환경 및 훈련 시나리오에 반영하였다.

• 한국컴퓨터산업학회논문지
• /
• 제5권9호
• /
• pp.965-972
• /
• 2004

본 논문은 소규모 장치 및 모바일 장치 등에 탑재되고 있는 KVM, Waba VM의 탑재 기법 및 네이티브 코드 연결 기법을 기반으로 임베디드 시스템에 적합한 가상기계의 정적/동적 라이브러리 연결 기법에 관한 연구이다. 이를 위해, KVM, Waba VM의 네이티브 함수 연결 기법을 기반으로 정적/동적 라이브러리 함수 연결을 위한 새로운 네이티브 함수 테이블을 구현하였다. 또한 구현된 기법을 이용하여 다양한 실험 및 분석 결과를 제시하였다.

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

본 논문은 IoT 장치에서 동작하는 가상기계의 중간코드를 LLVM IR 코드로 변환하는 코드 변환기를 설계 및 구현하였다. LLVM 인터프리터를 통해 RSIL 코드로부터 변환된 LLVM IR 코드를 실행하고, 그 결과를 비교하여 IoT 가상기계의 중간코드를 검증하였다.

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

본 연구팀은 유비쿼터스 환경에서 다양한 분야의 콘텐츠를 보다 쉽게 개발하고 실행할 수 있는 통합 소프트웨어 개발 솔루션인 유비쿼터스 게임 플랫폼(Ubiquitous Game Platform)을 개발하였다. 유비쿼터스 게임 플랫폼은 가상기계 방식으로써 플랫폼에 독립적어서 유비쿼터스 환경의 기기에 탑재가 수월한 장점을 가진다. 본 논문에서는 유비쿼터스 게임 플랫폼에서 다양한 콘텐츠의 실행과 멀티 스레딩을 지원하는 유비쿼터스 가상기계(u-VM)를 설계하고 구현하였다. MS의.NET 플랫폼과 SUN의 JVM이 C/C++나 Java 언어 하나만을 지원하는데 반해 본 연구에서 제시한 u-VM은 다양한 유비쿼터스 기기에 탑재되어 C/C++, Java 언어로 작성된 다양한 모든 종류의 어플리케이션을 실행한다. u-VM은 SEF(Standard Executable Format) 실행 파일을 입력으로 받아 실행하며, SEF 로더와 인터프리터, 내장 라이브러리, 실행 환경으로 구성되어 있다. 실행 환경에서는 메모리를 관리하고 예외를 처리하며 스레드 스케줄러를 통해 멀티스레딩 기능을 제공 한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 추계학술발표논문집(상)
• /
• pp.623-626
• /
• 2004

EVM(Embedded Virtual Machine)은 임베디드 시스템을 위한 가상기계로서 플랫폼에 독립적이며, 모바일 디바이스와 디지털 TV등에 탑재할 수 있는 핵심 기술로 다운로드 솔루션에서는 꼭 필요한 기술이다. SIL(Standard Intermediate Language)은 임베디드 시스템을 위한 가상기계의 표준 중간 언어로 객체지향 프로그래밍 언어와 순차 적인 프로그래밍언어를 모두 수용할 수 있다. SIL로 기술된 프로그램이 EVM 에서 실행되기 위해서는 EFF(Executable File Format)형태로 변환되어야 한다. 임베디드 시스템을 위한 실행 파일 포맷인 EFF 는 구조가 간결하며 확장이 용이한 특징을 지닌다. 또한 메타데이터와 표준 중간 언어가 서로 독립적으로 구성되어 분석이 쉽고 타입 체크가 편리한 구조이다. 본 논문에서는 가상기계를 위한 표준 중간 언어인 SIL 을 EVM 에서 실행 가능한 형태로 변환시켜주는 실행 파일 포맷 생성기(EFF Generator)를 설계하고 구현한다. 먼저, SIL 구조를 위한 SIL 문법을 설계하고 파서 생성기(PGS)를 사용하여 SIL 프로그램을 위한 어휘분석기와 구문분석기를 구현한다. 그리고 AST를 생성한 후. 포맷 생성기를 통하여 AST를 운행하며 EFF를 생성한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2001년도 춘계학술발표논문집 (상)
• /
• pp.255-258
• /
• 2001

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

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2001년도 춘계학술발표논문집
• /
• pp.37-41
• /
• 2001

모바일 인터넷 시대가 열리면서 언제, 어디서든지 네트워크에 연결될 수 있는 휴대용 디지털 기기의 인터넷에 대한 관심이 증대되고 있다. 모바일 단말기에서의 자바 플랫폼 기반 지니 홈네트워크 접속은 자바 기술의 특성을 가장 잘 살린 컴퓨팅 환경이다. 지니를 지원하기 위해서는 자바 가상 기계라는 소프트웨어가 실행을 하고 있는 환경이어야 하고 RMI를 지원해야 하는데 Java2ME의 K-자바 가상 기계는 이를 지원하지 못한다. 본 논문에서는 Java2ME CLDC를 기반으로 지니에 접속할 수 있는 자바 가상 기계에 대해 논의하였다. 지니 KVM 은 각 모바일 단말기에 맞는 프로그램을 하지 않아도 되는 환경을 제공 할 뿐만 아니라, 표준 자바 클래스 파일 포맷과 CLDC 클래스 파일을 지원하고, 지니에 접속할 수 환경을 제공함으로써, 모바일 단말기의 본격적인 네트워킹을 할 수 있도록 한다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2001년도 추계학술발표논문집
• /
• pp.374-377
• /
• 2001

Java Card 플랫폼을 내장한 스마트 카드는 현재의 스마트 카드에 적용되는 모든 표준을 따르는 전형적인 스마트 카드인데, 자바카드 플랫폼의 장정을 최대한 이용하기 위해 적용할 기술은 메모리 측면에서 보면 사용할 수 있는 자원이 적어 다양한 용도로 사용에 있어 제한적이다. 따라서 본 논문에서는 적은 메모리 자원을 가지고 보다 효율적이고 최적화된 성능을 가지는 자바플랫폼을 지원하기 위해 자바 플랫폼의 성능에 핵심이 되는 자바 카드 가상기계(JCVM)의 성능최적화 방안에 대한 방법을 제시하고자 한다.

• 한국농업기계학회:학술대회논문집
• /
• 한국농업기계학회 2002년도 동계 학술대회 논문집
• /
• pp.180-185
• /
• 2002

본 연구에서는 선행연구에서 개발한 식물공장 시스템을 확장하여 가상의 식물공장을 설계하고 운영하는 시뮬레이션을 수행하였으며 그 결과는 다음과 같다. 1. 식물공장의 개별 장치들의 성능과 크기에 관한 수학적 모델을 구하였으며 작물의 로지스틱 생장 모델에 따라 재배장치를 배열하였다. 2. 동일조건 하에서 여러 가지 변수를 변화시키며 식물공장의 면적, 재배장치의 길이 등을 시뮬레이션 해보았으며 또한 식물공장의 연간 고정비 및 소득도 비교했다. 3. VRML을 이용하여 3차원 컴퓨터 그래픽을 이용한 가상의 식물공장을 만들어 사용자가 가상현실 속에서 둘러볼 수 있었으며, 가상 식물공장은 인터넷을 통해 WWW으로 제공할 수 있었다.