文献

J-GLOBAL ID：200902209209398131   整理番号：08A1182476

ビットエラー通信路におけるスケーラブルCANの動作解析

Behavior Analysis of Scalable CAN Protocol on a Bit-Error Channel

著者 (7件)： 鵜飼謙児 (名古屋大 大学院情報科学研究科) ,  坂部俊樹 (名古屋大 大学院情報科学研究科) ,  高田広章 (名古屋大 大学院情報科学研究科) ,  倉地亮 (名古屋大 大学院情報科学研究科) ,  酒井正彦 (名古屋大 大学院情報科学研究科) ,  草刈圭一朗 (名古屋大 大学院情報科学研究科) ,  西田直樹 (名古屋大 大学院情報科学研究科)
資料名： 電子情報通信学会技術研究報告  (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
巻： 108  号： 242(SS2008 27-38)  ページ： 61-66  発行年： 2008年10月09日 
JST資料番号： S0532B  ISSN： 0913-5685  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： スケーラブルCANプロトコルとは,従来のCAN(Controller Area Network)プロトコルを改良し,最高通信速度を10倍以上に高速化した通信プロトコルである。本論文では,スケーラブルCANプロトコルのビットエラー時における振る舞いをモデル検査の手法を用いて解析する。まず,エラーのない通信路上のスケーラブルCANプロトコルのモデルをSMV言語により記述し,記述したモデルが妥当であること,すなわち,所望の性質を有することをモデル検査ツールNuSMVを用いて検証する。次に,通信路をビットエラー通信路に置き換えたモデルで,再度,妥当性検証を行う。その結果として得られる反例を解析することによって,ビットエラー時にもスケーラブルCANプロトコルが正しく振る舞うように修正するための示唆を与える。(著者抄録)

シソーラス用語： *LAN【通信】 ,  通信方式 ,  *スケーラビリティ【計算機】 ,  プロトコル ,  モデル検査 ,  通信チャネル ,  誤り率 ,  動作分析 ,  検証 ,  車載機器
準シソーラス用語： *CAN ,  通信路 ,  ビットエラーレート ,  動作解析

分類 (1件)： 計算機網  (JC03000K)

引用文献 (5件)：

• 倉地亮. CANの高速化に関する研究. 情報処理学会研究報告 (組込みシステム). 2007, 2007, 121, 21-25
• NuSMV home page. http://nusmv.irst.itc.it/
• Robert Bosch GmbH. CAN Specification Version 2.0. http://www.semiconductors.bosch.de/pdf/can2spec.pdf
• HUTH, M. Logic in Computer Science : Modelling and Reasoning about Systems. 2004, 172-255
• CLARKE, E. M. Model Checking. 2000

タイトルに関連する用語 (4件)： ビットエラー ,  通信路 ,  Can ,  動作解析