ソフトとハードが混在したシステムの性能をシミュレーション――時間オートマトンプロセスモデルによる並行性能検証

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

[yumu19]

ふむ。