Probabilistic Timing Analysis for the Dynamic Segment of FlexRay
25th Euromicro Conference on Real-Time Systems (ECRTS 2013), Paris, ECE, France, July 9-12, 2013, pp. 135-144.
ABSTRACT
We propose an analytical framework for probabilistic timing analysis of the event-triggered Dynamic segment of the FlexRay communication protocol. Specifically, our framework computes the Deadline Miss Ratios 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.
[TDEP13] Bogdan Tanasa, Unmesh Dutta Bordoloi, Petru Eles, Zebo Peng, "Probabilistic Timing Analysis for the Dynamic Segment of FlexRay", 25th Euromicro Conference on Real-Time Systems (ECRTS 2013), Paris, ECE, France, July 9-12, 2013, pp. 135-144. |
|
