Correlation Aware Probabilistic Timing Analysis for the Dynamic Segment of FlexRay
Transactions on Embedded Computing Systems
We propose an analytical framework for probabilistic timing analysis of the event-triggered Dynamic seg- ment of the FlexRay communication protocol. Specifically, our framework computes the Deadline Miss Ratio of each message. The core problem is formulated as a Mixed Integer Linear Program (MILP). Given the intractability of the problem, we also propose several techniques that help to mitigate the running times of our tool. This includes the re-engineering of the problem to run it on GPUs as well as re-formulating the MILP itself. Most importantly, we also show how our framework can handle correlations between the queuing events of messages. This is challenging because one cannot apply the convolution operator in the same way as in the case of independent queuing events.
[TDEP15] Bogdan Tanasa, Unmesh D Bordoloi, Petru Eles, Zebo Peng, "Correlation Aware Probabilistic Timing Analysis for the Dynamic Segment of FlexRay", Transactions on Embedded Computing Systems