In article ,
Thomas Borchert wrote:

exactly. Nobody agrees on what software reliability means.

I guess the ton of scientific literature out there disagrees. Just one
link easily found:
http://satc.gsfc.nasa.gov/support/IS...trics_and_reli
ability.html

check out DO-178B, paragraph 12.3.4. (unfortunately, it's not available online
for free)

I've followed the FAA's software certification work since 1998. All of the
public forums and publically available work basically points to a lack of
usable software reliability models. I say public work because there is always
the possibility that an applicant has used software reliability in their
software certification work and this would be likely considered to be
proprietary.

Are you aware of any software reliability models that have been used for
aircraft certification?

Also look at the software stuff available at
http://www.faa.gov/aircraft/air_cert.../air_software/
Have I overlooked something?

--
Bob Noel
Looking for a sig the
lawyers will hate