지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회논문지 : 컴퓨팅의 실제 및 레터 정보과학회논문지 : 컴퓨팅의 실제 및 레터 제17권 제3호
- 발행연도
- 2011.3
- 수록면
- 200 - 204 (5page)
이용수
이 논문의 연구 히스토리 (2)
- 이 논문의 후속연구가 궁금하신가요?
- 연관 학술논문 또는 학술발표를 통해 보다 발전된 연구결과를 확인하실 수 있습니다.
- 이 논문의 연구 히스토리 확인하기
초록· 키워드
오류제보하기
실시간 시스템은 시간적 신뢰성을 중요시하기 때문에 응답시간 검증의 기준점을 제공하기 위해 정적 실행시간 분석이 연구되었다. 정적 실행 시간 분석의 분석 대상에는 상수와 같이 코드에 존재하는 내부 요인과 사용자 입력과 같이 실행 시에 결정되는 외부 요인이 있다. 특히 외부요인은 분석 과정에 나타날 수 있는 모든 경우의 수나 값의 고려가 필요하기 때문에 분석을 어렵게 한다. 따라서 본 논문에서는 외부 요인의 범위를 제한하고 예측을 위한 기준 범위를 제공하기 위해 요약 해석을 사용한 예측 기법과 이를 구현하기 위한 방안을 제안한다. 제안하는 예측 방안은 값과 시간에 관한 외부 요인의 가능한 범위를 요약 해석 기법을 적용하여 제한함으로 이를 예측할 수 있도록 범위 정보를 제공하고 이를 통해 정적 실행 시간 분석이 어려운 부분을 줄일 수 있다. 또한 기존에 분석하지 않던 부분의 분석을 통해 정적 실행 시간 분석의 신뢰성 향상에 기여할 수 있다.
목차
요약
Abstract
1. 서론
2. 관련 연구
3. 외부 요인의 예측 기법
4. 예측 기법의 구현 방안
5. 결론 및 향후 연구
참고문헌
참고문헌 (3)
참고문헌 신청
R. Wilhelm / 2008 / The worst-case execution- time problem-overview of methods and survey of tools / ACM TECS 7(3):1~53
B. Blanchet / 2003 / A static analyzer for large safety-critical software / Proc. of the ACM SIGPLAN conf. on PLDI :196~207
Yun-kwan Kim / 2007 / Organizing Information for Execution Time Analysis in Real-Time Embedded Systems / Proc. of SERP 2007 :710~714
B. Blanchet / 2003 / A static analyzer for large safety-critical software / Proc. of the ACM SIGPLAN conf. on PLDI :196~207
Yun-kwan Kim / 2007 / Organizing Information for Execution Time Analysis in Real-Time Embedded Systems / Proc. of SERP 2007 :710~714
이 논문의 저자 정보
최근 본 자료
댓글(0)
0
UCI(KEPA) : I410-ECN-0101-2012-569-004206592