Revising Measurement-Based Probabilistic Timing Analysis

被引：0
|
作者：
Santinelli, Luca [1 ]
Guet, Fabrice [1 ]
Morio, Jerome [1 ]
机构：
[1] ONERA Toulouse, Toulouse, France
来源：
PROCEEDINGS OF THE 23RD IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS 2017) | 2017年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The Measurement-Based Probabilistic Timing Analysis (MBPTA) computes probabilistic Worst-Case Execution Time (pWCET) estimates with the Extreme Value Theory (EVT) from measurements of tasks execution time. In this work we approach the MBPTA open problems by proposing guidelines for a formal and correct EVT application. Statistical analyses of measurement of execution times, the EVT parameters selection, the pWCET reliability and the worst-case guarantees are investigated in order to provide the best possible MBPTA. The MBPTA enhancements proposed are validated with test cases from both artificially time randomized real-time systems and non-time randomized real-time systems.
引用
收藏
页码：199 / 208
页数：10
相关论文
共 50 条
  • [1] Achieving Timing Composability with Measurement-Based Probabilistic Timing Analysis
    Kosmidis, Leonidas
    Quinones, Eduardo
    Abella, Jaume
    Vardanega, Tullio
    Cazorla, Francisco J.
    2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2013,
  • [2] Fitting processor architectures for measurement-based probabilistic timing analysis
    Kosmidis, Leonidas
    Quinones, Eduardo
    Abella, Jaume
    Vardanega, Tullio
    Hernandez, Caries
    Gianarro, Andrea
    Broster, Ian
    Cazorla, Francisco J.
    MICROPROCESSORS AND MICROSYSTEMS, 2016, 47 : 287 - 302
  • [3] Adapting TDMA arbitration for measurement-based probabilistic timing analysis
    Panic, Milos
    Abella, Jaume
    Quinones, Eduardo
    Hernandez, Caries
    Ungerer, Theo
    Cazorla, Francisco J.
    MICROPROCESSORS AND MICROSYSTEMS, 2017, 52 : 188 - 201
  • [4] Measurement-Based Probabilistic Timing Analysis for Multi-path Programs
    Cucu-Grosjean, Liliana
    Santinelli, Luca
    Houston, Michael
    Lo, Code
    Vardanega, Tullio
    Kosmidis, Leonidas
    Abella, Jaume
    Mezzetti, Enrico
    Quinones, Eduardo
    Cazorla, Francisco J.
    PROCEEDINGS OF THE 24TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2012), 2012, : 91 - 101
  • [5] EPC: Extended Path Coverage for Measurement-based Probabilistic Timing Analysis
    Ziccardi, Marco
    Mezzetti, Enrico
    Vardanega, Tullio
    Abella, Jaume
    Cazorla, Francisco J.
    2015 IEEE 36TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2015), 2015, : 338 - 349
  • [6] Measurement-Based Probabilistic Timing Analysis and Its Impact on Processor Architecture
    Kosmidis, Leonidas
    Quinones, Eduardo
    Abella, Jaume
    Vardanega, Tullio
    Broster, Ian
    Cazorla, Francisco J.
    2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2014, : 401 - 410
  • [7] Measurement-Based Timing Analysis
    Wenzel, Ingomar
    Kirner, Raimund
    Rieder, Bernhard
    Puschner, Peter
    Communications in Computer and Information Science, 2009, 17 : 430 - 444
  • [8] Measurement-Based Timing Analysis
    Wenzel, Ingomar
    Kirner, Raimund
    Rieder, Bernhard
    Puschner, Peter
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 430 - 444
  • [9] PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis
    Cazorla, Francisco J.
    Abella, Jaume
    Andersson, Jan
    Vardanega, Tullio
    Vatrinet, Francis
    Bates, Iain
    Broster, Ian
    Azkarate-askasua, Mikel
    Wartel, Franck
    Cucu, Liliana
    Cros, Fabrice
    Farrall, Glenn
    Gogonel, Adriana
    Gianarro, Andrea
    Triquet, Benoit
    Hernandez, Carles
    Lo, Code
    Maxim, Cristian
    Morales, David
    Quinones, Eduardo
    Mezzetti, Enrico
    Kosmidis, Leonidas
    Aguirre, Irune
    Fernandez, Mikel
    Slijepcevic, Mladen
    Conmy, Philippa
    Talaboulma, Walid
    19TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2016), 2016, : 276 - 285
  • [10] PUB: Path Upper-Bounding for Measurement-Based Probabilistic Timing Analysis
    Kosmidis, Leonidas
    Abella, Jaume
    Wartel, Franck
    Quinones, Eduardo
    Colin, Antoine
    Cazorla, Francisco J.
    2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), 2014, : 276 - +
12345