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
Bien que l'outil de vérification de modèle probabiliste appelé PRISM ait été appliqué dans de nombreux systèmes de communication, tels que les réseaux locaux sans fil, Bluetooth et ZigBee, la technique n'est pas utilisée dans un réseau de zone de contrôleur (CAN). Dans cet article, nous utilisons PRISM pour modéliser le mécanisme des messages prioritaires pour CAN car ce mécanisme a permis à CAN de devenir le leader de la communication série pour le contrôle automobile et industriel. Grâce à la modélisation CAN, il est facile d'analyser les caractéristiques de CAN pour améliorer encore la sécurité et l'efficacité des automobiles. Le modèle de chaîne de Markov nous aide à modéliser le comportement des messages prioritaires.
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.
Copier
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
Copier
@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},}
Copier
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 -