著者

日高 隆博 山崎 二三雄 中本 幸一 本田 晋也 高田 広章

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2009-EMB-14, no.1, pp.1-8, 2009-07-17

---

車載ソフトウェアの大規模化に伴って,従来型開発手法による安全性検証が困難となってきている.本研究では,安全性分析手法であるHAZOPを用いてソフトウェア異常検出条件を導出する手法について提案する.また,この異常検出条件を用いたソフトウェア異常監視機構について実装を行い,本手法の有効性について評価を行う.本手法は特にコンポーネント機構を用いたソフトウェアに対して有効であり,また,組込みソフトウェアの制約に合わせた監視条件の設定が容易であることを示す.