See here:
news.yahoo.com/.../us_planes_speed_malfunction
And the relevance to Keil products is?
none directly, but we did have a discussion here a while ago about safety in which avionics got involved. I hoped this link will serve as an interesting reference, as software failures are clearly involved.