[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