[SystemSafety] The Patriot Missile Failure (was Re: systemsafety Digest, Vol 34, Issue 5)
Martyn Thomas
martyn at thomas-associates.co.uk
Tue May 5 10:56:07 CEST 2015
Why did they need to keep the time, over a period of 100 hours, in order
to determine how far away an incoming missile is? The two things appear
to me to be unrelated.
Martyn
On 04/05/2015 21:57, Steve Tockey wrote:
>
> Can static analysis catch this kind of defect:
>
> https://www.ima.umn.edu/~arnold/disasters/patriot.html
> <https://www.ima.umn.edu/%7Earnold/disasters/patriot.html>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20150505/65fce057/attachment.html>
More information about the systemsafety
mailing list