Help for a student, PLEASE!

Help for a student, PLEASE!

[rik]

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

Re: Help for a student, PLEASE!

[Jeff Carter]

Try

www.adapower.com
www.adaic.org
www.acm.org/sigada

-- 
Jeff Carter
"Now go away or I shall taunt you a second time."
Monty Python & the Holy Grail

Re: Help for a student, PLEASE!

[Ken Garlington]

Some additional links that may be useful:

http://www.praxis-cs.co.uk/products/sparkhome.html
http://www.aonix.com/content/downloads/objectada/scback9-29.pdf
http://www.iplbath.com/p14.htm
http://www.ddci.com/programs/programs.html
http://books.nap.edu/books/0309055970/html/

Much of the F-22 safety-critical software uses the Tartan/TI toolset for the
MIL-STD-1750A: http://www.ddci.com/products/ti1750a.html

Re: Help for a student, PLEASE!

[Martin Dowie]

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

Re: Help for a student, PLEASE!

[Robert Dewar]

In article <oJnZ4.48833$VM3.426491@news.infostrada.it>,
  "rik" <rikypi@libero.it> 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).

Be sure to get and read the recent HRG report
You can search the CLA archives to find the reference


Sent via Deja.com http://www.deja.com/
Before you buy.

Re: Help for a student, PLEASE!

[Ken Garlington]

"Robert Dewar" <robert_dewar@my-deja.com> wrote in message
news:8hg6p2$t4a$1@nnrp1.deja.com...
> In article <oJnZ4.48833$VM3.426491@news.infostrada.it>,
>   "rik" <rikypi@libero.it> 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).
>
> Be sure to get and read the recent HRG report
> You can search the CLA archives to find the reference

By "HRG report," do you mean ISO/IEC 15942 (2000-03)? I hope it's not
available for free!

It's available from the IEC catalog at http://www.iec.ch/catlg-e.htm

It's also available (for $105!) from http://global.ihs.com

Re: Help for a student, PLEASE!

[r_c_chapman]

> It's available from the IEC catalog at http://www.iec.ch/catlg-e.htm
>
> It's also available (for $105!) from http://global.ihs.com

The final FDTR Draft is at

http://anubis.dkuug.dk/JTC1/SC22/WG9/n359.pdf

- Rod, Praxis etc. etc.


Sent via Deja.com http://www.deja.com/
Before you buy.