The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
Walaupun alat semakan model probabilistik yang dipanggil PRISM telah digunakan dalam banyak sistem komunikasi, seperti rangkaian kawasan setempat tanpa wayar, Bluetooth dan ZigBee, teknik ini tidak digunakan dalam rangkaian kawasan pengawal (CAN). Dalam makalah ini, kami menggunakan PRISM untuk memodelkan mekanisme mesej keutamaan untuk CAN kerana mekanisme tersebut telah membolehkan CAN menjadi peneraju dalam komunikasi bersiri untuk kawalan automobil dan industri. Melalui pemodelan CAN, adalah mudah untuk menganalisis ciri-ciri CAN untuk meningkatkan lagi keselamatan dan kecekapan kereta. Model rantai Markov membantu kami memodelkan gelagat mesej keutamaan.
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Salinan
Cheng-Min LIN, "Probabilistic Priority Message Checking Modeling Based on Controller Area Networks" in IEICE TRANSACTIONS on Communications,
vol. E93-B, no. 8, pp. 2171-2175, August 2010, doi: 10.1587/transcom.E93.B.2171.
Abstract: 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.
URL: https://global.ieice.org/en_transactions/communications/10.1587/transcom.E93.B.2171/_p
Salinan
@ARTICLE{e93-b_8_2171,
author={Cheng-Min LIN, },
journal={IEICE TRANSACTIONS on Communications},
title={Probabilistic Priority Message Checking Modeling Based on Controller Area Networks},
year={2010},
volume={E93-B},
number={8},
pages={2171-2175},
abstract={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.},
keywords={},
doi={10.1587/transcom.E93.B.2171},
ISSN={1745-1345},
month={August},}
Salinan
TY - JOUR
TI - Probabilistic Priority Message Checking Modeling Based on Controller Area Networks
T2 - IEICE TRANSACTIONS on Communications
SP - 2171
EP - 2175
AU - Cheng-Min LIN
PY - 2010
DO - 10.1587/transcom.E93.B.2171
JO - IEICE TRANSACTIONS on Communications
SN - 1745-1345
VL - E93-B
IS - 8
JA - IEICE TRANSACTIONS on Communications
Y1 - August 2010
AB - 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.
ER -