How can software and the systems that rely on it be made dependable
in a cost-effective manner, and how can one obtain assurance
that dependability has been achieved? Rather than focusing narrowly
on the question of software or system certification per se.

Additonal information can be foun here:
Software Warranties Is it impossible to build a warranted product from components that disclaim any sort of guarantee?
Software for dependable systems: sufficient evidence?
Free Executive Summary: Software for Dependable Systems: Sufficient Evidence?