>>436
＞そんなこと言ったら組み込み屋だって「回路や電気系統は間違いなく動作する」
＞という前提でプログラム作ってるだろが！

命に関わるようなものは、少なくとも（外的要因etc.で）予想し得る誤動作は
起こり得るという前提で設計するもんだと思うが？

＞checkOpenDoorやcheckCloseDoorが正常に動くか動かないか？
まぁ、そう理解してもいいけど、何故正常に動かなかったのか？
を言ってるもんだと思ってた訳だが違うのか？

単純に考えても↓みたいな、ことがありうるよな
　1)H/Wの状態自体が０．５秒に1回しか更新されない
　2)０．５秒に1回しか読みに行っていない
　3)信号自体は割り込みで入るが特定の条件で待たされることがある
4)S/Wの状態遷移自体がバグッてる

でOS入れたところで2,3は、自作することになったドライバの問題になるから
OSの有り／無しは全く関係ない