Can I read Parametric WCET Analysis Techniques on EtoBox?

Parametric WCET Analysis Techniques by Gaurav Birajdar is a document available to read on EtoBox.

What is Parametric WCET Analysis Techniques about?

This document presents a technique for Parametric Worst-Case Execution Time (WCET) analysis that generates a formula representing WCET as a function of procedure arguments, allowing for tighter execution time bounds. The technique enables modular analysis by instantiating the WCET formula during the analysis process and supports on-line instantiation for adaptive real-time systems. The paper details the methodology, applications, and improvements over traditional WCET analysis approaches, emphasizing automa

Author

Gaurav Birajdar

Language

EN