Hybrid Latency Minimization Approach using Model Checking and Dataflow Analysis
Guus Kuiper, Philip S. Kurtin, Marco J.G. Bekooij · 2017
Bounding the latency of real-time multiprocessor applications is crucial for safety-critical systems. Several approximative analysis approaches exist that can efficiently analyze the latency. However, these approaches produce pessimistic latency results and do not exploit buffer sizing nor exploit additional sequence constraints to reduce the latency. More accurate latency analysis results can be obtained using model checking of timed-automata, however, at the cost of a typically excessive run-time.