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,323f382d1271f5b6,start X-Google-Attributes: gid103376,public From: "John J Cupak Jr, CCP" Subject: Safety Critical Systems and Ada 95 Date: 1998/06/10 Message-ID: <357EB552.5CF3EB9@swl.msd.ray.com>#1/1 X-Deja-AN: 361420865 Content-Type: multipart/mixed; boundary="------------B0D3021410C758EBDF72C240" Organization: Raytheon Systems Company, SEL Training Mime-Version: 1.0 Newsgroups: comp.lang.ada Date: 1998-06-10T00:00:00+00:00 List-Id: This is a multi-part message in MIME format. --------------B0D3021410C758EBDF72C240 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit I know Ada 95 has a Safety Annex, but has anyone actually used it to implement a real (or even example) system? Are there any specific reports or papers on the Safety features of Ada 95 (other than RM95 or the Rationale)? Inquiring minds want to know! -- -------------------------------------------------------------- - John J. Cupak Jr, CCP - - Raytheon Systems Company - Software Engineering Laboratory - - tel: 978-858-1222 email (work): jcj@swl.msd.ray.com - - fax: 978-858-4336 email (home): jcupak@aol.com - -------------------------------------------------------------- --------------B0D3021410C758EBDF72C240 Content-Type: text/x-vcard; charset=us-ascii; name="vcard.vcf" Content-Transfer-Encoding: 7bit Content-Description: Card for Cupak Jr, CCP, John J. Content-Disposition: attachment; filename="vcard.vcf" begin: vcard fn: John J. Cupak Jr, CCP n: Cupak Jr, CCP;John J. org: TWK adr;dom: 50 Apple Hill Road;;MS T3MN35;Tewksbury;MA;01879; email;internet: jcj@swl.msd.ray.com title: Senior Software Engineer / Instructor tel;work: 225-1222 tel;fax: 978-858-4336 tel;home: 603-595-8240 note: EMAIL;AOL:jcupak@aol.com x-mozilla-cpt: ;0 x-mozilla-html: TRUE version: 2.1 end: vcard --------------B0D3021410C758EBDF72C240--