Probabilistic Priority Message Checking Modeling Based on Controller Area Networks

スポンサーリンク

概要

• 論文の詳細を見る

• 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.

• 2010-08-01

著者

• Lin Cheng-min

  Department Of Computer And Communication Engineering & Graduate Institute Of Electrical Engineer

関連論文

• Reliability Analysis and Modeling of ZigBee Networks
• Nested Interrupt Analysis of Low Cost and High Performance Embedded Systems Using GSPN Framework
• Probabilistic Priority Message Checking Modeling Based on Controller Area Networks
• Analysis and Modeling of a Priority Inversion Scheme for Starvation Free Controller Area Networks
• DIWSAN : Distributed Intelligent Wireless Sensor and Actuator Network for Heterogeneous Environment

スポンサーリンク