bogta_ECRTS13

Probabilistic Timing Analysis for the Dynamic Segment of FlexRay

Bogdan Tanasa
 
Unmesh Dutta Bordoloi
Petru Eles Author homepage
 
Zebo Peng Author homepage

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.


Related files:
bogta_ECRTS13.pdfAdobe Acrobat portable document


[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.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)
Last modified on Monday December 04, 2006 by Gert Jervan