Re: Future of Electronics In Aviation

In article
<845d7074-9d5d-4a50-8200-c31eaacfe8b5@[EMAIL PROTECTED]
>,
 Le Chaud Lapin <jaibuduvin@[EMAIL PROTECTED]
> 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 establi****ng/proving the safety of
software-intensive
systems isn't particularly mature.

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