Paper Info
Title
Formal reliability analysis of switched ethernet automotive networks under transient transmission errors.
Abstract
Modern cars integrate a huge number of functionalities with high bandwidth, real-time, and reliability requirements. Ethernet offers the possibility to satisfy these bandwidth requirements and enables the usage of temporal redundancy mechanisms to increase the reliability of the communication network. In this paper, we present a lightweight formal analysis approach for the determination of the transmission reliability of messages in switched Ethernet networks under the influence of transient errors. In particular, this approach takes the interrelation between the individual message reliability and the timing behavior of the communication network into account. We present both a fast approach delivering a pessimistic safe reliability bound and a more sophisticated approach that results in a tighter yet still safe bound. The proposed approaches are compared by performing a design space exploration of an automotive communication network.
Year
DOI
Venue
2016
10.1145/2897937.2898026
DAC
Keywords
Field
DocType
Automotive Ethernet, Reliability Analysis, Transient Errors
Switched ethernet,Telecommunications network,Computer science,Computer network,Electronic engineering,Real-time computing,Ethernet,Redundancy (engineering),Bandwidth (signal processing),Jitter,Design space exploration,Automotive industry
Conference
ISBN
Citations 
PageRank 
978-1-4673-8730-9
2
0.37
References 
Authors
7
4
Name
Order
Citations
PageRank
Fedor Smirnov1114.01
Michael Glaß251045.33
Felix Reimann323115.04
Jürgen Teich42886273.54