Probabilistic Timing Analysis for the Dynamic Segment of FlexRay

  title={Probabilistic Timing Analysis for the Dynamic Segment of FlexRay},
  author={Bogdan Tanasa and Unmesh D. Bordoloi and Petru Eles and Zebo Peng},
  journal={2013 25th Euromicro Conference on Real-Time Systems},
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 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… CONTINUE READING


Publications referenced by this paper.

Similar Papers

Loading similar papers…