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

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

Calculation of worst-case execution time for multicore processors using deterministic execution

2015 25th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS) ◽

10.1109/patmos.2015.7347584 ◽

2015 ◽

Author(s):

Hamid Mushtaq ◽

Zaid Al-Ars ◽

Koen Bertels

Keyword(s):

Execution Time ◽

Multicore Processors ◽

Worst Case Execution Time

Download Full-text

Accurate and efficient identification of worst-case execution time for multicore processors: A survey

2013 8th IEEE Design and Test Symposium ◽

10.1109/idt.2013.6727080 ◽

2013 ◽

Author(s):

Hamid Mushtaq ◽

Zaid Al-Ars ◽

Koen Bertels

Keyword(s):

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