• DocumentCode
    359237
  • Title

    A software tool for the timing analysis of embedded software

  • Author

    Luculli, Gabriele ; Sangiovanni-Vincentelli, Alberto

  • Author_Institution
    Scuola Superiore S.Anna, Pisa, Italy
  • Volume
    2
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    754
  • Abstract
    The presence of real-time software modules which interact with specific hardware architectures is growing in today´s embedded applications. New methods and tools are needed for program analysis and the validation of these designs. The timing analysis of software is an essential aspect because real-time requirements need to be validated and because performance objectives could be missed if the software design does not fit with the hardware design. In this paper, we describe a new timing analysis for software which is executed on architectures with a one-level instruction cache. The safety of the timing estimates is guaranteed by this method, and the accuracy can be traded off against the processing time. The implementation details of the related software tool are reported, and the practical use of the tool is shown by some experimental results.
  • Keywords
    cache storage; computer architecture; embedded systems; program diagnostics; program verification; safety; software performance evaluation; software tools; timing; accuracy; embedded software; hardware architectures; implementation; one-level instruction cache; performance objectives; processing time; program analysis; program validation; real-time requirements validation; real-time software modules; safety; software tool; timing analysis; timing estimates; Application software; Computer architecture; Embedded software; Hardware; Performance analysis; Safety; Software design; Software performance; Software tools; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Electrotechnical Conference, 2000. MELECON 2000. 10th Mediterranean
  • Print_ISBN
    0-7803-6290-X
  • Type

    conf

  • DOI
    10.1109/MELCON.2000.880043
  • Filename
    880043