From: Brian Rogoff <bpr@shell5.ba.best.com>
Subject: Re: Safety Critical Systems and Ada 95
Date: 1998/06/11
Date: 1998-06-11T00:00:00+00:00 [thread overview]
Message-ID: <Pine.BSF.3.96.980611194934.1041A-100000@shell5.ba.best.com> (raw)
In-Reply-To: 6lmm4o$n57$1@gte2.gte.net
On Wed, 10 Jun 1998, Rakesh Malhotra wrote:
> John J Cupak Jr, CCP wrote:
> >
> > I know Ada 95 has a Safety Annex, but has anyone actually used
> > it to implement a real (or even example) system?
> >
> > Are there any specific reports or papers on the Safety features
> > of Ada 95 (other than RM95 or the Rationale)?
> >
> Have not used the Annex. I do not know of papers that deal specifically
> with safety and the Ada95 annex H however regarding the safety features
> of Ada in general, there are quite a few available documents:
>
> ... snip ...
In the May 13 issue of "Electronic Design", the EDA watch section is about
the use of Ada 95 as a hardware/software codesign language, and has some
discussion of Annex H and a subset based on intersecting with the VHDL
reserved word set. While some of the details sounded goofy to me, I think
the general idea is quite good. There is a lot of talk about Java as such
a language, but Ada is clearly better.
-- Brian
next prev parent reply other threads:[~1998-06-11 0:00 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-06-10 0:00 Safety Critical Systems and Ada 95 John J Cupak Jr, CCP
1998-06-10 0:00 ` Rakesh Malhotra
1998-06-10 0:00 ` Rakesh Malhotra
1998-06-10 0:00 ` JP Thornley
1998-06-11 0:00 ` Tucker Taft
1998-06-18 0:00 ` Robert I. Eachus
1998-06-10 0:00 ` Rakesh Malhotra
1998-06-11 0:00 ` Brian Rogoff [this message]
1998-06-10 0:00 ` Rakesh Malhotra
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox