In article ,
Le Chaud Lapin wrote:

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.

You don't have much training or experience with safety-critical software, right?



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

The state-of-the-art for establishing/proving the safety of software-intensive
systems isn't particularly mature.

--
Bob Noel
(goodness, please trim replies!!!)