• DocumentCode
    3453802
  • Title

    Achieving timing composability with measurement-based probabilistic timing analysis

  • Author

    Kosmidis, Leonidas ; Quinones, Eduardo ; Abella, Jaume ; Vardanega, Tullio ; Cazorla, Francisco J.

  • Author_Institution
    Univ. Politec. de Catalunya, Barcelona, Spain
  • fYear
    2013
  • fDate
    19-21 June 2013
  • Firstpage
    1
  • Lastpage
    8
  • Abstract
    Probabilistic Timing Analysis (PTA) allows complex hardware acceleration features, which defeat classic timing analysis, to be used in hard real-time systems. PTA can do that because it drastically reduces intrinsic dependence on execution history. This distinctive feature is a great facilitator to time composability, which is a must for industry needing incremental development and qualification. In this paper we show how time composability is achieved in PTA-conformant systems and how the pessimism of worst-case execution time bounds obtained from PTA is contained within a 5% to 25% range for representative application scenarios.
  • Keywords
    probability; real-time systems; systems analysis; PTA-conformant systems; hardware acceleration features; incremental development; measurement-based probabilistic timing analysis; real-time systems; representative application scenarios; time composability; timing composability; worst-case execution time bounds; Aerospace electronics; Hardware; Probabilistic logic; Random variables; Real-time systems; Software; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2013 IEEE 16th International Symposium on
  • Conference_Location
    Paderborn
  • Type

    conf

  • DOI
    10.1109/ISORC.2013.6913193
  • Filename
    6913193