High Dependability Computing Consortium

High Dependability Computing Consortium

[Russ]

I am curious to know what Ada folks think of the High Dependability
Computing Consortium

http://www.hdcc.cs.cmu.edu/index.html

Are they on the right track, and are they giving adequate attention to
Ada? Thanks.

Re: High Dependability Computing Consortium

[Jim Rogers]

Russ wrote:

> I am curious to know what Ada folks think of the High Dependability
> Computing Consortium
> 
> http://www.hdcc.cs.cmu.edu/index.html
> 
> Are they on the right track, and are they giving adequate attention to
> Ada? Thanks.
> 


Interesting work. As usual in such meetings, they are spending a
significant amount of time re-inventing the wheel. They also do
not seem to be listening to each other very well.

Each document displayed a tight focus by its author(s) with
no evidence of interaction. Boehm, as usual, displayed a lot of
graphical data with little connection to details. Other groups
seem to want to jump into the details with little formal analysis.

This meeting appears to be a very early step in defining various
positions and beliefs. This primarily political process will
continue until some subgroup becomes dominant. At that point a
serious technical proposal may emerge.

Jim Rogers

Re: High Dependability Computing Consortium

[Ted Dennison]

18k11tm001@sneakemail.com (Russ) wrote in message news:<bebbba07.0205152214.fc253e7@posting.google.com>...
> I am curious to know what Ada folks think of the High Dependability
> Computing Consortium
> 
> http://www.hdcc.cs.cmu.edu/index.html
> 
> Are they on the right track, and are they giving adequate attention to
> Ada? Thanks.

I'd be more interested in what it has to do with the "Sustainable
Computing Consortium" (http://www.sustainablecomputing.org/) . They
seem to have overlapping charters, and both seem to be run for the
benifit of Carnigie Mellon.

-- 
T.E.D. 
Home     -  mailto:dennison@telepath.com (Yahoo: Ted_Dennison)
Homepage -  http://www.telepath.com/dennison/Ted/TED.html