著者

青木 利晃 佐藤 信 谷 充弘 矢竹 健朗

雑誌

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

巻号頁・発行日

vol.2012, pp.178-187, 2012-10-10

---

車載ソフトウェアの安全性や信頼性に関する問題は,社会において非常に大きな関心となりつつある.最近では,車載システムに特化された機能安全の世界標準も策定されており,実社会では,トヨタ車の電子スロットル制御システムの検証が NASA により実施されたという事案も生じている.このような問題を背景に,我々は,車載オペレーティングシステムの検証手法の研究と実践を行っている.我々が対象としている OS は, OSEK/VDX に準拠するものである.本論文では,モデル検査とテスト手法を組み合わせて,設計検証から実装のテストまでシームレスに検証を行う手法,および,実際の製品への適用について紹介する.