> 実際のプログラムの大枠のステータス遷移に影響をおよぼす理由までいきついてないんだけど。

ステータス遷移だけの問題だと考えるためには、「ブラックボックス」部分が
正常だという前提が必要です。

アプリ系の人は、「ブラックボックス」部分に間違いがあるとは
考えない傾向が強いと思います。（例えば、パソコンの
電気・電子回路ですら、タイミングによって不具合が発生する可能性がある）

一方、組み込み系の人は、「ブラックボックス」部分にどうしても意識が
向いてしまう傾向が強いのではないかと。

最初に注目する部分が違っているわけですが、実際のところ、
どちらに問題があるのか、それとも両方なのか、それを
外部から見て取るのは難しいのではないか、と思います。

今回のエレベータにしても、ステート問題の扱い方がまずかった可能性もあれば、
前提としての「ブラックボックス」が想定外の動作をした可能性もある、
と考えられないでしょうか？