“System design adequacy is the probability that a system will successfully accomplish its mission, given that it is operated within design specifications.”