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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,b3c6f9dd14cdef65,start
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!proxad.net!freenix!jussieu.fr!ellebore!ellebore!not-for-mail
From: PUCCETTI Armand <armand.puccetti@cea.fr>
Newsgroups: comp.lang.ada
Subject: RTeal-time Ada Programming Rules ?
Date: Thu, 16 Sep 2004 09:35:45 +0200
Organization: (CEA) Commissariat � l'Energie Atomique, France.
Message-ID: <cibfoh$jg7$1@ellebore.saclay.cea.fr>
NNTP-Posting-Host: cygne09.saclay.cea.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: ellebore.saclay.cea.fr 1095320145 19975 132.166.133.215 (16 Sep 2004
 07:35:45 GMT)
X-Complaints-To: newsmaster@news.cea.fr
NNTP-Posting-Date: 16 Sep 2004 07:35:45 GMT
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.4) Gecko/20030624 Netscape/7.1
X-Accept-Language: en-us, en
Xref: g2news1.google.com comp.lang.ada:3765
Date: 2004-09-16T07:35:45+00:00
List-Id: <comp.lang.ada>

Hello,

Does someone know about some good guide with programming rules
for real-time Ada? I'm looking for detailled rules used for
developping embedded systems within large companies or national
authorities (FAA, DoD,...), that can give concrete hints to
RT programmers.

Also, what reference text books on RT Ada programming are
worthwile reading?

thanks for any indication/reference.
Armand