令和6年度 秋期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問17

解説

ペトリネットモデルは，プレース（状態や資源）とトランジション（事象・遷移）及びトークンの流れによってシステムの振る舞いを表現するモデルであり，複数の事象が並行して生起する場合の同期や排他制御，資源の競合などを視覚的かつ厳密に表現できる点が特徴です。組込みシステムのように並行処理が多いシステムの要求仕様の記述に適しています。

選択肢ごとの解説

• ア誤り。E-R モデルは，データの実体（エンティティ）とその関連（リレーションシップ）を表現するモデルであり，並列に生起する事象間の同期を表現するものではありません。
• イ誤り。データフローモデルは，データの流れと処理の関係を表現するモデルであり，並列事象間の同期を表現することには適していません。
• ウ正しい。ペトリネットモデルは，プレースとトランジションによって，並列に生起する事象間の同期を表現できるソフトウェアの要求モデルです。
• エ誤り。有限状態機械モデルは，システムが取り得る状態とその遷移を表現するモデルであり，単一の状態遷移を表現するのには適していますが，並列に生起する複数事象間の同期を直接表現するのには適していません。