著者

山口 智也 足立 憲保 加賀 智之 大桑 芳宏

雑誌

組込みシステムシンポジウム2012論文集

巻号頁・発行日

vol.2012, pp.188-196, 2012-10-10

---

近年、自動車制御システムに対する要求は益々高くなってきており、それを実現する制御ソフトウェアの大規模・複雑化が避けられない状況である。一方で、制御ソフトウェアの開発期間の短縮が望まれており、高い品質を維持しつつ、これに対応する為には、開発プロセスの効率化が必須である。筆者らはソフトウェア要求の検証にモデル検査を導入し、網羅的な検査を実施することで、開発プロセスを効率化することを目指している。本稿では、自動車制御ソフトウェア開発プロセスへのモデル検査の適用に向けて、検証ツール開発の取り組み、モデル検査の自動車制御ソフトウェアへの適用事例とツールによるモデル検査の実施時間の低減効果について述べる。