TimeBounder: 실시간 시스템 자동 분석기

  • 김태효 (㈜포멀웍스) ;
  • 방호정 (한국과학기술원 전자전산학과 전산학) ;
  • 차성덕 (한국과학기술원 전자전산학과 전산학)
  • Published : 2007.08.01

Abstract

Keywords

References

  1. C. Y. Park and A. C. Shaw. Experiments with a program timing tool based on a source-level timing schema. In 11th IEEE Real-Time Systems Symposium (RTSS'90), 1990
  2. Gustav Pospischil, Peter Puschner, Alexander Vrchoticky, and Ralph Zainlinger. Developing real-time tasks with predictable timing. IEEE Software, 9(5), 1992
  3. C. Healy, R. Arnold, F. Muller, D. Whalley, and M. Harmon. Bounding pipeline and instruction cache performance. IEEE Transactions on Computers, 48(1), 1999
  4. Yau-Tsun Steven Li and Sharad Malik. Performance analysis of embedded software using implicit path enumeration. In Proceedings of the 32nd ACM/IEEE Design Automation Conference, 1995
  5. P. Puschner and A. Schedl. Computing maximum task execution times with linear programming techniques. Technical report, Technische University at Wien, Institut fur Technische Informatik, 1995
  6. Tai Hyo Kim, A static analysis technique for improving accuracy of worst case execution time estimation, Ph.D. Dissertation, Korea Advanced Institute of Science and Technology, 2007