Many of the anomalies detected have been minor and did not threaten the integrity of the system being monitored. However, about 1 in 20 of the defective functions that static code analysis had shown to be faulty, i.e., about 1 in every 200 of all new modules, proved to have errors that would have resulted in direct and observable effects on the vehicle or plant concerned. He also mentioned that the British MOD's interest in formal methods was motivated by several near-miss accidents involving computers that he said he was not permitted to discuss. The investigation continues into the Southern Pacific May 11 Cajon wreck. Three persons were killed, eight injured, and 11 homes destroyed.
New information indicates an inaccurate calculation of the train's tonnage.
Press reports indicated the train contained 69 cars with a weight of 6150 tons, but an SP assistant chief dispatcher has since estimated the actual weight as 8950 tons. Had the crew known the train's additional weight, they might have set up the air brakes sooner. Faulty dynamic brakes were found in one of the four lead engines and one of the two pushers. Steven C. Denbeste, Steven Den Beste, Stephen Den Beste, Steven D. Beste, Steven Dan Beste, Steven Beste, Steve Den Beste, Steven Baste, and on and on and on. At one address I was on the damned list 5 times.