• DocumentCode
    2367125
  • Title

    A Safe Measurement-Based Worst-Case Execution Time Estimation Using Automatic Test-Data Generation

  • Author

    Kong, Liangliang ; Jiang, Jianhui

  • Author_Institution
    Dept. of Comput. Sci. & Technol., Tongji Univ., Shanghai, China
  • fYear
    2010
  • fDate
    13-15 Dec. 2010
  • Firstpage
    245
  • Lastpage
    246
  • Abstract
    This paper proposes a new safe measurement-based estimation method for Worst-Case Execution Time (WCET) of programs in real-time systems. The latest progress in Pattern Recognition of learning to detect unseen object classes by between-class attribute transfer has been used for automatic test-data generation in our method. Based on control flow graph partition, execution profiles of each basic block and probabilities of their executions can be extracted during program executions driven by test data. Afterwards, a critical path can be identified by calculating its execution probability among all feasible paths. With measurement for critical paths, WCET can be obtained by adding static analysis of hardware features to measurement results. The objective of this paper is not to present finished or almost finished work. Instead we hope to trigger discussion and solicit feedback from the community in order to avoid pitfalls experienced by others and to help focus our research.
  • Keywords
    automatic test pattern generation; feature extraction; graph theory; object detection; program diagnostics; real-time systems; WCET; attribute transfer; automatic test data generation; control flow graph partition; execution probability; hardware feature; object detection; pattern recognition; real time system; safe measurement based worst case execution time estimation; static analysis; trigger discussion; measurement; performance estimation; real-time; test-data generation; worst-case execution time;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Dependable Computing (PRDC), 2010 IEEE 16th Pacific Rim International Symposium on
  • Conference_Location
    Tokyo
  • Print_ISBN
    978-1-4244-8975-6
  • Electronic_ISBN
    978-0-7695-4289-8
  • Type

    conf

  • DOI
    10.1109/PRDC.2010.28
  • Filename
    5703259