지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술대회자료
- 저자정보
- 발행연도
- 2006.7
- 수록면
- 351 - 354 (4page)
이용수
초록· 키워드
오류제보하기
EVM(Embedded Virtual Machines) is a stack-based virtual machine which is independently run in the H/W and ported in mobile devices, set-top boxes, and digital TVs. As an intermediate language of EVM, SIL(Standard Intermediate Language) has an operation code set for an object-oriented language and a procedural language. In the past, a dependent code was translated in a platform in order to run C programs. To cope with this problem, and based on EVM, we have developed the ANSI C compiler--which generates SIL code-van independent stack-based intermediate code in a platform, instead of an object code.
For the analysis of the SIL code generated by the ANSI C compiler, this study designed and implemented a SIL-to-C decompiler system which translates SIL code into ANSI C program(a three-address code type). This kind of process suggests a verification method through which it can be checked whether or not SIL code is properly generated by ANSI C compiler. And this process does apply to C++ compiler. Further, in the case in which the S/W misoperates or where the version is not compatible with the previous releases, this system makes it easier to adjust the architecture of the software and to enhance the performance.
For the analysis of the SIL code generated by the ANSI C compiler, this study designed and implemented a SIL-to-C decompiler system which translates SIL code into ANSI C program(a three-address code type). This kind of process suggests a verification method through which it can be checked whether or not SIL code is properly generated by ANSI C compiler. And this process does apply to C++ compiler. Further, in the case in which the S/W misoperates or where the version is not compatible with the previous releases, this system makes it easier to adjust the architecture of the software and to enhance the performance.
목차
ABSTRACT
1. INTRODUCTION
2. RELATED WORKS
3. SIL-to-C DECOMPILER SYSTEM
4. EXPERIMENTAL RESULTS AND ANALYSIS
5. CONCLUSION AND FURTHER WORKS
6. REFERENCES
참고문헌 (0)
참고문헌 신청함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
ANSI C 컴파일러에서 중간코드의 검증과 분석을 위한 역컴파일러의 개발
멀티미디어학회논문지
2007 .03
-
ANSI C 컴파일러를 위한 EVM SIL 코드로부터 C 프로그램 역컴파일러의 개발
한국멀티미디어학회 학술발표논문집
2005 .05
-
DESIGN AND IMPLEMENTATION OF A DETRANSLATOR FOR VERIFICATION AND ANALYSIS OF SYMBOL TABLES IN AN ANSI C COMPILER
한국멀티미디어학회 국제학술대회
2006 .07
-
Translation Java Bytecode to EVM SIL Code for Embedded Virtual Machines
멀티미디어학회논문지
2005 .12
-
자바 바이트코드의 EVM SIL 코드 매핑
한국멀티미디어학회 학술발표논문집
2004 .11
-
A-SIL 을 이용한 근접장 저장
한국소음진동공학회 학술대회논문집
2007 .11
-
통합시험환경 모델 검증 자동화 설계
한국항행학회논문지
2019 .01
-
Multi-Platform 적용을 위한 SIL 설계 및 개발에 관한 연구
한국항공우주학회 학술발표회 초록집
2008 .11
-
객체지향 C++ 컴파일러에서 가상기계 코드의 실행과 분석을 위한 역컴파일러의 설계 및 구현
한국멀티미디어학회 학술발표논문집
2006 .05
-
가상기계 코드의 커버링 문제
한국정보과학회 학술발표논문집
2003 .10
-
공정안전향상을 위한 Safety Integrity Level의 적용 방향
한국안전학회지
2012 .01
-
열차제어시스템 SIL할당 및 입증에 관한 연구
한국철도학회 학술발표대회논문집
2009 .05
-
SILS 환경에서의 측면 충돌 방지시스템 개발
한국정밀공학회 학술발표대회 논문집
2012 .05
-
SIL을 이용한 계통 감시 및 위험 상정사고 분석 에 관한 연구
대한전기학회 학술대회 논문집
2013 .07
-
SILS를 이용한 전동 조향장치 장착 차량 동적 거동 해석
한국정밀공학회 학술발표대회 논문집
2012 .05
-
SIL 기반 근접장 시스템에 대한 충격 대응 제어 알고리즘 설계
한국소음진동공학회 학술대회논문집
2009 .04
-
고속철도 전자연동장치 SIL적용에 대한 연구
한국철도학회 학술발표대회논문집
2009 .11
-
IEC 61508에 기반한 원자력 발전소용 안전 등급 제어기의 SIL 분석에 대한 사례연구
신뢰성응용연구
2016 .09
-
SILS 기반의 가상원자력플랜트 중대사고 시뮬레이터 개발
대한전자공학회 학술대회
2014 .06
-
고체침지렌즈 기반 근접장 표면 기록을 위한 고체침지렌즈 광학 헤드의 조립 및 평가에 대한 연구
정보저장시스템학회논문집
2008 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2012-004-004267200