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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.140.152.2 with SMTP id 2mr22815221qhy.3.1430164915850; Mon, 27 Apr 2015 13:01:55 -0700 (PDT) X-Received: by 10.50.79.195 with SMTP id l3mr184965igx.4.1430164915824; Mon, 27 Apr 2015 13:01:55 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!1.eu.feeder.erje.net!newspeer1.nac.net!border2.nntp.dca1.giganews.com!nntp.giganews.com!j5no4031815qga.1!news-out.google.com!n7ni18722igk.0!nntp.google.com!l13no10876435iga.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 27 Apr 2015 13:01:53 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=209.181.111.17; posting-account=_SejHAoAAAApYEKmSv6MiD3xaCfZcVZv NNTP-Posting-Host: 209.181.111.17 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <35c5b486-536d-47c0-a287-cd8b7743a88d@googlegroups.com> Subject: Technical Guides for the use of the Ada in high integrity systems From: joyce.tokar@gmail.com Injection-Date: Mon, 27 Apr 2015 20:01:55 +0000 Content-Type: text/plain; charset=ISO-8859-1 Xref: news.eternal-september.org comp.lang.ada:25650 Date: 2015-04-27T13:01:53-07:00 List-Id: There two technical reports of the use of Ada in High Integrity Systems: ISO/IEC TR 15942:2000, Guidance for the Use of Ada in High Integrity Systems http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=29575 ISO/IEC TR 24718:2005, Guide for the use of the Ada Ravenscar Profile in high integrity systemshttp://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=38828 The purpose of this discussion topic is to ask you, as members of the Ada community, if you are using these Technical Reports. And if you are interested in seeing these reports updated to be in alignment with Ada 2012? Please response to me at tokar@pyrrhusoft.com Thank You Joyce L Tokar, PhD Pyrrhus Software, LLC ISO/IEC JTC 1/SC 22/WG 9 Convenor