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
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;
Conference_Titel :
Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), 2013 IEEE 16th International Symposium on
Conference_Location :
Paderborn
DOI :
10.1109/ISORC.2013.6913193