Timing Analysis for Real-time Systems

Jun 1, 2016

In Real-time systems, e.g. automobiles, aircrafts, space shuttles, robots, etc. programs are executed in response to external stimuli and must finish their execution before fixed deadlines to ensure correct behavior. Hence, Worst Case Execution Time (WCET) becomes a very important correctness criterion for programs running on real-time systems. In this project, we proposed static analysis techniques to determine the WCET of programs, chiefly focusing on the impact of caches on timing of programs.

Representative Publications

  1. Refining Cache Behaviour Prediction using Cache Miss Paths. Kartik Nagar and YN Srikant. TECS 17

  2. Fast and Precise Worst Case Interference Placement for Shared Cache Analysis. Kartik Nagar and YN Srikant. TECS 16

  3. Path-sensitive Cache Analysis using Cache Miss Paths. Kartik Nagar and YN Srikant. VMCAI 15

  4. Precise Shared Cache Analysis using Optimal Interference Placement. Kartik Nagar and YN Srikant. RTAS 14

  5. Interdependent Cache Analyses for better Precision and Safety. Kartik Nagar and YN Srikant. MEMOCODE 12