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
PRISM이라는 확률적 모델 확인 도구는 무선 근거리 통신망, Bluetooth, ZigBee 등 많은 통신 시스템에 적용되어 왔지만, CAN(Controller Area Network)에서는 이 기술이 사용되지 않습니다. 본 논문에서는 PRISM을 사용하여 CAN의 우선순위 메시지 메커니즘을 모델링합니다. 그 이유는 이 메커니즘을 통해 CAN이 자동차 및 산업 제어용 직렬 통신의 선두주자가 될 수 있기 때문입니다. CAN 모델링을 통해 CAN의 특성을 쉽게 분석하여 자동차의 보안성과 효율성을 더욱 향상시킬 수 있습니다. Markov 체인 모델은 우선순위 메시지의 동작을 모델링하는 데 도움이 됩니다.
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.
부
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
부
@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},}
부
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 -