Definition of EWM File Format and Covering Problem

EVM 파일 포맷의 정의와 커버링 문제

가상 기계란 하드웨어로 이루어진 물리적 시스템과 달리 소프트웨어로 제작되어 논리적인 시스템 구성을 갖는 개념적인 프로세서이다. 기상 기계 기술은 프로세서나 운영체제가 바뀌더라도 응용프로그램을 변경하지 않고 사용할 수 있는 장점이 있다. 임베디드 시스템을 위한 기상 기계 기술은 모바일 장치나 디지털-TV 등에 탑재할 수 있는 핵심기술로서 다운로드 솔루션에서는 꼭 필요한 소프트웨어 기술이다. 현재 EVM이라 명명된 임베디드 시스템을 일한 가상 기계에 대하여 연구가 진행 중이다. 이러한 연구의 일환으로 본 논문에서는 기존의 가상 기계를 위안 실행 파일 포맷들의 분석을 기반으로 하여 임베디드 시스템을 위한 실행 파일 포맷인 EVM 파일 포맷(EFF)을 정의한다. 또한 제안한 EFF의 완전성을 증명하기 위하여, 기존에 널리 사용되고 있는 실행 파일인 클래스 파일을 이용해서 구조적으로 증명한다.