著者

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

雑誌

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

巻号頁・発行日

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

---

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

著者

関 文貴 日高 隆博 山本 晋一郎 小林 隆志 手嶋 茂晴 阿草 清滋

雑誌

研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.2010-SE-167, no.27, pp.1-9, 2010-03-11

---

車載ソフトウェアでは,コストの観点から浮動小数点演算を用いることができず,アルゴリズムを固定小数点演算で実装しなけれならないことが多い.実数演算を取り扱うアルゴリズムを固定小数点演算へ変換する作業は非常に労力を必要とする.そこで,本論文では浮動小数点演算で記述されたソフトウェアを固定小数点演算へ変換するための手法の提案と自動で変換を行うためのツール開発を行う.