8th Workshop on Critical Software (WOCS) 18-19 January 2011 検出漏れのない割込み干渉検出システムの開発 (株)豊田中央研究所 安全・情報システム研究部 稲森 豊 アイシン精機(株) ソフトウェアセンター 山田信幸 8th Workshop on Critical Software (WOCS) 18-19 January 2011 概要 テストでは発見困難な不具合要因である割込み干渉について Cソースコード作成段階で自動検出するシステムを開発した 目次 1. 割込み干渉とは 2. システム開発の目的 3. 割込み干渉検出手法の概要 4. 割込み干渉検出手法の詳細 5. システム開発と評価 6. おわりに 検出漏れのない割込み干渉検出システムの開発 車載ソフトウェアにおける割込み処理 3/28 サスペンション制御 ブレーキ制御 エン