ロボットコンテストを利用した組込みシステム教育フレームワークに関する考察 (ディペンダブルコンピューティング) -- (組込み技術とネットワークに関するワークショップETNET2018)