| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2010-08-05 14:15 モバイルFeliCa ICチップ開発におけるSPINを用いたモデル検査による品質確保 ○只野賢二・栗田太郎（フェリカネットワークス）  SS2010-21 |
|
| 抄録 | （和） | モバイル FeliCa IC チップのファームウェアの品質向上手法として,モデル検査器である SPIN を用いて, C 言語で記述したソースコードの検査を行った.本稿では,検査プロセス,検査モデルの設計・実装の方法,検査の成果に加えて,モデル検査手法の学習方法,導入の有効性,課題および今後の展望を報告する. |
| （英） | We applied SPIN model checker to C source code as a quality assurance method for Mobile FeliCa IC chip firmware. In this paper, we explain testing process, design and implementation method of test model, and test result. Also, innovation method of Model-checking, its validity, current challenge and future prospect is reported based on it. | |
| キーワード | （和） | モデル検査 / 組み込み / Promela / SPIN / / / / |
| （英） | model checking / embedded software / Promela / SPIN / / / / | |
| 文献情報 | 信学技報, vol. 110, no. 169, SS2010-21, pp. 29-34, 2010年8月. | |
| 資料番号 | SS2010-21 | |
| 発行日 | 2010-07-29 (SS) | |
| ISSN | Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2010-21 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2010-08-05 - 2010-08-06 |
| 開催地（和） | 旭川市民文化会館 |
| 開催地（英） | Asahikawa Shimin-Bunka-Kaikan (Civic Culture Hall) |
| テーマ（和） | 一般 |
| テーマ（英） | General |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2010-08-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | モバイルFeliCa ICチップ開発におけるSPINを用いたモデル検査による品質確保 |
| サブタイトル（和） | |
| タイトル（英） | Quality Assurance by Using SPIN Model Checker in Mobile FeliCa IC Chip Development |
| サブタイトル（英） | |
| キーワード(1)（和/英） | モデル検査 / model checking |
| キーワード(2)（和/英） | 組み込み / embedded software |
| キーワード(3)（和/英） | Promela / Promela |
| キーワード(4)（和/英） | SPIN / SPIN |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 只野 賢二 / Kenji Tadano / タダノ ケンジ |
| 第1著者 所属（和/英） | フェリカネットワークス株式会社 (略称： フェリカネットワークス) FeliCa Networks, inc. (略称： FeliCa Networks) |
| 第2著者 氏名（和/英/ヨミ） | 栗田 太郎 / Taro Kurita / クリタ タロウ |
| 第2著者 所属（和/英） | フェリカネットワークス株式会社 (略称： フェリカネットワークス) FeliCa Networks, inc. (略称： FeliCa Networks) |
| 講演者 | 第1著者 |
| 発表日時 | 2010-08-05 14:15:00 |
| 発表時間 | 30分 |
| 申込先研究会 | SS |
| 資料番号 | SS2010-21 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | no.169 |
| ページ範囲 | pp.29-34 |
| ページ数 | 6 |
| 発行日 | 2010-07-29 (SS) |
[研究会発表申込システムのトップページに戻る]