| 講演名 | 2013-10-24 組込みCISCアセンブリプログラムの記号モデル検査 渡邊 健太, チャン ヘジン, 櫻井 孝平, 山根 智, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 組込みシステムは年々大規模化・複雑化が進み,安全性・信頼性の検証はますます困難となっている.そのため,プログラムを漏れ無く検証できる有効な検証手法として,正しさを自動的に証明できる形式的検証手法が注目されている.本研究では,スタックオーバーフローや多重割り込みなど,ハードウェア依存の特性を持つ検証事項について有効なアセンブリプログラムの形式的検証手法を提案する. |
| 抄録(英) | The more complicated embedded systems are, the more difficult verification of safety and reliability is. Therefore, the formal verification, which can prove rightness automatically, attracts attention as an exhaustive verification method for programs. This research provides effective formal verification method of hardware-dependence, for example, stack overflow and multiplex interruption. |
| キーワード(和) | 組込みシステム / マイクロコントローラ / アセンブリプログラム / モデル検査 |
| キーワード(英) | Embedded System / Microcontroller / Assembly Program / Model Checking |
| 資料番号 | SS2013-36 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2013/10/17(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 組込みCISCアセンブリプログラムの記号モデル検査 |
| サブタイトル（和） | |
| タイトル（英） | Symbolic Model Checking of Embedded CISC Assembly Program |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 組込みシステム / Embedded System |
| キーワード(2)（和/英） | マイクロコントローラ / Microcontroller |
| キーワード(3)（和/英） | アセンブリプログラム / Assembly Program |
| キーワード(4)（和/英） | モデル検査 / Model Checking |
| 第 1 著者 氏名（和/英） | 渡邊 健太 / Kenta WATANABE |
| 第 1 著者 所属（和/英） | 金沢大学大学院自然科学研究科電子情報科学専攻 Division of Electrical Engineering and Computer Science, Graduate School of Natural Science and Technology, Kanazawa University |
| 第 2 著者 氏名（和/英） | チャン ヘジン / Hyejin JANG |
| 第 2 著者 所属（和/英） | 金沢大学大学院自然科学研究科電子情報科学専攻 Division of Electrical Engineering and Computer Science, Graduate School of Natural Science and Technology, Kanazawa University |
| 第 3 著者 氏名（和/英） | 櫻井 孝平 / Kohei SAKURAI |
| 第 3 著者 所属（和/英） | 金沢大学理工研究域電子情報科学系 Faculty of Electrical and Computer Engineering, Institute of Science and Engineering, Kanazawa University |
| 第 4 著者 氏名（和/英） | 山根 智 / Satoshi YAMANE |
| 第 4 著者 所属（和/英） | 金沢大学理工研究域電子情報科学系 Faculty of Electrical and Computer Engineering, Institute of Science and Engineering, Kanazawa University |
| 発表年月日 | 2013-10-24 |
| 資料番号 | SS2013-36 |
| 巻番号（vol） | vol.113 |
| 号番号（no） | 269 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |