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=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a00006d3c4735d70 X-Google-Attributes: gid103376,public X-Google-Thread: f849b,b8d52151b7b306d2 X-Google-Attributes: gidf849b,public X-Google-ArrivalTime: 2003-12-24 18:33:04 PST Path: archiver1.google.com!news2.google.com!newsfeed2.dallas1.level3.net!news.level3.com!crtntx1-snh1.gtei.net!news.gtei.net!newsfeed1.easynews.com!easynews.com!easynews!small1.nntp.aus1.giganews.com!border1.nntp.aus1.giganews.com!intern1.nntp.aus1.giganews.com!nntp.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail NNTP-Posting-Date: Wed, 24 Dec 2003 20:33:02 -0600 Date: Wed, 24 Dec 2003 21:33:01 -0500 From: "Robert I. Eachus" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.arch.embedded,comp.lang.ada Subject: Re: Certified C compilers for safety-critical embedded systems References: <3fe00b82.90228601@News.CIS.DFN.DE> <3FE026A8.3CD6A3A@yahoo.com> <3bf1uvg2ntadvahfud2rg6ujk24sora6gr@4ax.com> <2u3auvogde8ktotlaq0ldiaska3g416gus@4ax.com> <20619edc.0312221020.3fd1b4ee@posting.google.com> <20619edc.0312222106.3b369547@posting.google.com> <45cs9hAbLc6$EAAx@phaedsys.demon.co.uk> <3fe9f0d7.104475725@News.CIS.DFN.DE> In-Reply-To: <3fe9f0d7.104475725@News.CIS.DFN.DE> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 24.34.214.193 X-Trace: sv3-Ps0K6Pca/T8jublQcfOpahxPDT/drs+vDnR53EfLG5mbTDQJcaDlHO2KYqF7mTro4Sa1ZxarluWjbDH!jjufNciLMDI0j2xls+ViEMzaQ1HhRXhTXm5aRJaYKAO8pgYDrdWefvz397E8xA== X-Complaints-To: abuse@comcast.net X-DMCA-Complaints-To: dmca@comcast.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.1 Xref: archiver1.google.com comp.arch.embedded:6093 comp.lang.ada:3797 Date: 2003-12-24T21:33:01-05:00 List-Id: Dave Hansen wrote: > The AVR is supported by GCC, so GNAT might work, though the runtime > support probably isn't there. I haven't tried it in any case. Please, there is a version of GNAT that requires zero run-time support. In fact in the safety critical market it is favored as a base for SPARK, since then there is no need to validate the run-time. But remember that you really have to think in terms of development host, target, and the ICE or other system used to download and run tests. So the triplet you want may or may not be supported. > The 8015 I've never heard of. I assume you mean 8051, to which I'd > have to say I haven't heard of one, though there is a Modula-2 > compiler. There have been several Ada compilers that targetted 8-bit microprocessors. However, I don't think anyone ever validated an 8051 target due to capacity limitations. There is an interesting discussion here, at length, about that topic (in 1995): http://www.adahome.com/News/Trip-Reports/TA95-email.html There is evan a comment there (by me): "AFAIK the smallest computers that Ada has been targeted to include the 128-kbyte Western Digital P-machines, the Russian PDP-11 clones, and the RRSoft compiler which ran on 512K 8088 based PC-clones. However, in all these cases the compiler was self-hosted! So certainly an 8051 target is very reasonable, it just remains to be seen if anyone wants to do it." I think the situation is still the same, although there are other 8-bit and even 4-bit microcontrollers with Ada targets. So it may just be that programmers who choose Ada choose Motorola microprocessors, and vice-versa. (In point of fact, I've never used an Intel microprocessor in an embedded system, but I have used many Motorola chips, and Z-80s.) -- Robert I. Eachus "The war on terror is a different kind of war, waged capture by capture, cell by cell, and victory by victory. Our security is assured by our perseverance and by our sure belief in the success of liberty." -- George W. Bush