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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,bf4b9ae687728bb9 X-Google-Attributes: gid103376,public From: "Pat Rogers" Subject: Re: Safety Critical Software Date: 2000/05/12 Message-ID: #1/1 X-Deja-AN: 622511120 References: <391bb405$1@pull.gecm.com> X-Priority: 3 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600 X-Complaints-To: abuseswbell.net X-Trace: nnrp3.sbc.net 958130315 208.191.184.67 (Fri, 12 May 2000 06:18:35 CDT) Organization: SBC Internet Services X-MSMail-Priority: Normal NNTP-Posting-Date: Fri, 12 May 2000 06:18:35 CDT Newsgroups: comp.lang.ada Date: 2000-05-12T00:00:00+00:00 List-Id: "Neil Davidson" wrote in message news:391bb405$1@pull.gecm.com... > Can anyone give me a reference to where I can find a copy of the Ravenscar > profile for Ada95 for safety critical systems ? The Aonix website has a copy of a whitepaper describing it (at their Raven product page), or you can get the official document: "ISO/IEC 15942 (2000-03) Information technology -- Programming languages -- Guide for the use of the Ada programming language in high integrity systems" from http://www.iec.ch/ for about 55 US dollars. -- Pat Rogers Consulting and Training in: http://www.classwide.com Deadline Schedulability Analysis progers@classwide.com Software Fault Tolerance (281)648-3165 Real-Time/OO Languages