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

トップエスイーからのアウトカム～ソフトウェア工学の現場から第9回

2018/02/20 14:00

目次
Page1 ハードウェアを巻き込んだソフトウェア開発ハードウェアアクセラレーションとは？事前性能検証の重要性ハードウェアが絡む並行システムの性能検証システム検証を行うツール「UPPAAL」ソフトウェアとハードウェアのモデル化
Page2 時間オートマトンプロセスモデルとして性能検証するシミュレータとモデル作成支援機能を持つ「P3S」について
Page3 P3Sを使った検証実験の結果 Mbedによる実機並行システム P3Sによる並行システムのモデル化実機とP3Sでのシミュレーション結果との違い設計プロセスにモデル化による検証を組み入れる

※この続きは、会員の方のみお読みいただけます（登録無料）。

著者プロフィール

杉本駿（キヤノン株式会社）（スギモトシュン）

　デジタルシステム開発本部通信システム開発センター所属。2016年度第11期生としてトップエスイーを受講。組み込み開発の現場で、ソフトウェアと抽象化したハードウェアモデルを用いた上流工程での性能検証に従事。

連載:トップエスイーからのアウトカム～ソフトウェア工学の現場から