検出漏れの無い割込み干渉検出システムの開発

抄録

割込み処理を多用する車載制御ソフトウェアでの割込み干渉（割込み処理に起因するデータ競合）の未然防止対策として、ソフトウェア実装工程で開発されるCプログラムを対象に、割込み干渉の発生箇所を検出するためのシステムについて紹介する。