comp.lang.ada
 help / color / mirror / Atom feed
From: JP Thornley <jpt@diphi.demon.co.uk>
Subject: Re: Need help with PowerPC/Ada and realtime tasking
Date: 1996/05/31
Date: 1996-05-31T00:00:00+00:00	[thread overview]
Message-ID: <152267236wnr@diphi.demon.co.uk> (raw)
In-Reply-To: 1996May30.103842.17355@ocsystems.com


In article: <1996May30.103842.17355@ocsystems.com>  rec@ocsystems.com 
(Ralph E. Crafts) writes:
>                                 I don't believe that Phil is accurate
> in his statement that Ada 95 compilers "won't be usable" in the period
> from now to 1998-2000.  

This thread is about safety-critical software and "usable" has to be 
seen in that context.

Ralph, you may by now have seen my post on what it takes for us to 
accept a compiler - that post and your's crossed in my modem.

In particular there are severe requirements on what is a suitably mature 
compiler for us to start to look at it.  I haven't connected to see any 
responses to that post yet, but I'll be disappointed if no-one mentions 
GNAT (because I've made a bet with myself that some-one will).  However 
I imagine that GNAT would fail on stability grounds at the moment - 
there are clearly lots of users and lots of different sorts of use, but 
unless *one version* of it gets long-term usage, it can't be considered 
mature.

Your reference to continuing to add features suggests that PowerAda is 
in the same position.  (Please don't take this as a criticism - it's a
simple fact of life in the current state of the development of Ada 95
as a language.)

I often worry that safety-critical software development makes heavy 
demands on the supporting tools and the market for those tools is very 
small (I've seen a figure of 1% of Ada being safety-critical) so that 
long term vendor support must be questionable.  And I'll continue to 
worry even though at least two compiler vendors seem to be investing in 
this area at the moment.

Phil Thornley

-- 
------------------------------------------------------------------------
| JP Thornley    EMail jpt@diphi.demon.co.uk                           |
------------------------------------------------------------------------





  reply	other threads:[~1996-05-31  0:00 UTC|newest]

Thread overview: 39+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1996-05-17  0:00 Need help with PowerPC/Ada and realtime tasking Dave Struble
1996-05-18  0:00 ` JP Thornley
1996-05-20  0:00   ` Robert I. Eachus
1996-05-21  0:00     ` Michael Levasseur
1996-05-21  0:00   ` Richard Riehle
1996-05-25  0:00     ` JP Thornley
1996-05-27  0:00       ` Darren C Davenport
1996-05-30  0:00         ` Ralph E. Crafts
1996-05-31  0:00           ` JP Thornley [this message]
1996-06-03  0:00             ` Ken Garlington
1996-05-28  0:00       ` Tasking in safety-critical software (!) (was Re: Need help with PowerPC/Ada and realtime tasking) Kevin F. Quinn
1996-05-25  0:00     ` Need help with PowerPC/Ada and realtime tasking JP Thornley
1996-05-27  0:00       ` Robert Dewar
1996-05-28  0:00         ` JP Thornley
1996-05-29  0:00           ` Ken Garlington
1996-05-29  0:00             ` Robert A Duff
1996-05-30  0:00               ` JP Thornley
1996-05-31  0:00                 ` Ken Garlington
1996-06-02  0:00                   ` JP Thornley
1996-06-03  0:00                     ` Ken Garlington
1996-05-30  0:00               ` Software Safety (was: Need help with PowerPC/Ada and realtime tasking) Ken Garlington
1996-05-30  0:00                 ` Robert Dewar
1996-06-02  0:00                   ` JP Thornley
1996-06-03  0:00                   ` Robert A Duff
1996-06-05  0:00                     ` Norman H. Cohen
1996-06-07  0:00                       ` Ken Garlington
1996-06-12  0:00                         ` Norman H. Cohen
1996-06-12  0:00                           ` Ken Garlington
1996-06-08  0:00                       ` Robert Dewar
1996-06-08  0:00                         ` Robert A Duff
1996-05-31  0:00                 ` Robert A Duff
1996-06-03  0:00                   ` Ken Garlington
1996-05-28  0:00   ` Need help with PowerPC/Ada and realtime tasking Robert I. Eachus
1996-05-30  0:00     ` JP Thornley
1996-06-03  0:00       ` Ken Garlington
1996-05-28  0:00   ` Robert I. Eachus
1996-05-30  0:00     ` JP Thornley
1996-05-31  0:00   ` Robert I. Eachus
1996-06-03  0:00   ` Ralph Paul
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox