むしろ航空管制だとオペレータが介在するから
ストップザワールドが問題になりにくいんじゃね？
Erlangを電話交換網に適用した事例があるように、
ソフトリアルタイムシステムは十分に実現できるはず

本当にまずいのは、車のブレーキシステムとかじゃないのかなあ