검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

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

Probabilistic Priority Message Checking Modeling Based on Controller Area Networks 컨트롤러 영역 네트워크 기반의 확률적 우선순위 메시지 확인 모델링

Cheng-Min LIN

  • 조회수

    0

  • 이것을 인용

요약 :

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

발행
IEICE TRANSACTIONS on Communications Vol.E93-B No.8 pp.2171-2175
발행일
2010/08/01
공개일
온라인 ISSN
1745-1345
DOI
10.1587/transcom.E93.B.2171
원고의 종류
LETTER
범주
커뮤니케이션의 기본 이론

작성자

키워드