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

From: Martyn Thomas < >
Date: Tue, 25 Jun 2013 20:35:43 +0100


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.



The System Safety Mailing List
systemsafety_at_xxxxxx Received on Tue Jun 25 2013 - 21:35:56 CEST

This archive was generated by hypermail 2.3.0 : Mon Feb 18 2019 - 11:17:05 CET