ハードウェア異常に対応した組込み制御ソフトウェア不具合のモデル検査手法

摘要

組込み制御システムではソフトウェア規模の増大により，処理タイミングによりごくまれに発生する不具合がシミュレーション等のテストでは発見できずに潜在する恐れが高まっている．このような不具合を検出するため，非定常の挙動を含む外部環境モデルと，外部環境との境界調整が容易なソフトウェアのスライシング方式を適用してモデル検査を行う手法を考案した．本手法を自動車用ソフトウェアの非再現不具合の原因調査に適用して不具合要因を発見し，本手法の有効性を確認した．