• Journal of Korea Multimedia Society
• /
• v.8 no.9
• /
• pp.1282-1291
• /
• 2005

This paper presents the EVM(Embedded Virtual Machine) which enables the execution of dynamic applications loaded in the embedded systems such as Mobile Devices(mobile phone, PDA), Set-Top Box, and Digital TV using downloading techniques. To accomplish this goal, we defined a SIL-(Standard Intermediate Language) code, and implemented a Bytecode-to-SIL translator which enables the execution of programs written in java language in the EVM platform without JVM, and a MSIL--to-SIL- translator which enables for programs written in .NET language to be executed in the EVM platform without .NET platform. Also, we developed a EFF(Executable File Format) builder as an assembler which translates SIL codes into an executable file, *.evm, and implemented the EVM which reads the *.evm file and executes it. The virtual machine for embedded systems developed in this paper is the software technologies that enable the execution of applications or contents without changes to when the platforms change. In fact, the virtual machine suggested here is not only usable as a standard model for existing virtual machines but also aid in more efficient execution of applications loaded in the embedded systems such as Mobile Devices, Digital TV, and Set-Top Box.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.818-819
• /
• 2010

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

• The KIPS Transactions:PartA
• /
• v.12A no.3 s.93
• /
• pp.229-234
• /
• 2005

The virtual machine is a programming environment that supports device and platform independence. So far, virtual machines such as JVM and KVM have been used in a variety of environments for the Java language. Some virtual machines similar to them are also being developed and used. This paper Presents the experiences of extracting elements essential for small sized devices such as PDA from Java Class files(*.class) and designing a converted class file(*.rclass) for runtime efficiency by modifying its class file format and developing its translator. In addition, a virtual machine is developed to receive the translated class file entered and output the runtime results.

• Journal of Korea Multimedia Society
• /
• v.10 no.5
• /
• pp.668-678
• /
• 2007

The development of a wire and wireless communication technologies might permit easily accessing on various information. But, the easiness of accessing information has basically the problem of an unintended information outflow. An executable file which has key algorithms, data and resources for itself has very weak point in the security. Because the various information such as algorithms, data and resources is included in an executable file on embedded systems or virtual machines, the information outflow problem may appear more seriously. In this paper, we propose a technique which can be protecting the executable file contents for resolving the outflow problem through the encryption. Experimentally, we applied the proposed technique to EVM-the virtual machine for embedded system and verified it. Also, we tried a benchmark test for the proposed technique and obtained reasonable performance overhead.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.06a
• /
• pp.37-41
• /
• 2001

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.566-570
• /
• 2006

프로그램의 힙 사용량이나 수행 시간과 같은 프로그램의 동적인 속성을 분석하기 위해서 프로파일러가 이용된다. 자바에서는 가상기계와 프로파일러의 통신을 목적으로 JVM TI 같은 프로파일러를 위한 인터페이스를 제공한다. 그러나 자바 가상기계 구현 명세는 프로파일러 인터페이스 구현을 요구하지 않는다. 프로파일러 인터페이스를 구현하지 않는 자바 가상기계에서는 JVM TI를 사용하는 프로파일러를 이용할 수 없다. 본 논문에서는 프로파일러 인터페이스를 사용하지 않는 힙 사용량 분석 기법을 제안했다. 이 방법은 힙 사용 정보를 추출하기 위한 코드를 소스파일에 삽입한다. 이 방법은 힙 사용량 분석 시 자바에서 제공하는 인터페이스를 사용하지 않기 때문에, 표준 인터페이스를 구현하지 않는 가상기계에서도 힙 사용 정보 분석을 수행할 수 있다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.13 no.1
• /
• pp.1-10
• /
• 2008

In this paper, We have defined an effectual way to adapt the virtual machine into an embedded system and mobile device platform using retargetable technology. For this technology, We classified platform dependent character, and platform independent character, then designed, and implemented the adapter by adopting platform dependent character to retargetable technology, which allows to express in a formal method.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2007.05a
• /
• pp.1516-1519
• /
• 2007

본 연구팀은 유비쿼터스 환경에서 다양한 분야의 콘텐츠를 보다 쉽게 개발하고 실행할 수 있는 통합소프트웨어 개발 솔루션인 유비쿼터스 게임 플랫폼(Ubiquitous Game Platform)을 개발하였다. 유비쿼터스 게임 플랫폼은 유비쿼터스 환경의 기기에 탑재되어 콘텐츠들을 C/C++/Java 언어 모두를 수용하며 가상기계 방식이어서 유비쿼터스 환경의 기기에 독립적으로 실행이 가능하다는 장점을 가지고 있다. 본 논문에서는 유비쿼터스 게임 플랫폼의 가상기계인 유비쿼터스 가상기계(u-VM)의 입력인 SEF(Standard Executable Format) 실행파일을 생성하기 위한 SAF 어셈블러를 설계 및 구현 하였다. SAF 어셈블러는 중간언어 형식인 SAF(Standard Assembly Format)를 입력으로 받아 u-VM이 실행 가능한 파일 형식인 SEF를 생성한다. SEF 파일을 생성하면서 SAF 어셈블러는 여러개의 SAF파일을 한 개의 SEF로 묶어주는 링커의 역할을 하여 주며, 실행 파일을 텍스트 형식의 SAF에서 바이너리 형식의 SEF로 바꿈으로써 보안상의 문제를 해결해 준다. 또한 SEF는 SAF에 비해 가볍게 변환이 되어 가상기계에서의 실행속도를 개선하는 역할을 하여 준다.

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 2002.02a
• /
• pp.180-185
• /
• 2002

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

• Journal of KIISE
• /
• v.42 no.1
• /
• pp.44-53
• /
• 2015

Control flow information is useful in the analysis and comparison of programs. Virtualization-obfuscation hides control structures of the original program by transforming machine instructions into bytecode. Direct examination of the resulting binary reveals only the structure of the interpreter. Recovery of the original instructions requires knowledge of the virtual machine architecture, which is randomly generated and hidden. In this paper, we propose a method to reconstruct original control flow using only traces generated from the obfuscated binary. We consider traces as strings and find an automaton that represents the strings. State transitions in the automaton correspond to the control transfers in the original program. We have shown the effectiveness of our method with commercial obfuscators.