| 講演名 | 2008-10-17 ビットエラー通信路におけるスケーラブルCANの動作解析 鵜飼 謙児, 坂部 俊樹, 高田 広章, 倉地 亮, 酒井 正彦, 草刈 圭一朗, 西田 直樹, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | スケーラブルCANプロトコルとは,従来のCAN (Controller Area Network)プロトコルを改良し,最高通信速度を10倍以上に高速化した通信プロトコルである.本論文では,スケーラブルCANプロトコルのビットエラー時における振る舞いをモデル検査の手法を用いて解析する.まず,エラーのない通信路上のスケーラブルCANプロトコルのモデルをSMV言語により記述し,記述したモデルが妥当であること,すなわち,所望の性質を有することをモデル検査ツールNuSMVを用いて検証する.次に,通信路をビットエラー通信路に置き換えたモデルで,再度,妥当性検証を行う.その結果として得られる反例を解析することによって,ビットエラー時にもスケーラブルCANプロトコルが正しく振る舞うように修正するための示唆を与える. |
| 抄録(英) | Scalable CAN protocol is an improvement of the original CAN (Controller Area Network) protocol so that more than ten times higher speed communication is available. In this paper, we analyze behavior of Scalable CAN on a bit-error channel by using a model checking tool, NuSMV. We first describe in the SMV language a model of Scalable CAN on an error free channel and specifications which express desired properties of Scalable CAN. We verify by using NuSMV that this model satisfies the specifications. We next modify the model by replacing the error free channel with a bit-error channel. Model checking of the modified model for the specifications produces a counter example. We analyze the counter example and give suggestions for correcting Scalable CAN on a bit-error channel. |
| キーワード(和) | スケーラブルCAN / モデル検査 / 動作解析 |
| キーワード(英) | Scalable CAN / Model Checking / Behavior Analysis |
| 資料番号 | SS2008-37 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2008/10/9(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ビットエラー通信路におけるスケーラブルCANの動作解析 |
| サブタイトル（和） | |
| タイトル（英） | Behavior Analysis of Scalable CAN Protocol on a Bit-Error Channel |
| サブタイトル（和） | |
| キーワード(1)（和/英） | スケーラブルCAN / Scalable CAN |
| キーワード(2)（和/英） | モデル検査 / Model Checking |
| キーワード(3)（和/英） | 動作解析 / Behavior Analysis |
| 第 1 著者 氏名（和/英） | 鵜飼 謙児 / Kenji UKAI |
| 第 1 著者 所属（和/英） | 名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University |
| 第 2 著者 氏名（和/英） | 坂部 俊樹 / Toshiki SAKABE |
| 第 2 著者 所属（和/英） | 名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University |
| 第 3 著者 氏名（和/英） | 高田 広章 / Hiroaki TAKADA |
| 第 3 著者 所属（和/英） | 名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University |
| 第 4 著者 氏名（和/英） | 倉地 亮 / Ryo KURACHI |
| 第 4 著者 所属（和/英） | 名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University |
| 第 5 著者 氏名（和/英） | 酒井 正彦 / Masahiko SAKAI |
| 第 5 著者 所属（和/英） | 名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University |
| 第 6 著者 氏名（和/英） | 草刈 圭一朗 / Keiichirou KUSAKARI |
| 第 6 著者 所属（和/英） | 名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University |
| 第 7 著者 氏名（和/英） | 西田 直樹 / Naoki NISHIDA |
| 第 7 著者 所属（和/英） | 名古屋大学大学院情報科学研究科 Graduate School of Information Science, Nagoya University |
| 発表年月日 | 2008-10-17 |
| 資料番号 | SS2008-37 |
| 巻番号（vol） | vol.108 |
| 号番号（no） | 242 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |