令和5年度 秋期 エンベデッドシステムスペシャリスト試験 午前II 問19
テクノロジ基礎理論組込み・IoT数値表現・論理演算・符号理論組込み開発・安全設計
表の状態遷移に従って動作する組込みシステムがある。最初の状態が S0 の場合に，a → b → c → d → a の順序でイベントが発生すると，最後の状態が S4 になる。表の（＊）には同じ状態名が入るが，その状態名はどれか。
図の説明テキスト
| 状態＼イベント | a | b | c | d |
|---|---|---|---|---|
| S0 | S1 | S0 | S0 | S0 |
| S1 | S2 | (*) | S0 | S0 |
| S2 | S2 | S0 | S2 | (*) |
| S3 | S4 | S3 | S2 | S3 |
| S4 | S0 | S3 | S4 | S4 |
解答・解説
正解: ウ. S3
組込みシステムにおける状態遷移表を読み解く問題です。状態遷移表では、現在の状態と発生したイベントの組み合わせによって、次の状態が決定されます。
問題文の条件「最初の状態が S0 の場合に，a → b → c → d → a の順序でイベントが発生すると，最後の状態が S4 になる」を手がかりに、状態の遷移を順に追跡します。
- 初期状態 S0 でイベント a が発生し、次の状態へ遷移します。
- 続いてイベント b が発生します。S1 でイベント b のときの遷移先が表の （＊） です。
- 次にイベント c が発生し、（＊）の状態から遷移します。
- 続いてイベント d が発生し、遷移します。
- 最後にイベント a が発生し、最終的な状態が S4 になります。
これらの推移を矛盾なく満たすためには、イベント b で遷移した状態（＊）が S3 である必要があります。S3 からイベント c で S2、S2 からイベント d で（＊）の S3、S3 からイベント a で S4 に到達します。
各選択肢の解説
- ア（S1）: （＊）が S1 であると仮定した場合、その後のイベント c、d、a で S0 → S0 → S1 と遷移し、最終状態が S4 と一致しないため、誤りです。
- イ（S2）: （＊）が S2 であると仮定した場合、その後のイベント c、d、a で S2 → S2 → S2 と遷移し、最終状態が S4 と一致しないため、誤りです。
- ウ（S3）: S3 を経由することで、条件通り最終状態が S4 に到達します。したがって正解です。
- エ（S4）: （＊）が S4 であると仮定した場合、その後のイベント c、d、a で S4 → S4 → S0 と遷移し、最終状態が S4 と一致しないため、誤りです。