Probabilistic Priority Message Checking Modeling Based on Controller Area Networks

Cheng-Min LIN

IEICE TRANSACTIONS on Communications   Vol.E93-B    No.8    pp.2171-2175
Publication Date: 2010/08/01
Online ISSN: 1745-1345
DOI: 10.1587/transcom.E93.B.2171
Print ISSN: 0916-8516
Type of Manuscript: LETTER
Category: Fundamental Theories for Communications
modelling,  simulation,  priority queueing,  Markov chains,  probabilistic model checking and controller area networks,  

Full Text: PDF>>
Buy this Article

Although the probabilistic model checking tool called PRISM has been applied in many communication systems, such as wireless local area network, Bluetooth, and ZigBee, the technique is not used in a controller area network (CAN). In this paper, we use PRISM to model the mechanism of priority messages for CAN because the mechanism has allowed CAN to become the leader in serial communication for automobile and industry control. Through modeling CAN, it is easy to analyze the characteristic of CAN for further improving the security and efficiency of automobiles. The Markov chain model helps us to model the behaviour of priority messages.