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: 622544706 References: <391bb405$1@pull.gecm.com> <8fgusr$pns$1@nnrp1.deja.com> X-Priority: 3 X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600 X-Complaints-To: abuseswbell.net X-Trace: nnrp3.sbc.net 958137253 208.191.184.67 (Fri, 12 May 2000 08:14:13 CDT) Organization: SBC Internet Services X-MSMail-Priority: Normal NNTP-Posting-Date: Fri, 12 May 2000 08:14:13 CDT Newsgroups: comp.lang.ada Date: 2000-05-12T00:00:00+00:00 List-Id: wrote in message news:8fgusr$pns$1@nnrp1.deja.com... > In article , > "Pat Rogers" wrote: > > > "ISO/IEC 15942 (2000-03) > > The ISO TR from the HRG does mention the Ravenscar Profile briefly in > section 5.13 (I've a copy right in front of me now...) and it's > well-worth reading the whole thing. Sorry, that was poorly worded on my part. I meant that the original poster should also get the "official" document on the subject of safety-critical systems development with Ada, not just Ravenscar. -- 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