美国CMU大学开发的操作系统健壮性评测软件，对故障注入，系统健壮性评测等具有很好的借鉴意义。-An operating system robust test suit by CMU.

A method for the determination of the trajectory of a ballistic missile over a rotating, spherical Earth given only the launch position and impact point has been developed. The iterative solution presented uses a state transition matrix to correc