liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Correlation-Aware Probabilistic Timing Analysis for the Dynamic Segment of FlexRay
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, Faculty of Science & Engineering.
2016 (English)In: ACM Transactions on Embedded Computing Systems, ISSN 1539-9087, E-ISSN 1558-3465, Vol. 15, no 3, 54:1-54:31 p.Article in journal (Refereed) Published
Abstract [en]

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 well as reformulating 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.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2016. Vol. 15, no 3, 54:1-54:31 p.
Keyword [en]
Automotive networks, correlations, deadline miss ratio, dynamic seg- ment, flexray, probabilistic analysis, timing analysis
National Category
Computer Science
Identifiers
URN: urn:nbn:se:liu:diva-128836DOI: 10.1145/2870635OAI: oai:DiVA.org:liu-128836DiVA: diva2:932518
Available from: 2016-06-01 Created: 2016-06-01 Last updated: 2016-06-16

Open Access in DiVA

No full text

Other links

Publisher's full texthttp://dl.acm.org/citation.cfm?id=2870635

Search in DiVA

By author/editor
Tanasa, BogdanBordoloi, Unmesh D.Eles, PetruPeng, Zebo
By organisation
Software and SystemsFaculty of Science & Engineering
In the same journal
ACM Transactions on Embedded Computing Systems
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 48 hits
ReferencesLink to record
Permanent link

Direct link