組込み型ソフトウエア支援ツール「カプセルワークス」によるディジタル制御のDC/DCコンバータ設計方法

摘要

分散電源の開発が活発化している中で，「組込みソフトウエア」によるエネルギー制御の機会が増えている．しかし，「組込みソフトウエア」のバグは，装置の故障の原因となる．そのため，「組込みソフトウエア」の信頼性を高めることが大きな課題である．われわれは，信頼性向上のための理論とツールの研究を行っている．