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,FREEMAIL_FROM, INVALID_MSGID,XPRIO autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,972a2077b00cbff8,start X-Google-Attributes: gid103376,public From: "rik" Subject: Help for a student, PLEASE! Date: 2000/06/01 Message-ID: #1/1 X-Deja-AN: 629771406 X-Priority: 3 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600 X-Complaints-To: abuse@libero.it X-Trace: news.infostrada.it 959842260 151.21.193.76 (Thu, 01 Jun 2000 08:51:00 MET DST) Organization: [Infostrada] X-MSMail-Priority: Normal NNTP-Posting-Date: Thu, 01 Jun 2000 08:51:00 MET DST Newsgroups: comp.lang.ada Date: 2000-06-01T00:00:00+00:00 List-Id: 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