This article talks about a research on design assurance for flight critical systems conducted for the FAA. it was found that aircraft incidents in which software played a part were very uncommon, and that those that did occur were caused by the software requirements rather than software implementation. The parts of the requirements that contributed to the incidents were invariably those that dealt with the handling of rare conditions. That exceptional conditions account for most failures has been recognized in other environments.