From: joyce.tokar@gmail.com
Subject: Technical Guides for the use of the Ada in high integrity systems
Date: Mon, 27 Apr 2015 13:01:53 -0700 (PDT)
Date: 2015-04-27T13:01:53-07:00 [thread overview]
Message-ID: <35c5b486-536d-47c0-a287-cd8b7743a88d@googlegroups.com> (raw)
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
reply other threads:[~2015-04-27 20:01 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox