[SystemSafety] Qualifying SW as "proven in use" [Measuring Software]

Martyn Thomas martyn at thomas-associates.co.uk
Tue Jun 25 21:35:43 CEST 2013


Indeed. The program "abort" may be entirely safe in some environments
whilst not ever meeting any functional requirements.

Martyn

On 25/06/2013 20:13, C. Michael Holloway wrote:
> Coming up with an argument that supports the premise that it is possible
> for software to have many defects, but still be safe is trivial.  



More information about the systemsafety mailing list