This might shed some light on Wind River, the contractor who makes VxWorks: I've read that NASA has a team of<a href="http://lugtgmuk.com"> ppolee</a> whose job is to find as many bugs as they can in the control system code written by another team. The bug-finding team is rewarded for bugs they find and they are really quite good in finding arcane bugs. When a bug is found, a 5Y-type analysis is done to find out how the software dev process could be improved to eliminate the possibility of similar bugs in the future. A very painstaking and expensive process. Aug 6 '12 at 17:47