From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: *
X-Spam-Status: No, score=1.4 required=5.0 tests=BAYES_50,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,972a2077b00cbff8
X-Google-Attributes: gid103376,public
From: Martin Dowie <martin.dowie@gecm.com>
Subject: Re: Help for a student, PLEASE!
Date: 2000/06/05
Message-ID: <393B52FA.7447276D@gecm.com>#1/1
X-Deja-AN: 631174964
Content-Transfer-Encoding: 7bit
References: <oJnZ4.48833$VM3.426491@news.infostrada.it>
Content-Type: text/plain; charset=us-ascii
X-Trace: 5 Jun 2000 08:11:11 GMT, stnp2927.stanmre.gecm.com
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Date: 2000-06-05T00:00:00+00:00
List-Id: <comp.lang.ada>

could try www.aonix.com
they provide compilers for such projects (including ravenscar specific suites)

rik wrote:

> My name is Riccardo Piovosi and I study computer science engineering in
> Florence University, Italy.
>
> I'm serching documents about use of Ada in sefety-critical systems like
> ralways segnalation, nuclear plants, ecc. (not flight or space system).
>
> I have seen several web-documents like
> http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/success/tgv.html (Ada in TGV
> systems), but i would more tech info, like compiler version, use of
> particular program methods, use of particular subsets of Ada like "Safe
> Ada".
>
> If someone can help me with specific web resurces or more general links,
> please send me this by e-mail.
>
> Thank you very much ( sorry for my bad, bad english :-) ).
>
> Riccardo Piovosi
>
> rikypi@libero.it