令和4年度 秋期 午前Ⅱ 問22
設計
イベントの発生順序
次の状態遷移図に従って動作する組込みシステムがある。最初の状態が S0 の場合に，最後の状態が S4 になるイベントの発生順序はどれか。ここで，白丸は状態，白丸内の文字列は状態名，状態間の矢印は遷移方向，矢印に付されたラベルは状態遷移の条件となるイベントを表すものとする。
状態遷移図:
S0 → (a) → S1 S0 → (b，c，d) → S0 S1 → (a) → S2 S1 → (b) → S3 S1 → (c，d) → S0 S2 → (d) → S0 S2 → (a，b，c) → S2 S3 → (b，c) → S4 S3 → (a，d) → S3 S4 → (a) → S0 S4 → (b) → S4 S4 → (c，d) → S3
- アa → b → c → d → a
- イb → c → d → a → b
- ウc → d → a → b → c
- エd → a → b → c → d
答えと解説を見る
✓ これが正解ウc → d → a → b → c
解説
c、d、a、b、cの順に遷移を追うと、最後にS4に着きます。
状態遷移図をS0から一つずつ追い、最後の状態を確かめます。S4へ入る遷移は、S3でbかcを受けたときだけです。S3へ入るにはS1でbを受ける必要があり、S1へはS0でaを受けて進みます。つまりS0から、a、b、そしてbかc、という並びが必要です。c→d→a→b→cの順で追うと、S0でcとdを受けてもS0のまま、続くaでS1、bでS3、最後のcでS4に移ります。最後がS4になるのはこの順序です。到達したい状態から逆向きに、どのイベントが必要かを先に調べておくと、追う手間を減らせます。
ほかの選択肢はなぜ違うのか
- アa → b → c → d → a：a→b→c→d→aの順では、aでS1、bでS3、cでS4まで進みますが、S4でdを受けるとS3に戻り、最後のaではS3に留まります。途中でS4に着いても、最後の状態はS3です。
- イb → c → d → a → b：b→c→d→a→bの順では、b、c、dの間はS0のままで、aでS1、最後のbでS3に移ったところで終わります。S4に入るにはS3でさらにbかcが必要なので、届きません。
- エd → a → b → c → d：d→a→b→c→dの順では、dでS0のまま、aでS1、bでS3、cでS4と進みますが、最後のdでS4からS3に戻ります。最後の状態はS4ではなくS3です。
出典：令和4年度 秋期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問22
この解説に誤りを見つけたら教えてください。直して、直した記録を残します。誤りを報告する（メールが開きます）