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).

-Le Chaud Lapin-