In rec.aviation.piloting Le Chaud Lapin wrote:
On Jun 20, 6:07?am, Bob Noel
wrote:
In article ,
And what analysis techniques would be applied to prove that the resulting
software intensive system is adequately safe?

The same techniques that employed, in general, by experts to test
software.

I don't care how many "fastidious" people look at an architecture or the
as-built system, if they don't know what they are looking for and how to
find it, the odds of proving ?anything useful are pretty small.

Well, assuming they are experts, each in their respective areas, they
would indeed know what to look for. Also, peer-review (by other
experts) is a very good way to check structural integrity of software
(or any system).

Blue Screen of Death (BSOD).

Do I need to say more?


--
Jim Pennino

Remove .spam.sux to reply.