Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-018-0497-2 ◽

2018 ◽

Vol 21 (5) ◽

pp. 515-543 ◽

Author(s):

Martin Becker ◽

Ravindra Metta ◽

R. Venkatesh ◽

Samarjit Chakraborty

Keyword(s):

Model Checking ◽

Execution Time ◽

Precise Estimation ◽

Worst Case Execution Time

Download Full-text

A Model Checking Based Approach to Bounding Worst-Case Execution Time for Multicore Processors

ACM Transactions on Embedded Computing Systems ◽

10.1145/2331147.2331166 ◽

2012 ◽

Vol 11 (S2) ◽

pp. 1-19 ◽

Author(s):

Lan Wu ◽

Wei Zhang

Keyword(s):

Model Checking ◽

Execution Time ◽

Multicore Processors ◽

Worst Case Execution Time

Download Full-text

Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies

2009 21st Euromicro Conference on Real-Time Systems ◽

10.1109/ecrts.2009.8 ◽

2009 ◽

Author(s):

Raimund Kirner ◽

Albrecht Kadlec ◽

Peter Puschner

Keyword(s):

Execution Time ◽

Time Analysis ◽

Worst Case Execution Time

Download Full-text

The worst-case execution time tool challenge 2006

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-008-0095-9 ◽

2009 ◽

Vol 11 (2) ◽

pp. 133-152 ◽

Author(s):

Lili Tan

Keyword(s):

Execution Time ◽

Worst Case Execution Time

Download Full-text

A Survey on the Software and Hardware-Based Influences on the Worst-Case Execution Time

Advances on P2P, Parallel, Grid, Cloud and Internet Computing - Lecture Notes in Networks and Systems ◽

10.1007/978-3-030-61105-7_27 ◽

2020 ◽

pp. 271-281

Author(s):

Thomas Huybrechts ◽

Siegfried Mercelis ◽

Peter Hellinckx

Keyword(s):

Execution Time ◽

Worst Case Execution Time ◽

Software And Hardware

Download Full-text

Worst case execution time prediction by static program analysis

18th International Parallel and Distributed Processing Symposium, 2004. Proceedings. ◽

10.1109/ipdps.2004.1303088 ◽

2004 ◽

Author(s):

C. Ferdinand

Keyword(s):

Program Analysis ◽

Execution Time ◽

Static Program Analysis ◽

Time Prediction ◽

Worst Case Execution Time ◽

Execution Time Prediction

Download Full-text

Worst-Case Execution Time Analysis for Many-Core Architectures with NoC

Lecture Notes in Computer Science - Formal Modeling and Analysis of Timed Systems ◽

10.1007/978-3-319-44878-7_13 ◽

2016 ◽

pp. 211-227 ◽

Author(s):

Stefanos Skalistis ◽

Alena Simalatsar

Keyword(s):

Execution Time ◽

Time Analysis ◽

Worst Case Execution Time ◽

Download Full-text

Use of Measurements in Worst-Case Execution Time Estimation for Real-Time Systems

10.1109/sbesc53686.2021.9628230 ◽

2021 ◽

Author(s):

Jessica Junia Santillo Costa ◽

Romulo Silva de Oliveira ◽

Luis Fernando Arcaro

Keyword(s):

Real Time ◽

Execution Time ◽

Time Estimation ◽

Real Time Systems ◽

Worst Case Execution Time ◽

Download Full-text

Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification

Program Analysis and Compilation, Theory and Practice - Lecture Notes in Computer Science ◽

10.1007/978-3-540-71322-7_3 ◽

2007 ◽

pp. 53-81 ◽

Author(s):

Steffen Knapp ◽

Wolfgang Paul

Keyword(s):

Execution Time ◽

Time Analysis ◽

Worst Case Execution Time ◽

Pervasive System ◽

System Verification

Download Full-text

Static Worst-Case Execution Time Analysis Tool for Embedded Operating Systems

Computational Science and Its Applications – ICCSA 2008 - Lecture Notes in Computer Science ◽

10.1007/978-3-540-69839-5_58 ◽

2008 ◽

pp. 790-799

Author(s):

H. H. Park ◽

JiMan Hong ◽

S. M. Yang

Keyword(s):

Operating Systems ◽

Execution Time ◽

Analysis Tool ◽

Time Analysis ◽

Worst Case Execution Time ◽

Embedded Operating Systems

Download Full-text

A Functional Approach to Worst-Case Execution Time Analysis

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-22531-4_6 ◽

2011 ◽

pp. 86-103 ◽

Author(s):

Vítor Rodrigues ◽

Mário Florido ◽

Simão Melo de Sousa

Keyword(s):

Execution Time ◽

Functional Approach ◽

Time Analysis ◽

Worst Case Execution Time

Download Full-text