liu.seSök publikationer i DiVA
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Correlation-Aware Probabilistic Timing Analysis for the Dynamic Segment of FlexRay
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
2016 (Engelska)Ingår i: ACM Transactions on Embedded Computing Systems, ISSN 1539-9087, E-ISSN 1558-3465, Vol. 15, nr 3, s. 54:1-54:31Artikel i tidskrift (Refereegranskat) 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.

Ort, förlag, år, upplaga, sidor
Association for Computing Machinery (ACM), 2016. Vol. 15, nr 3, s. 54:1-54:31
Nyckelord [en]
Automotive networks, correlations, deadline miss ratio, dynamic seg- ment, flexray, probabilistic analysis, timing analysis
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:liu:diva-128836DOI: 10.1145/2870635ISI: 000381422700015OAI: oai:DiVA.org:liu-128836DiVA, id: diva2:932518
Tillgänglig från: 2016-06-01 Skapad: 2016-06-01 Senast uppdaterad: 2018-01-10

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltexthttp://dl.acm.org/citation.cfm?id=2870635

Personposter BETA

Tanasa, BogdanBordoloi, Unmesh D.Eles, PetruPeng, Zebo

Sök vidare i DiVA

Av författaren/redaktören
Tanasa, BogdanBordoloi, Unmesh D.Eles, PetruPeng, Zebo
Av organisationen
Programvara och systemTekniska fakulteten
I samma tidskrift
ACM Transactions on Embedded Computing Systems
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 126 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf