By Lwp Kommunikáció 多くの装置がコンピューターによって制御されるようになった現代では、機械そのものの安全性はもちろん、それを制御するプログラムの安全性が極めて重要です。その中でも特にコンピューターによる制御が多く取り入れられている旅客機と、技術の粋を集めた宇宙ロケットの制御ソフトウェア構築の現場では非常に高い正確性が求められるのですが、そこで取り入れられている方法や思想についてまとめられています。 How Is Critical 'Life or Death' Software Tested? | Motherboard http://motherboard.vice.com/en_uk/read/how-is-critical-life-or-death-software-tested 多くの乗客を乗せて空を飛ぶ旅客機は、今ではその多くに「フライ・バイ・ワイヤ(FBW