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.6 required=5.0 tests=BAYES_05,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f849b,d275ffeffdf83655 X-Google-Attributes: gidf849b,public X-Google-Thread: 1108a1,d275ffeffdf83655 X-Google-Attributes: gid1108a1,public X-Google-Thread: 103376,d275ffeffdf83655 X-Google-Attributes: gid103376,public X-Google-Thread: 115aec,d275ffeffdf83655 X-Google-Attributes: gid115aec,public X-Google-Thread: 109fba,d275ffeffdf83655 X-Google-Attributes: gid109fba,public X-Google-Thread: 146b77,d275ffeffdf83655 X-Google-Attributes: gid146b77,public X-Google-Thread: 101b33,d275ffeffdf83655 X-Google-Attributes: gid101b33,public X-Google-Thread: f5d71,d275ffeffdf83655 X-Google-Attributes: gidf5d71,public From: Marin David Condic Subject: Re: Ada vs C++ vs Java Date: 1999/01/19 Message-ID: <36A49B02.4FE55C51@pwfl.com>#1/1 X-Deja-AN: 434420452 Content-Transfer-Encoding: 7bit Sender: condicma@bogon.pwfl.com References: <369C1F31.AE5AF7EF@concentric.net> <369D1F2B.138D1FB8@pwfl.com> <369E4A41.8D7DDA14@west.raytheon.com> <369E8081.D4FCFBA9@pwfl.com> <369F911E.8A85D333@west.raytheon.com> <36A3814F.2058C2C2@pwfl.com> Content-Type: text/plain; charset=us-ascii Organization: Pratt & Whitney Mime-Version: 1.0 Reply-To: diespammer@pwfl.com Newsgroups: comp.lang.ada,comp.lang.c++,comp.vxworks,comp.lang.java,comp.java.advocacy,comp.realtime,comp.arch.embedded,comp.object,comp.lang.java.programmer Date: 1999-01-19T00:00:00+00:00 List-Id: Matthew Heaney wrote: > > Check out the Ravenscar profile, which defines a high-integrity > real-time subset. At least one vendor (through Aonix) sells a certified > Ada run-time that implements the subset. > > Future work by the safety-wg is to standardize on a set of restriction > pragmas for use specifically with the Ravenscar profile. One of my partners in crime down here in Florida - Sam Hoover - has spent some time evaluating the Aonix compiler targeted to the PowerPC chip. He was looking at the safety critical subset stuff along with efficiency issues, etc., to evaluate the whole thing for use on the PW6000 engine (commercial, not military - just in case anybody wants to make claims that Ada is only used in military stuff, and then only because we were forced to.) I have not discussed the full details of the analysis with Sam but from what he has shared with me, it looks pretty good. Given the speed potential of the PowerPC, we don't think we are going to have issues with code generation. I don't know that it makes the tightest code possible - I have not looked into it that far. If we were really in a tight CPU budget the standards for acceptability would be much higher. MDC -- Marin David Condic Real Time & Embedded Systems, Propulsion Systems Analysis United Technologies, Pratt & Whitney, Large Military Engines M/S 731-95, P.O.B. 109600, West Palm Beach, FL, 33410-9600 Ph: 561.796.8997 Fx: 561.796.4669 ***To reply, remove "bogon" from the domain name.*** "Nobody shot me." -- Last words of Frank Gusenberg when asked by police who shot him fourteen times with a machine gun in the Saint Valentine's Day Massacre.