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

20.02.2018 08:22
=======================================

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

https://plus.google.com/106218564410864892476
February 20, 2018 at 04:22PM