Probabilistic Timing Analysis for the Dynamic Segment of FlexRay
2013 (English)In: 25th Euromicro Conference on Real-Time Systems (ECRTS), IEEE , 2013, 135-144 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
IEEE , 2013. 135-144 p.
, EUROMICRO Conference on Real-Time Systems, ISSN 1068-3070
Engineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-106540DOI: 10.1109/ECRTS.2013.24ISI: 000333895000014ISBN: 978-076955054-1OAI: oai:DiVA.org:liu-106540DiVA: diva2:716588
25th Euromicro Conference on Real-Time Systems (ECRTS), 9-12 July 2013, Paris