|
ナカモト ユキカズ
Yukikazu Nakamoto
中本 幸一 所属 ノートルダム清心女子大学 情報デザイン学部 情報デザイン学科 職種 教授 |
|
| 言語種別 | 日本語 |
| 発行・発表の年月 | 2009/07/17 |
| 形態種別 | 研究論文（研究会，シンポジウム資料等） |
| 標題 | HAZOP分析によるソフトウェア異常動作検出条件の導出手法の提案と実装 |
| 執筆形態 | 共著 |
| 掲載誌名 | 研究報告組込みシステム（EMB） |
| 出版社・発行元 | 情報処理学会 |
| 巻・号・頁 | 2009(1),1-8頁 |
| 著者・共著者 | 日高 隆博,山崎 二三雄,中本 幸一,本田 晋也,高田 広章 |
| 概要 | 車載ソフトウェアの大規模化に伴って，従来型開発手法による安全性検証が困難となってきている．本研究では，安全性分析手法であるHAZOPを用いてソフトウェア異常検出条件を導出する手法について提案する．また，この異常検出条件を用いたソフトウェア異常監視機構について実装を行い，本手法の有効性について評価を行う．本手法は特にコンポーネント機構を用いたソフトウェアに対して有効であり，また，組込みソフトウェアの制約に合わせた監視条件の設定が容易であることを示す． |
| ISSN | 0919-6072 |
| NAID | 110007993124 |
| PermalinkURL | http://id.ndl.go.jp/bib/024768316 |
| researchmap用URL | http://id.nii.ac.jp/1001/00062556/ |