組込みシステムにおける消費エネルギー削減のためのスラック時間の活用(組込みシステム開発手法,組込み技術とネットワークに関するワークショップETNET2012)