Analysis and Modeling of a Priority Inversion Scheme for Starvation Free Controller Area Networks
スポンサーリンク
概要
- 論文の詳細を見る
Control Area Network (CAN) development began in 1983 and continues today. The forecast for annual world production in 2008 is approximately 65-67 million vehicles with 10-15 CAN nodes per vehicle on average [1]. Although the CAN network is successful in automobile and industry control because the network provides low cost, high reliability, and priority messages, a starvation problem exists in the network because the network is designed to use a fixed priority mechanism. This paper presents a priority inversion scheme, belonging to a dynamic priority mechanism to prevent the starvation problem. The proposed scheme uses one bit to separate all messages into two categories with/without inverted priority. An analysis model is also constructed in this paper. From the model, a message with inverted priority has a higher priority to be processed than messages without inverted priority so its mean waiting time is shorter than the others. Two cases with and without inversion are implemented in our experiments using a probabilistic model checking tool based on an automatic formal verification technique. Numerical results demonstrate that low-priority messages with priority inversion have better expression in the probability in a full queue state than others without inversion. However, our scheme is very simple and efficient and can be easily implemented at the chip level.
論文 | ランダム
- 1 to 1 マーケティングと可変印刷 : 新たな可能性を拓くバリアブルデータプリンティング
- わが労働運動を顧みて
- Interview 言語学フロンティア(30)北野宏明(人工知能)
- 平和条約にもとづく財産委員会の総括-1-
- SPECIALIST INTERVIEW アリンダム・バッタチャヤ/ボストン コンサルティング グループ・ニューデリー事務所 パートナー&マネージング・ディレクター