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.3 required=5.0 tests=BAYES_00,INVALID_MSGID, MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,50ec4e3af4d4232d X-Google-Attributes: gid103376,public From: Robert Dewar Subject: Re: GNORT Date: 1999/05/16 Message-ID: <7hmbfr$jfm$1@nnrp1.deja.com>#1/1 X-Deja-AN: 478432420 References: <19990514155154.03860.00000397@ng-cr1.aol.com> X-Http-Proxy: 1.0 x34.deja.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja.com - Share what you know. Learn what you don't. X-Article-Creation-Date: Sun May 16 11:51:22 1999 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I) Date: 1999-05-16T00:00:00+00:00 List-Id: In article <19990514155154.03860.00000397@ng-cr1.aol.com>, tramse@aol.com (Tramse) wrote: > Are their many users of GNORT? Does anyone have experience in > running GNORT on Linux with a 68K target? Are their any > debugging tools? GNORT is the GNAT No-Run-Time technology, which allows GNAT to generate programs for a subset of Ada with absolutely no run-time being used at all, not even one byte. The subset is comparable to SPARK-95, with the notable point that full generics are allowed. GNORT is intended specifically for safety-critical use where certification is an issue (for other embedded applications without this requirement, it is usually more appropriate to consider a larger subset of Ada, for example that provided by the restricted run-time option in GNAT, which roughly corresponds to the Ravenscar profile. This will be fully supported in version 3.12. There is one large scale user of GNORT technology to develop a large safety critical program. They are using an OS/2 host and a bare x86 board. Using a Linux host would be essentially identical to this. This project has been going for a while, and is the one for which GNORT technology was originally developed. A number of other customers have started using GNORT more recently (this is fairly recent technology). As for debugging tools, GNORT generates standard format object modules, and any tool chain can be used to deliver and debug the result. Note that the GNAT approach of using C-compatible debugging information (which encodes the Ada information needed) means that a C-based debugger can be used to debug GNAT code. Another approach is to use the VxWorks environment, where in the final delivery, the VxWorks kernel is simply excluded, but during development, the standard GnatWorks debugging interface can be used (several GNORT customers have adopted this approach). Since GNORT applications tend to be specialized, the best way to pursue the question of whether a specific application is a sensible match for GNORT technology is to send mail to sales@gnat.com or sales@act-europe.fr outlining your interest, and we can have an appropriate technical person contact you to discuss your specific application. Robert Dewar Ada Core Technologies --== Sent via Deja.com http://www.deja.com/ ==-- ---Share what you know. Learn what you don't.---