Static Worst-Case Execution Time Analysis of Synchronous Programs

Reliable Software Technologies Ada-Europe 2000 - Lecture Notes in Computer Science ◽

10.1007/10722060_8 ◽

2000 ◽

pp. 56-68 ◽

Author(s):

Thomas Ringler

Keyword(s):

Execution Time ◽

Time Analysis ◽

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

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

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

Fully automatic worst-case execution time analysis for MATLAB/Simulink models

Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002 ◽

10.1109/emrts.2002.1019183 ◽

2003 ◽

Author(s):

R. Kirner ◽

R. Lang ◽

G. Freiberger ◽

P. Puschner

Keyword(s):

Execution Time ◽

Time Analysis ◽

Matlab Simulink ◽

Worst Case Execution Time ◽

Fully Automatic

Download Full-text

Worst-Case Execution Time Analysis at Low Cost

IFAC Proceedings Volumes ◽

10.1016/s1474-6670(17)42661-9 ◽

1997 ◽

Vol 30 (15) ◽

pp. 17-22

Author(s):

Peter Puschner

Keyword(s):

Execution Time ◽

Low Cost ◽

Time Analysis ◽

Worst Case Execution Time

Download Full-text

Testing the results of static worst-case execution-time analysis

Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279) ◽

10.1109/real.1998.739738 ◽

2002 ◽

Author(s):

P. Puschner ◽

R. Nossal

Keyword(s):

Execution Time ◽

Time Analysis ◽

Worst Case Execution Time

Download Full-text

Using global data flow analysis on bytecode to aid worst case execution time analysis for real-time Java programs

Proceedings of the 6th international workshop on Java technologies for real-time and embedded systems - JTRES '08 ◽

10.1145/1434790.1434806 ◽

2008 ◽

Author(s):

James J. Hunt ◽

Isabel Tonin ◽

Fridtjof B. Siebert

Keyword(s):

Real Time ◽

Execution Time ◽

Data Flow ◽

Flow Analysis ◽

Time Analysis ◽

Data Flow Analysis ◽

Worst Case Execution Time ◽

Java Programs ◽

Download Full-text

Worst case execution time analysis for synthesized hardware

Asia and South Pacific Conference on Design Automation, 2006. ◽

10.1145/1118299.1118503 ◽

2006 ◽

Author(s):

Jun-hee Yoo ◽

Xingguang Feng ◽

Kiyoung Choi ◽

Eui-young Chung ◽

Kyu-Myung Choi

Keyword(s):

Execution Time ◽

Time Analysis ◽

Worst Case Execution Time

Download Full-text