Improving the Performance of WCET Analysis in the Presence of Variable Latencies

The 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems ◽

10.1145/3372799.3394371 ◽

2020 ◽

Author(s):

Zhenyu Bai ◽

Hugues Cassé ◽

Marianne De Michiel ◽

Thomas Carle ◽

Christine Rochange

Keyword(s):

Download Full-text

Methodologies for the WCET Analysis of Parallel Applications on Many-Core Architectures

2015 Euromicro Conference on Digital System Design ◽

10.1109/dsd.2015.105 ◽

2015 ◽

Author(s):

Vincent Nelis ◽

Patrick Meumeu Yomsi ◽

Luis Miguel Pinho

Keyword(s):

Parallel Applications ◽

Wcet Analysis ◽

Download Full-text

Symbolic state traversal for WCET analysis

Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09 ◽

10.1145/1629335.1629354 ◽

2009 ◽

Author(s):

Stephan Wilhelm ◽

Björn Wachter

Keyword(s):

Download Full-text

Optimization of Multi-core Interconnection for WCET Analysis in Automotive Application

2012 Fourth International Conference on Computational Intelligence and Communication Networks ◽

10.1109/cicn.2012.155 ◽

2012 ◽

Author(s):

Zhou Xuewen ◽

Jiang Jiang ◽

Liu Ting ◽

Han Xing

Keyword(s):

Automotive Application ◽

Download Full-text

Precise micro-architectural modeling for WCET analysis via AI+SAT

2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS) ◽

10.1109/rtas.2013.6531082 ◽

2013 ◽

Author(s):

A. Banerjee ◽

S. Chattopadhyay ◽

A. Roychoudhury

Keyword(s):

Wcet Analysis ◽

Architectural Modeling

Download Full-text

Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis

2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) ◽

10.1109/rtas.2016.7461326 ◽

2016 ◽

Author(s):

Thomas Sewell ◽

Felix Kam ◽

Gernot Heiser

Keyword(s):

Wcet Analysis ◽

Download Full-text

Experiences from Applying WCET Analysis in Industrial Settings

10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) ◽

10.1109/isorc.2007.36 ◽

2007 ◽

Author(s):

Jan Gustafsson ◽

Andreas Ermedahl

Keyword(s):

Wcet Analysis ◽

Industrial Settings

Download Full-text

Unified Cache Modeling for WCET Analysis and Layout Optimizations

2009 30th IEEE Real-Time Systems Symposium ◽

10.1109/rtss.2009.20 ◽

2009 ◽

Author(s):

Sudipta Chattopadhyay ◽

Abhik Roychoudhury

Keyword(s):

Wcet Analysis ◽

Download Full-text

Symbolic Loop Bound Computation for WCET Analysis

Perspectives of Systems Informatics - Lecture Notes in Computer Science ◽

10.1007/978-3-642-29709-0_20 ◽

2012 ◽

pp. 227-242 ◽

Author(s):

Jens Knoop ◽

Laura Kovács ◽

Jakob Zwirchmayr

Keyword(s):

Wcet Analysis ◽

Download Full-text

Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints

Advances in Real-Time Systems ◽

10.1007/978-3-642-24349-3_6 ◽

2011 ◽

pp. 123-143 ◽

Author(s):

Reinhard Wilhelm ◽

Philipp Lucas ◽

Oleg Parshin ◽

Lili Tan ◽

Björn Wachter

Keyword(s):

Input Constraints ◽

Wcet Analysis ◽

Flow Constraints

Download Full-text

WCET analysis of static NUCA caches

2014 IEEE 33rd International Performance Computing and Communications Conference (IPCCC) ◽

10.1109/pccc.2014.7017093 ◽

2014 ◽

Author(s):

Yiqiang Ding ◽

Wei Zhang

Keyword(s):

Download Full-text