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

6 Citations (Scopus)

Abstract

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
Volume2005
DOIs
Publication statusPublished - 2005 Dec 1
Externally publishedYes
Event2005 IEEE Aerospace Conference - Big Sky, MT, United States
Duration: 2005 Mar 52005 Mar 12

Other

Other2005 IEEE Aerospace Conference
CountryUnited States
CityBig Sky, MT
Period05/3/505/3/12

Fingerprint

Embedded software
Real time systems
Application programs
Embedded systems
Computer hardware
Data acquisition
Satellites
Processing

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

A hybrid framework of worst-case execution time analysis for real-time embedded system software. / Lee, Jong In; Park, Su Hyun; Bang, Ho Jung; Kim, Tai Hyo; Cha, Sungdeok.

IEEE Aerospace Conference Proceedings. Vol. 2005 2005. 1559632.

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

Lee, JI, Park, SH, Bang, HJ, Kim, TH & 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, 2005 IEEE Aerospace Conference, Big Sky, MT, United States, 05/3/5. https://doi.org/10.1109/AERO.2005.1559632
Lee JI, Park SH, Bang HJ, Kim TH, Cha S. A hybrid framework of worst-case execution time analysis for real-time embedded system software. In IEEE Aerospace Conference Proceedings. Vol. 2005. 2005. 1559632 https://doi.org/10.1109/AERO.2005.1559632
Lee, Jong In ; Park, Su Hyun ; Bang, Ho Jung ; Kim, Tai Hyo ; Cha, Sungdeok. / A hybrid framework of worst-case execution time analysis for real-time embedded system software. IEEE Aerospace Conference Proceedings. Vol. 2005 2005.
@inproceedings{3bb18e56708547599d607e8919fe37f9,
title = "A hybrid framework of worst-case execution time analysis for real-time embedded system software",
abstract = "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.",
author = "Lee, {Jong In} and Park, {Su Hyun} and Bang, {Ho Jung} and Kim, {Tai Hyo} and Sungdeok Cha",
year = "2005",
month = "12",
day = "1",
doi = "10.1109/AERO.2005.1559632",
language = "English",
isbn = "0780388704",
volume = "2005",
booktitle = "IEEE Aerospace Conference Proceedings",

}

TY - GEN

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

AU - Lee, Jong In

AU - Park, Su Hyun

AU - Bang, Ho Jung

AU - Kim, Tai Hyo

AU - Cha, Sungdeok

PY - 2005/12/1

Y1 - 2005/12/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33751524865&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33751524865&partnerID=8YFLogxK

U2 - 10.1109/AERO.2005.1559632

DO - 10.1109/AERO.2005.1559632

M3 - Conference contribution

SN - 0780388704

SN - 9780780388703

VL - 2005

BT - IEEE Aerospace Conference Proceedings

ER -