社会人エンジニア向けの教育プログラム「トップエスイー」から、エンジニアの皆さんに対して有用な情報をお届けするコーナーです。IoTデバイスが広く使われるにしたがって、ハードウェアはさまざまな機能を持つようになりました。デバイスを含めたシステム全体では、ソフトウェアだけでなく、ハードウェアも含めた並行動作が随所で発生します。筆者はこうした並列システムにおいて、必要な性能を発揮できているのか検証するモデル検証を修了制作で実施しました。その結果をもとに、並行システムでの設計の難しい部分をモデル化で解決するための手法を紹介しましょう。