A hybrid framework of worst-case execution time analysis for real-time embedded system software

Jong In Lee, Su Hyun Park, Ho Jung Bang, Tai Hyo Kim, Sungdeok Cha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)


Timing analysis1,2 is an essential process for development of real-time embedded system and knowledge about the worst-case execution time (WCET) of real-time programs is critical to validation of temporal correctness of implemented system. Recently, automated static timing analysis methods are introduced to facilitate timing analysis process for real-time software, and to provide safe and tight WCET. But static WCET analysis methods have drawback as they do not provide accurate WCET for hardware-dependent software or application software where input data rate from external environment needs to be considered. Also, the WCET obtained from static WCET analysis needs to be verified at target system before system deployment. In this paper, we propose a framework of WCET analysis for real-time embedded software which complements static WCET approach and provides tight and safe WCET by combining static timing analysis approach with dynamic measurement. The application of proposed framework to the WCET analysis of command processing and data acquisition part of KOMPSAT-2 satellite flight software is presented to show effectiveness of the proposed approach.

Original languageEnglish
Title of host publicationIEEE Aerospace Conference Proceedings
Publication statusPublished - 2005 Dec 1
Externally publishedYes
Event2005 IEEE Aerospace Conference - Big Sky, MT, United States
Duration: 2005 Mar 52005 Mar 12


Other2005 IEEE Aerospace Conference
CountryUnited States
CityBig Sky, MT


ASJC Scopus subject areas

  • Aerospace Engineering

Cite this

Lee, J. I., Park, S. H., Bang, H. J., Kim, T. H., & Cha, S. (2005). A hybrid framework of worst-case execution time analysis for real-time embedded system software. In IEEE Aerospace Conference Proceedings (Vol. 2005). [1559632] https://doi.org/10.1109/AERO.2005.1559632