From: Martin Dowie <martin.dowie@gecm.com>
Subject: Re: Help for a student, PLEASE!
Date: 2000/06/05
Date: 2000-06-05T00:00:00+00:00 [thread overview]
Message-ID: <393B52FA.7447276D@gecm.com> (raw)
In-Reply-To: oJnZ4.48833$VM3.426491@news.infostrada.it
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
next prev parent reply other threads:[~2000-06-05 0:00 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-06-01 0:00 Help for a student, PLEASE! rik
2000-06-01 0:00 ` Jeff Carter
2000-06-02 0:00 ` Ken Garlington
2000-06-05 0:00 ` Martin Dowie [this message]
2000-06-05 0:00 ` Robert Dewar
2000-06-06 0:00 ` Ken Garlington
2000-06-06 0:00 ` r_c_chapman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox