* Technical Guides for the use of the Ada in high integrity systems
@ 2015-04-27 20:01 joyce.tokar
0 siblings, 0 replies; only message in thread
From: joyce.tokar @ 2015-04-27 20:01 UTC (permalink / 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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-04-27 20:01 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-04-27 20:01 Technical Guides for the use of the Ada in high integrity systems joyce.tokar
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox